more from Josť A. Benardete

Single Idea 3326

[catalogued under 4. Formal Logic / F. Set Theory ST / 1. Set Theory]

Full Idea

Set theory offers the promise of a complete mathematization of the 'is' of predication.


The 'is of predication' is found in "the tree IS big" (as opposed to the 'is' of existence or identity). Things may have characteristics simply because they are members of a particular set of things.

Gist of Idea

Set theory attempts to reduce the 'is' of predication to mathematics


Josť A. Benardete (Metaphysics: the logical approach [1989], Ch.13)

Book Reference

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