more from this thinker | more from this text
Full Idea
First-order predicate language has four connectives, two quantifiers, variables, predicates, equality, names, and brackets.
Gist of Idea
Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets
Source
Joseph Melia (Modality [2003], Ch.2)
Book Ref
Melia,Joseph: 'Modality' [Acumen 2003], p.22
A Reaction
Look up the reference for the details! The spirit of logic is seen in this basic framework, and the main interest is in the ontological commitment of the items on the list. The list is either known a priori, or it is merely conventional.
4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |