16 ideas
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| Full Idea: 'Numerical identity' implies the controversial view that it is the only identity relation in accordance with which we can properly count (or number) things: x and y are to be properly counted as one just in case they are numerically identical. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: Noonan cites Geach, presumably to remind us of relative identity, where two things may be one or two, depending on what they are relative to. The one 'guard on the gate' may actually be two men. |
| 14221 | Serious essentialism says everything has essences, they're not things, and they ground necessities [Shalkowski] |
| Full Idea: Serious essentialism is the position that a) everything has an essence, b) essences are not themselves things, and c) essences are the ground for metaphysical necessity and possibility. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Intro') | |
| A reaction: If a house is being built, it might acquire an identity first, and only get an essence later. Essences can be physical, but if you extract them you destroy thing thing of which they were the essence. Does all of this apply to abstract 'things'. |
| 14222 | Essences are what it is to be that (kind of) thing - in fact, they are the thing's identity [Shalkowski] |
| Full Idea: The route into essentialism is, first, a recognition that the essence of a thing is "what it is to be" that (kind of) thing; the essence of a thing is just its identity. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Essent') | |
| A reaction: The first half sounds right, and very Aristotelian. The second half is dramatically different, controversial, and far less plausible. Slipping in 'kind of' is also highly dubious. This remark shows, I think, some confusion about essences. |
| 14226 | We distinguish objects by their attributes, not by their essences [Shalkowski] |
| Full Idea: In ordinary contexts, we distinguish objects not by their essences but by their attributes. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Ess and Know') | |
| A reaction: Hence we have a gap between what bestows identity intrinsically, and how we bestow identity conventionally. If you could grasp the essence of something, you might predict a new attribute, as yet unobserved. |
| 14225 | Critics say that essences are too mysterious to be known [Shalkowski] |
| Full Idea: According to critics, the thorniest problem for essentialism is the question of our knowledge of essence. It is usually at this point that terms of abuse such as 'dark', 'mysterious', and 'occult' are wheeled out. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Ess and Know') | |
| A reaction: I'm inclined to think that the existence of essences can be fairly conclusively inferred, but that attributing a precise identity to them is the biggest challenge. |
| 16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
| Full Idea: Persons have different modal properties from the summations of person-stages. …I might have died when I was five. But the maximal summation of person-stages which perdurantists say is me could not have had a temporal extent of a mere five years. | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: Thus the summation of stages seems to fail Leibniz's Law, since truths about a part are not true of the whole. But my foot might be amputated without me being amputated. The objection is the fallacy of composition? |
| 16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
| Full Idea: Stage theorists, accepting the ontology of perdurance, modify the semantics to secure the result that fatness is a property of a cat. Every temporal part of a cat (such as Tabby-on-Monday) is a cat. …(but they pay a price over the counting of cats). | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: [Noonan cites Hawley and Sider for this view. The final parenthesis compresses Noonan] I would take the difficulty over counting cats to be fatal to the view. It produces too many cats, or too few, or denies counting altogether. |
| 16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
| Full Idea: If identity is problematic, it is difficult to see how the problem could be resolved, since it is difficult to see how a thinker could have the conceptual resources with which to explain the concept of identity whilst lacking that concept itself. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: I don't think I accept this. We can comprehend the idea of a mind that didn't think in terms of identities (at least for objects). I suppose any relation of a mind to the world has to distinguish things in some way. Does the Parmenidean One have identity? |
| 16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
| Full Idea: Numerical identity is usually defined as the equivalence relation (or: the reflexive relation) satisfying Leibniz's Law, the indiscernibility of identicals, where everything true of x is true of y. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: Noonan says this must include 'is identical to x' among the truths, and so is circular |
| 16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
| Full Idea: Identity can be circularly defined, as 'the relation everything has to itself and to nothing else', …or as 'the smallest equivalence relation'. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The first one is circular because 'nothing else' implies identity. The second is circular because it has to quantify over all equivalence relations. (So says Noonan). |
| 16020 | Identity can only be characterised in a second-order language [Noonan] |
| Full Idea: There is no condition in a first-order language for a predicate to express identity, rather than indiscernibility within the resources of the language. Leibniz's Law is statable in a second-order language, so identity can be uniquely characterised. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The point is that first-order languages only refer to all objects, but you need to refer to all properties to include Leibniz's Law. Quine's 'Identity, Ostension and Hypostasis' is the source of this idea. |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| Full Idea: Leibniz's Law (the indiscernibility of identicals) appears to be crucial to our understanding of identity, and, more particularly, to our understanding of distinctness. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: True, but indiscernibility concerns the epistemology, and identity concerns the ontology. |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| Full Idea: Leibniz's Law must be clearly distinguished from the substitutivity principle, that if 'a' and 'b' are codesignators they are substitutable salva veritate. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: He gives a bunch of well-known problem cases for substitutivity. The Morning Star, Giorgione, and the number of planets won't work. Belief contexts, or facts about spelling, may not be substitutable. |
| 14223 | De dicto necessity has linguistic entities as their source, so it is a type of de re necessity [Shalkowski] |
| Full Idea: De dicto necessity is a species of de re necessity. Anyone prone to countenance de dicto necessity must recognise mental and/or linguistic entities, thus counting each of them as a res to which necessity attaches. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Essent') | |
| A reaction: This seems to rest on the Kit Fine thought that analytic necessities seem to derive from the essences of words such as 'bachelor'. I like this idea: all necessity is de re, but some of the 'things' are words. |
| 14224 | Equilateral and equiangular aren't the same, as we have to prove their connection [Shalkowski] |
| Full Idea: That 'all and only equilateral triangles are equiangular' required proof, and not for mere curiosity, is grounds for thinking that being an equilateral triangle is not the same property as being an equiangular triangle. | |
| From: Scott Shalkowski (Essence and Being [2008], 'Serious') | |
| A reaction: If you start with equiangularity, does equilateralness then require proof? This famous example is of two concepts which seem to be coextensional, but seem to have a different intension. Does a dependence relation drive a wedge between them? |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |