Combining Texts

All the ideas for 'Leibniz: Guide for the Perplexed', 'Reference and Contingency' and 'Set Theory and the Continuum Hypothesis'

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


4 ideas

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
We could accept the integers as primitive, then use sets to construct the rest [Cohen]
     Full Idea: A very reasonable position would be to accept the integers as primitive entities and then use sets to form higher entities.
     From: Paul J. Cohen (Set Theory and the Continuum Hypothesis [1966], 5.4), quoted by Oliver,A/Smiley,T - What are Sets and What are they For?
     A reaction: I find this very appealing, and the authority of this major mathematician adds support. I would say, though, that the integers are not 'primitive', but pick out (in abstraction) consistent features of the natural world.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins]
     Full Idea: For individuation, substance needs three properties: independence, to separate it from other things; unity, to call it one thing, rather than an aggregate; and permanence or stability over time. Its other role is as subject for predicates.
     From: Franklin Perkins (Leibniz: Guide for the Perplexed [2007], 3.1)
     A reaction: Perkins is describing the Aristotelian view, which is taken up by Leibniz. 'Substance' is not a controversial idea, if we see that it only means that the world is full of 'things'. It is an unusual philosopher wholly totally denies that.
10. Modality / B. Possibility / 5. Contingency
'Superficial' contingency: false in some world; 'Deep' contingency: no obvious verification [Evans, by Macià/Garcia-Carpentiro]
     Full Idea: Evans says intuitively a sentence is 'superficially' contingent if the function from worlds to truth values assigns F to some world; it is 'deeply' contingent if understanding it does not guarantee that there is a verifying state of affairs.
     From: report of Gareth Evans (Reference and Contingency [1979]) by Macià/Garcia-Carpentiro - Introduction to 'Two-Dimensional Semantics' 2
     A reaction: This distinction is used by Davies and Humberstone (1980) to construct an early version of 2-D semantics (see under Language|Semantics). The point is that part comes from understanding it, and another part from assigning truth values.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Rigid designators can be meaningful even if empty [Evans, by Mackie,P]
     Full Idea: Evans argues that there can be rigid designators that are meaningful even if empty.
     From: report of Gareth Evans (Reference and Contingency [1979]) by Penelope Mackie - How Things Might Have Been 1.8