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. |
| 4867 | Whether nature is beautiful or orderly is entirely in relation to human imagination [Spinoza] |
| Full Idea: I do not attribute to nature either beauty or deformity, order or confusion. Only in relation to our imagination can things be called beautiful or deformed, ordered or confused. | |
| From: Baruch de Spinoza (Letters to Oldenburg [1665], 1665?) | |
| A reaction: This is clearly a statement of Hume's famous later opinion that there are no values ('ought') in nature ('is'). It is a rejection of Aristotelian and Greek teleology. It is hard to argue with, but I have strong sales resistance, rooted in virtue theory. |
| 541 | Virtue comes more from habit than character [Critias] |
| Full Idea: More men are good through habit than through character. | |
| From: Critias (fragments/reports [c.440 BCE], B09), quoted by John Stobaeus - Anthology 3.29.41 |
| 4866 | God is a being with infinite attributes, each of them infinite or perfect [Spinoza] |
| Full Idea: I define God as a being consisting in infinite attributes, whereof each is infinite or supremely perfect. | |
| From: Baruch de Spinoza (Letters to Oldenburg [1665], 1661) | |
| A reaction: This seems to me the glorious culmination of the hyperbolic conception of God that expands steadily from wood spirits through Zeus, to eventually mop up everything in nature, and then everything that can be imagined beyond nature. All very silly. |
| 4868 | Trying to prove God's existence through miracles is proving the obscure by the more obscure [Spinoza] |
| Full Idea: Those who endeavour to establish God's existence and the truth of religion by means of miracles seek to prove the obscure by what is more obscure. | |
| From: Baruch de Spinoza (Letters to Oldenburg [1665], 1675?) | |
| A reaction: Nicely put. On the whole this has to be right, but one must leave open a possibility. If there is a God, and He seeks to prove Himself by a deed, are we saying this is impossible? Divine intervention might be the best explanation of something. |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |
| Full Idea: When the laws forbade men to commit open crimes of violence, and they began to do them in secret, a wise and clever man invented fear of the gods for mortals, to frighten the wicked, even if they sin in secret. | |
| From: Critias (fragments/reports [c.440 BCE], B25), quoted by Sextus Empiricus - Against the Professors (six books) 9.54 |