more from this thinker     |     more from this text


Single Idea 3300

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

Full Idea

Basic to Aristotle's logic is the grammatical distinction between subject and predicate, which he glosses in terms of the contrast between a substance and its properties.

Gist of Idea

Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties

Source

report of Aristotle (Prior Analytics [c.328 BCE]) by José A. Benardete - Metaphysics: the logical approach Intro

Book Ref

Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.2


A Reaction

The introduction of quantifiers and 'logical form' can't disguise the fact that we still talk about (and with) objects and predicates, because no one can think of any other way to talk.


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

Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA]
Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]
For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]
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]