more from this thinker     |     more from this text

Single Idea 3319

[filed under theme 5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic ]

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

The 6 ideas with the same theme [assigning predicates to objects in formulae]:

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]