14 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. |
| 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. |
| 14365 | Scientific understanding is always the grasping of a correct explanation [Strevens] |
| Full Idea: I defend what I call the 'simple view', that scientific understanding is that state produced, and only produced, by grasping a correct explanation. | |
| From: Michael Strevens (No Understanding without Explanation [2011], Intro) | |
| A reaction: I like this because it clearly states what I take to be the view of Aristotle, and the key to understanding the whole of that philosopher's system. I take the view to be correct. |
| 14368 | We may 'understand that' the cat is on the mat, but not at all 'understand why' it is there [Strevens] |
| Full Idea: 'Understanding why' is quite separate from 'understanding that': you might be exquisitely, incandescently aware of the cat's being on the mat without having the slightest clue how it got there. My topic is understanding why. | |
| From: Michael Strevens (No Understanding without Explanation [2011], 2) | |
| A reaction: Can't we separate 'understand how' from 'understand why'? I may know that someone dropped a cat through my letterbox, but more understanding would still be required. (He later adds understanding 'with' a theory). |
| 14369 | Understanding is a precondition, comes in degrees, is active, and holistic - unlike explanation [Strevens] |
| Full Idea: Objectors to the idea that understanding requires explanation say that understanding is a precondition for explanation, that understanding comes in degrees, that understanding is active, and that it is holistic - all unlike explanations. | |
| From: Michael Strevens (No Understanding without Explanation [2011], 4) | |
| A reaction: He works through these four objections and replies to them, in defence of the thesis in Idea 14365. I agree with Strevens on this. |
| 2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
| Full Idea: Nowadays phenomenalism is held to be a theory of perception which says that physical objects are logical constructions out of sense-data. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |
| 2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
| Full Idea: The introduction of the term 'sense-datum' is a means of referring to appearances without prejudging the question of what it is, if anything, that they are appearances of. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |