|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._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
Predicates/Bigelow/Pargetter: which entities do they correspond to? (If anything at all?).
Predicate/Bigelow/Pargetter: can we name the rest of the sentence after we have sorted out the name?
Referent/Predicate/Bigelow/Pargetter: with a predicate, there does not necessarily have to be something that is its referent. In any case, nothing where a quantification of the first level is possible.
Predicate/Bigelow/Pargetter: represents the thing "somehow" as being. But this does not have to correspond to the "anything" of the individual.
Quantification of the 2nd level/Bigelow/Pargetter: is required by the "somehow".
Predicate/Bigelow/Pargetter: Does not have to mean anything at all.
Mackie: (1973) ditto.
Solution/Bigelow/Pargetter: Quantification of higher level.
Predicate/Bigelow/Pargetter: however, there are often things that need to be done in order for the predicate to be applied.
Predicates often correspond to universals. And the better our science is, the more universals that exist in nature - quantities, relations, etc.
((s) ConceptualismVsBigelow: only inventions of the mind - BigelowVsConceptualism).
Definition predicate/Bigelow: at the end we will say that predicates refer to sets constructed from universals and possibilia._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990