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.

Clarification

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

Source

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

Book Reference

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