|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
Names/Ontology/Meixner: "That Regensburg is located on the Danube" is a name for a fact-like entity - "being square": name, but not for an individual or a fact-like entity, but name for a property. (property name)
Properties/(s): Names of properties are expressions with hyphens: e.g. "example-of-the-length-of-Manhattan-in-miles" - e.g. "my-being-176-cm-tall-at-t0" are names of properties - ((s) properties themselves without hyphen!)
Exemplification/Identity/Meixner: Object X is F, this is not an identity of X and F, of the object with its property, but the property is exemplified by the object
Property/Meixner: nothing other than function. This property, when saturated with the individual Hans, again results in the fact that Hans is a human
Property/Meixner 2nd level: Properties of properties: "the property of being a trait of x" - e.g. being egoistic is the property of being a trait - not 2nd level: e.g. being 2 meters tall - e.g. property of being a trait cannot be said of people or cities (pointless), but it can be (erroneously) said of the property of being 2 meters tall.
Individual properties ("initial properties")/Meixner: exactly expressable about individuals, not something that only individuals can have - there are cases where properties which cannot be expressed exactly about I can still apply to I.
Ontological/Property/Meixner: Distinction between relational and non-relational properties is ontological - non-ontological: distinction between negative and non-negative or between disjunctive and non-disjunctive properties.
Properties/Meixner: Identity principle for individual properties: they can be satisfied by exactly the same entities -for all individual property F and G: F is identical to G if and only if for all individuals x applies:
I 153 ~
Universal Name: means the property.
Einführung in die Ontologie Darmstadt 2004