Definition:Predicate/Is of Predication
Jump to navigation
Jump to search
Definition
Consider the statement:
- Socrates is a man.
This means:
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