|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
M-predicates/Strawson: predicates that can be also correctly applied to purely mathematical bodies: E.g. "weighs 5 kg" "is in the living room" - P-predicates: applicable to persons: E.g. "smile", "suffer pain", "go for a walk", "believe in God".
Condition: logical criterion for the application, not only observation.
P-predicates/Strawson: a) the same for internal or external attribution: e.g. skills, character - b) different: E.g. pain, fatigue, depression.
StrawsonVs(s): but not a process in which we first learn internal- and then external ascription - not vice versa.
Thing/predicate/singular term/introducing/Strawson: the reason for the distinction between A (Noun-) and B-expressions (predicate) is to distinguish between different things: between particular and universal, not between object and term or singular term and predicate.
StrawsonVsTradition: is already presupposing the distinction - external reason: might be the tense function of the verb - Vs: this could also be expressed with two nouns and arrow notation. Socrates (Wisdom), then arrow either above Socrates or Wisdom, depending on whether Socrates died or became stupid.
Einzelding und logisches Subjekt Stuttgart 1972
Analyse und Metaphysik München 1994
Die Grenzen des Sinns Frankfurt 1981