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

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic

[assigning predicates to objects in formulae]

6 ideas
Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Benardete,JA on Aristotle]
Frege gives a functional account of predication so that we can dispense with predicates [Benardete,JA on Frege]
For Frege, predicates are names of functions that map objects onto the True and False [McGinn on Frege]
Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]
The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P]
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]