more from this thinker | more from this text
Full Idea
The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board.
Gist of Idea
Frege gives a functional account of predication so that we can dispense with predicates
Source
report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9
Book Ref
Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.59
3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
18894 | Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers] |
10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |