|Predicates, philosophy, logic: predicates are symbols that can stand in logical formulas for properties. In fact, not every predicate stands for a property, since it has contradictory predicates, but no contradictory properties. For example, one can think of a predicate "squaround" for "square and round", that is, two properties that exclude each other. One can then truthfully say "Nothing is squaround". There are therefore more predicates than properties. See also round square, scheme characters, quantification, 2nd level logic, predication, attributes, adjectives.|
Books on Amazon
unanalyzed predicate: e.g. "knows every philosopher" is predicated of at least one Greek - another interpretation: the title "philosopher" is predicated of the unanalyzed subject "at least a Greek". - StechowVs: this would have to be written into the lexicon - then no compositional semantics is anymore possible - it s not to say that Aristotle would ever consider complex terms as terms.
|A. von Stechow
I Arnim von Stechow Schritte zur Satzsemantik