|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
Features/Brandom: our analysis leaves it completely open how far one can say of properties that they exist - One could dispute with Frege, that properties can be singled out by singular terms - if such terms can be introduced however, then by canonical designators.
Expressive Vernunft Frankfurt 2000
Begründen und Begreifen Frankfurt 2001