|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
Properties / Chisholm: Problem: e.g. "French" is not applicable to itself: here you can not say that it has the property of not being applicable to itself .. otherwise paradox. - Solution: ... does not have the property ... - Not every predicate corresponds to a property - hence not every sentence expresses a proposition from.
impure predicates / Chisholm: sentences that contain impure predicates: e.g. "There is someone with whom I m talking" - "You and he both think that I m bigger than you" - "Emil said in reference to Karl that he, Karl, formerly thought that he, Emil, was jealous of him."
Die erste Person Frankfurt 1992
Roderick M. Chisholm
Erkenntnistheorie Graz 2004