Definition:Predicate/Is of Predication

From ProofWiki
Jump to navigation Jump to search


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.