# 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