And perhaps he thinks that the world contains just a few basic types of entity and that different types of predicates apply to the world in virtue of complex semantic relations to just those types of entity.
P is the type of unary predicates, lifted to the level of context changers, as follows.
TYPE: This attribute indicates the type of event-predicates in a zone.
The way of the integration depends on the semantic type of the secondary predicate expressed.
And because the English word 'category' comes from the Greek word for predicate, one might naturally think of the second system as a classification of distinct types of linguistic predicates.
Soames claims that if we see propositions as certain sorts of types, roughly types of events of predicating properties of objects, we can explain the representational features of propositions, and we can do so without having to reject the Easy Arguments.
Any type of recovery is predicated on an inflationary property market today.
Soames claims that the proposition that o is red is the event type of an agent predicating redness of o.
These tokens are for Soames tokens of the event type that is the proposition that o is red: the event type of an agent predicating redness of o.
