|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
|Berka I 481
Properties / class / definability / Tarski: a property P of a class is only defined if there is an prop.funct. , that determines E - then you can show that there are other properties of classes: e.g. emptiness, containing only one element, two , etc. - Tarski: Problem: to contain infinitely many elements is not defined.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983