13 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. |
11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
Full Idea: To say than x has a property in a possible world is simply to say that x would have had the property if that world had been actual. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
A reaction: Plantinga tries to defuse all the problems with identity across possible worlds, by hanging on to subjunctive verbs and modal modifiers. The point, though, was to explain these, or at least to try to give their logical form. |
11980 | A possible world is a maximal possible state of affairs [Plantinga] |
Full Idea: A possible world is just a maximal possible state of affairs. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
A reaction: The key point here is that Plantinga includes the word 'possible' in his definition. Possibility defines the worlds, and so worlds cannot be used on their own to define possibility. |
11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
Full Idea: If the Socrates of the actual world has snubnosedness but Socrates-in-W does not, this is surely inconsistent with the Indiscernibility of Identicals, a principle than which none sounder can be conceived. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
A reaction: However, we allow Socrates to differ over time while remaining the same Socrates, so some similar approach should apply here. In both cases we need some notion of what is essential to Socrates. But what unites aged 3 with aged 70? |
11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
Full Idea: We may say it makes no sense to say that Socrates exists at a world, if there is in principle no way of identifying him. ...But this is confused. To suppose Agnew was a precocious baby, we needn't be able to pick him from a gallery of babies. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
A reaction: This seems a good point, and yet we have a space-time line joining adult Agnew with baby Agnew, and no such causal link is available between persons in different possible worlds. What would be the criterion in each case? |
11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
Full Idea: The Theory of Worldbound Individuals contends that no object exists in more than one possible world; this implies the outrageous view that - taking properties in the broadest sense - no object could have lacked any property that it in fact has. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
A reaction: Leibniz is the best known exponent of this 'outrageous view', though Plantinga shows that Lewis may be seen in the same light, since only counterparts are found in possible worlds, not the real thing. The Theory does seem wrong. |
11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
Full Idea: While Socrates has no counterparts that lack self-identity, he does have counterparts that lack identity-with-Socrates. He alone has that - the property, that is, of being identical with the object that in fact instantiates Socrateity. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
A reaction: I am never persuaded by arguments which rest on such dubious pseudo-properties. Whether or not a counterpart of Socrates has any sort of identity with Socrates cannot be prejudged, as it would beg the question. |
11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
Full Idea: It makes no sense to say I could have been someone else, yet Counterpart Theory implies not merely that I could have been distinct from myself, but that I would have been distinct from myself had things gone differently in even the most miniscule detail. | |
From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
A reaction: A counterpart doesn't appear to be 'me being distinct from myself'. We have to combine counterparts over possible worlds with perdurance over time. I am a 'worm' of time-slices. Anything not in that worm is not strictly me. |
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). |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |