|Property: what can be ascribed to an object in order to distinguish it from other objects. In philosophy, there is debate about whether properties exist or whether "bare particulars" exist. Expressions for properties are predicates. Not every predicate will refer to a property. See also quantification over properties, 2nd order logic, HOL, completeness.|
Books on Amazon
Properties/existence/Schiffer: a) names: are (correctly) distinguished from objects - an object is named contingently - different from that: Properties are not equally distinguished from the predicate - otherwise: "Property Realism": predicates as the names of the properties (SchifferVs) - yet harmless: "something that both believe" - solution: substitutional quantification - similar: harmless pleonastic use of "fact".
Physical property and facts/Schiffer: thesis: these are language-dependent - But nominalism (Schiffer pro): Properties are not the semantic values of predicates.
Remnants of Meaning Cambridge 1987