Combining Texts

All the ideas for 'Letters to Antoine Arnauld', 'Transworld Heir Lines' and 'works'

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


9 ideas

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
     Full Idea: Logicians like their entities to exhibit a maximum degree of purity.
     From: David Kaplan (Transworld Heir Lines [1967], p.97)
     A reaction: An important observation, which explains why the modern obsession with logic has often led us down the metaphysical primrose path to ontological hell.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
It is possible that an omnipotent God might make one and two fail to equal three [Descartes]
     Full Idea: Since every basic truth depends on God's omnipotence, I would not dare to say that God cannot make it....that one and two should not be three.
     From: René Descartes (Letters to Antoine Arnauld [1645]), quoted by A.W. Moore - The Evolution of Modern Metaphysics 01.3
     A reaction: An unusual view. Most people would say that if Descartes can doubt something that simple, he should also doubt his reasons for believing in God's existence.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling]
     Full Idea: The idea that there should be something like a distinction of levels among properties is captured in Ramsey's 'simple theory of types'.
     From: report of Frank P. Ramsey (works [1928]) by A.C. Grayling - Russell
     A reaction: I merely report this, though it is not immediately obvious how anyone would decide which 'level' a type belonged on.
9. Objects / C. Structure of Objects / 7. Substratum
Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan]
     Full Idea: The use of models is so natural to logicians ...that they sometimes take seriously what are only artefacts of the model, and adopt a bare particular metaphysics. Why? Because the model so nicely separates the bare particular from its clothing.
     From: David Kaplan (Transworld Heir Lines [1967], p.97)
     A reaction: See also Idea 11970. I think this observation is correct, and incredibly important. We need to keep quite separate the notion of identity in conceptual space from our notion of identity in the actual world. The first is bare, the second fat.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
The simplest solution to transworld identification is to adopt bare particulars [Kaplan]
     Full Idea: If we adopt the bare particular metaphysical view, we have a simple solution to the transworld identification problem: we identify by bare particulars.
     From: David Kaplan (Transworld Heir Lines [1967], p.98)
     A reaction: See Ideas 11969 and 11970 on this idea. The problem with bare particulars is that they can change their properties utterly, so that Aristotle in the actual world can be a poached egg in some possible world. We need essences.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Unusual people may have no counterparts, or several [Kaplan]
     Full Idea: An extremely vivid person might have no counterparts, and Da Vinci seems to me to have more than one essence. Bertrand Russell is clearly the counterpart of at least three distinct persons in some more plausible world.
     From: David Kaplan (Transworld Heir Lines [1967], p.100)
     A reaction: Lewis prefers the notion that there is at most one counterpart, the 'closest' entity is some world. I think he also claims there is at least one counterpart. I like Kaplan's relaxed attitude to these things, which has more explanatory power.
Essence is a transworld heir line, rather than a collection of properties [Kaplan]
     Full Idea: I prefer to think of essence as a transworld heir line, rather than as the more familiar collection of properties, because the latter too much suggests the idea of a fixed and final essential description.
     From: David Kaplan (Transworld Heir Lines [1967], p.100)
     A reaction: He is sympathetic to the counterpart idea, and close to Lewis's view of essences, as the intersection of counterparts. I like his rebellion against fixed and final descriptions, but am a bit doubtful about his basic idea. Causation should be involved.
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Beliefs are maps by which we steer [Ramsey]
     Full Idea: Beliefs are maps by which we steer.
     From: Frank P. Ramsey (works [1928]), quoted by Georges Rey - Contemporary Philosophy of Mind p.259 n5
19. Language / A. Nature of Meaning / 8. Synonymy
Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan]
     Full Idea: Among the proposals for conditions under which two sentences have the same ordinary sense, the most liberal (Carnap and Church) is that they be logically equivalent, and the most restrictive (Benson Mates) is that they never have the same sense.
     From: David Kaplan (Transworld Heir Lines [1967], p.89)
     A reaction: Personally I would move the discussion to the level of the propositions being expressed before I attempted a solution.