21 ideas
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 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. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 22809 | The social contract sees society as constituted by and for individuals [Taylor,C] |
| Full Idea: The social contract theory …has a vision of society as in some sense constituted by individuals for the fulfilment of ends which are primarily individual. | |
| From: Charles Taylor (Atomism [1979], p.29) | |
| A reaction: It seems to be initiated by individuals who are only motivated by what is in it for them. This presumes self-sufficient adults, rather than children, or parents with children, or dependent people. The epitome of liberalism, perhaps. |
| 22811 | Assigning a right based on a human capacity implies that the capacity should be developed [Taylor,C] |
| Full Idea: It would be incomprehensible and incoherent to ascribe rights to human beings in respect of the specifically human capacities (such as the right to beliefs or life-style) while at the same time denying that those capacities ought to be developed. | |
| From: Charles Taylor (Atomism [1979], p.33) | |
| A reaction: Developed by whom? The agent, their family, or the state? At what point has someone got a capacity, with no further requirement to develop it? Taylor pulls rather large rabbits out of small hats. |
| 22815 | If freedom depends on society and culture, the greatest freedom is in shaping them [Taylor,C] |
| Full Idea: If realising our freedom partly depends on the society and culture in which we live, then we exercise a fuller freedom if we can help determine the shape of this society and culture. | |
| From: Charles Taylor (Atomism [1979], p.47) | |
| A reaction: This is clearly in response to the critics of communitarianism who say that it is too conservative, because your values are created for you, by your community. |
| 22814 | Our reliance on other people close to us does not imply any political obligations [Taylor,C] |
| Full Idea: We must all be nurtures by others as children, and we only flourish as adults in relationship with friends, mates, children and so on. But this has nothing to do with any obligation to belong to political society. | |
| From: Charles Taylor (Atomism [1979], p.42) | |
| A reaction: He is defending community, but not at that minimal human level. Political obligations follows from our need for a wider society, to achieve justice, education, travel, health etc. There are no rights without a society |
| 22812 | For most people the primacy of rights mainly concerns freedom [Taylor,C] |
| Full Idea: Most of those who want to affirm the primacy of rights are more interested in asserting the right of freedom, and in a sense which can only be attributed to humans. | |
| From: Charles Taylor (Atomism [1979], p.40) | |
| A reaction: This is probably more pronounced in North America than in Europe. It may be that without freedom a lot of the other rights are impossible. |
| 22810 | A right is not just a rule, but also asserts certain ideas of moral worth [Taylor,C] |
| Full Idea: Asserting a right is more than issuing an injunction. It has an essential conceptual background, in some notion of the moral worth of certain properties or capacities, without which it would not make. | |
| From: Charles Taylor (Atomism [1979], p.33) | |
| A reaction: A simple right may arise from a contract, which could be quite trivial, and of no moral importance. The winner of the egg and spoon race has a right to the prize, which is an ice cream. I think he means legal rights in a state. |
| 22813 | Property is not essential for life, but it may be essential for independence [Taylor,C] |
| Full Idea: It is standardly said that we need the right to property as an essential underpinning of life, but this is patently not true. …In reality it is actually seen as an essential part of a life of independence. | |
| From: Charles Taylor (Atomism [1979], p.41) | |
| A reaction: Hence it has a high value for liberals, for whom an independent life is the prime social aspiration. The law of trespass will define the degree of independence provided by property. |
| 23417 | If the state is neutral, there won't be sufficient community to support a welfare state [Taylor,C, by Kymlicka] |
| Full Idea: Charles Taylor says the neutral [liberal] state undermines the sense of community which is required for citizens to accept the sacrifices demanded by the welfare state. | |
| From: report of Charles Taylor (Atomism [1979]) by Will Kymlicka - Community 'legitimacy' | |
| A reaction: As someone who believes in the welfare state, I think this is correct. Extreme individualistic liberalism is incompatible with a welfare state. A liberal society needs institutions which draw free individuals into the community. |