Combining Texts

All the ideas for 'General Draft', 'Transworld Identity or worldbound Individuals?' and 'Model Theory for Modal Logic I'

unexpand these ideas     |    start again     |     specify just one area for these texts


10 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy is homesickness - the urge to be at home everywhere [Novalis]
     Full Idea: Philosophy is actually homesickness - the urge to be everywhere at home.
     From: Novalis (General Draft [1799], 45)
     A reaction: The idea of home [heimat] is powerful in German culture. The point of romanticism was seen as largely concerning restless souls like Byron and his heroes, who do not feel at home. Hence ironic detachment.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
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.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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?
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?
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
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.
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.
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Desire for perfection is an illness, if it turns against what is imperfect [Novalis]
     Full Idea: An absolute drive toward perfection and completeness is an illness, as soon as it shows itself to be destructive and averse toward the imperfect, the incomplete.
     From: Novalis (General Draft [1799], 33)
     A reaction: Deep and true! Novalis seems to be a particularist - hanging on to the fine detail of life, rather than being immersed in the theory. These are the philosophers who also turn to literature.