Definition:Predicate/Is of Predication

Definition

Consider the statement:

Socrates is a man.

This means:

The object named Socrates has the property of being a man.

Thus we see that is here means has the property of being.

In this context, is here is called the is of predication.

Sources

• 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 2$: The Axiom of Specification