I 31
Names/Ontology/Meixner: "That Regensburg is located on the Danube" is a name for a fact-like entity.
>
States of affairs, >
That-clause.
"Being square": name, but not for an individual or a fact-like entity, but name for a property (property name).
>
Properties.
I 42
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!)
Cf. >
Semantic Ascent.
I 50
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.
>
Exemplification, >
Predication.
I 73
Property/Meixner: nothing other than function. This property, when saturated with the individual Hans, again results in the fact that Hans is a human
>
Saturated/unsaturated.
I 75fff
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. the property of being a trait cannot be said of people or cities (this is senseless), but it can be (erroneously) said of the property of being 2 meters tall.
>
Levels/order, >
Description levels.
I 76
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 an individual can still apply to the individual.
I 78
Ontological/Property/Meixner: the distinction between relational and non-relational properties is ontological.
Non-ontological: distinction between negative and non-negative or between disjunctive and non-disjunctive properties.
>
Disjunctive properties, >
Disjunctive predicates.
I 150
Properties/Meixner: Identity principle for individual properties: they can be satisfied by exactly the same entities.
For all individuals property F and G: F is identical to G if and only if for all individuals x applies:
‹F,x› = ‹G,x›.
For triangles: equiangular and equilateral triangles are satified by the same entities.
>
Satisfaction.
I 153ff.
Universal Name: means the property.
>
Universals.
