PhilosophyIdeas
.com Database

Current Total Ideas:
19,014

home

back
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]
2 ideas
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]