more on this theme | more from this thinker
Full Idea
According to the principle of Property Abstraction, there is, for any suitable condition, a property that is possessed by an object just in case it conforms to the condition. This is usually taken to be a second-order logical truth.
Gist of Idea
The property of Property Abstraction says any suitable condition must imply a property
Source
Kit Fine (Senses of Essence [1995], §4)
Book Ref
'Modality, Morality and Belief', ed/tr. Sinnott-Armstrong/Raffman/Asher [CUP 1995], p.60
A Reaction
Fine objects that it is implied that if Socrates is essentially a man, then he essentially has the property of being a man. Like Fine, I think this conclusion is distasteful. A classification is not a property, at least the way most people use 'property'.
11175 | Logical concepts rest on certain inferences, not on facts about implications [Fine,K] |
11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
11173 | Being a man is a consequence of his essence, not constitutive of it [Fine,K] |
11176 | The property of Property Abstraction says any suitable condition must imply a property [Fine,K] |
11177 | Can the essence of an object circularly involve itself, or involve another object? [Fine,K] |
11179 | If there are alternative definitions, then we have three possibilities for essence [Fine,K] |
11178 | The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K] |