Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'New Proof of Possibility of Well-Ordering' and 'Abstract Entities'

unexpand these ideas     |    start again     |     specify just one area for these texts


9 ideas

7. Existence / A. Nature of Existence / 4. Abstract Existence
Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer]
     Full Idea: Many things that seem to be abstract also seem to have a beginning (and ending) in time, such as a language like Urdu. It may be tempting to say that such things exist in time but not in space, but where exactly?
     From: Chris Swoyer (Abstract Entities [2008], 1.1)
     A reaction: A few distinctions might be needed. Urdu-speaking is an ability of certain people. We abstract from that their 'language'. There is nothing there apart from that ability. It has no more abstract existence than the 'weather'.
7. Existence / D. Theories of Reality / 1. Ontologies
Ontologists seek existence and identity conditions, and modal and epistemic status for a thing [Swoyer]
     Full Idea: Four things philosophers often want to know about a given sort of entity are: its existence conditions, its identity conditions, its modal status, and its epistemic status.
     From: Chris Swoyer (Abstract Entities [2008], 3)
     A reaction: I prefer 'modal profile' to 'modal status'. The 'existence conditions' sound rather epistemic. Why does the existence of anything require 'conditions' other than just existing? I suspect identity is irrelevant if humans aren't around.
8. Modes of Existence / B. Properties / 1. Nature of Properties
Can properties exemplify other properties? [Swoyer]
     Full Idea: Can properties themselves exemplify properties?
     From: Chris Swoyer (Abstract Entities [2008], 3)
     A reaction: Since I espouse a rather strict causal view of true properties, and lump the rest into the category of 'predicates', I am inclined to answer 'no' to this. Most people would disagree. 'Bright red' seems to be an example. But it isn't.
9. Objects / A. Existence of Objects / 5. Simples
Quantum field theory suggests that there are, fundamentally, no individual things [Swoyer]
     Full Idea: Quantum field theory strongly suggests that there are (at the fundamental level) no individual, particular things.
     From: Chris Swoyer (Abstract Entities [2008], 2.1)
     A reaction: When people introduce quantum theory into ontological discussions I reach for my shotgun, but it does rather look as if things turn to mush at the bottom level.
9. Objects / D. Essence of Objects / 13. Nominal Essence
If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]
     Full Idea: If the kinds there are depend not on the essences of the objects but on their observed distinguishing particulars, ...then for any kind that we think there is, it is possible that there are many underlying essences which are observably indistinguishable.
     From: Antony Eagle (Locke on Essences and Kinds [2005], IV)
     A reaction: Eagle is commenting on Locke's reliance on nominal essences. This seems to be the genuine problem with jadeite and nephrite (both taken to be 'jade'), or with 'fool's gold'. This isn't an objection to Locke; it just explains the role of science.
Nominal essence are the observable properties of things [Eagle]
     Full Idea: It is clear the nominal essences really are the properties of the things which have them: they are (a subset of) the observable properties of the things.
     From: Antony Eagle (Locke on Essences and Kinds [2005], IV)
     A reaction: I think this is wrong. The surface characteristics are all that is available to us, so our classifications must be based on those, but it is on the ideas of them, not their intrinsic natures. That is empiricsm! What makes the properties 'essential'?
Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]
     Full Idea: Nominal essence does not allow for gradations in significance for the underlying properties. Those are all essential for the object behaving as it observably does, and they must all be given equal weight when deciding what the object does.
     From: Antony Eagle (Locke on Essences and Kinds [2005], IV)
     A reaction: This is where 'scientific' essentialism comes in. If we take one object, or one kind of object, in isolation, Eagle is right. When we start to compare, and to set up controlled conditions tests, we can dig into the 'gradations' he cares about.
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
We should judge principles by the science, not science by some fixed principles [Zermelo]
     Full Idea: Principles must be judged from the point of view of science, and not science from the point of view of principles fixed once and for all. Geometry existed before Euclid's 'Elements', just as arithmetic and set theory did before Peano's 'Formulaire'.
     From: Ernst Zermelo (New Proof of Possibility of Well-Ordering [1908], §2a)
     A reaction: This shows why the axiomatisation of set theory is an ongoing and much-debated activity.
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]
     Full Idea: The natural thought is to think that real kinds are given only by classification on the basis of essential properties: properties that make an object the kind of thing that it is.
     From: Antony Eagle (Locke on Essences and Kinds [2005], II)
     A reaction: Circularity alert! Circularity alert! Essence gives a thing its kind - and hence we can see what the kind is? Test for a trivial property! Eagle is not unaware of these issues. Does he mean 'necessary' rather than 'essential'?