8972
|
What in the real world could ground the distinction between the sets {A,{A,B}} and {B,{A,B}}? [Inwagen]
|
|
Full Idea:
Nothing in the world of nominalistically acceptable things could ground or explain the non-identity of the set {A,{A,B}} with the set {B,{A,B}}.
|
|
From:
Peter van Inwagen (Existence,Ontological Commitment and Fictions [2003], p.154)
|
|
A reaction:
[He cites Goodman for this thought] Van Inwagen is offering this to show that the existence of sets is abstract, whereas Goodman was denying the existence of sets altogether. I'm with Goodman. Nice example.
|
11175
|
Logical concepts rest on certain inferences, not on facts about implications [Fine,K]
|
|
Full Idea:
The nature of the logical concepts is given, not by certain logical truths, but by certain logical inferences. What properly belongs to disjunction is the inference from p to (p or q), rather than the fact that p implies (p or q).
|
|
From:
Kit Fine (Senses of Essence [1995], §3)
|
|
A reaction:
Does this mean that Fine is wickedly starting with the psychology, rather than with the pure truth of the connection? Frege is shuddering. This view seems to imply that the truth table for 'or' is secondary.
|
11176
|
The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
|
|
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.
|
|
From:
Kit Fine (Senses of Essence [1995], §4)
|
|
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'.
|
11173
|
Being a man is a consequence of his essence, not constitutive of it [Fine,K]
|
|
Full Idea:
If we distinguish 'constitutive' from 'consequential' essence, ..then the essence of Socrates will, in part, be constituted by his being a man. But being a man (or a mountain) will merely be consequential upon, and not constitutive of, his essence.
|
|
From:
Kit Fine (Senses of Essence [1995], §3)
|
|
A reaction:
Yes yes yes. I think it is absurd to say that the class to which something belongs is part of its essential nature, given that it presumably can only belong to the class if it already has a certain essential nature. What did Frankenstein construct?
|
11179
|
If there are alternative definitions, then we have three possibilities for essence [Fine,K]
|
|
Full Idea:
If there are alternative definitions for an essence, we must distinguish three notions. There is the essence as the manifold (the combined definitions), or as the range of alternative definitions (with component essences), or there is the common essence.
|
|
From:
Kit Fine (Senses of Essence [1995], §8)
|
|
A reaction:
Fine opts for the third alternative (what the definitions all have in common) as the best account. He says (p.68) 'definitive' properties come from one definition, and 'essential' properties from every possible definition.
|
6616
|
Least action is not a causal law, but a 'global law', describing a global essence [Ellis]
|
|
Full Idea:
The principle of least action is not a causal law, but is what I call a 'global law', which describes the essence of the global kind, which every object in the universe necessarily instantiates.
|
|
From:
Brian Ellis (Katzav on limitations of dispositions [2005])
|
|
A reaction:
As a fan of essentialism I find this persuasive. If I inherit part of my essence from being a mammal, I inherit other parts of my essence from being an object, and all objects would share that essence, so it would look like a 'law' for all objects.
|
6615
|
A species requires a genus, and its essence includes the essence of the genus [Ellis]
|
|
Full Idea:
A specific universal can exist only if the generic universal of which it is a species exists, but generic universals don't depend on species; …the essence of any genus is included in its species, but not conversely.
|
|
From:
Brian Ellis (Katzav on limitations of dispositions [2005], 91)
|
|
A reaction:
Thus the species 'electron' would be part of the genus 'lepton', or 'human' part of 'mammal'. The point of all this is to show how individual items connect up with the rest of the universe, giving rise to universal laws, such as Least Action.
|
6614
|
A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis]
|
|
Full Idea:
The hierarchy of natural kinds proposed by essentialism may be more elaborate than is strictly required for purposes of ontology, but it is necessary to explain the necessity of the laws of nature, and the universal applicability of global principles.
|
|
From:
Brian Ellis (Katzav on limitations of dispositions [2005], 91)
|
|
A reaction:
I am all in favour of elaborating ontology in the name of best explanation. There seem, though, to be some remaining ontological questions at the point where the explanations of essentialism run out.
|
6612
|
Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis]
|
|
Full Idea:
It is objected to dispositionalism that without the principle of least action, or some general principle of equal power, the specific dispositional properties of things could tell us very little about how these things would be disposed to behave.
|
|
From:
Brian Ellis (Katzav on limitations of dispositions [2005], 90)
|
|
A reaction:
Ellis attempts to meet this criticism, by placing dispositional properties within a hierarchy of broader properties. There remains a nagging doubt about how essentialism can account for space, time, order, and the existence of essences.
|