structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

[general ideas about standard predicate logic]

3 ideas
I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege]
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia]