Combining Texts

Ideas for 'works', 'The Idea of Justice' and 'works'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle]
     Full Idea: C.I.Lewis constructed five axiomatic systems of modal logic, and named them S1 to S5. It turns out that the simplest of the logics based on possible worlds is the same as Lewis's S5.
     From: report of C.I. Lewis (works [1935]) by Rod Girle - Modal Logics and Philosophy 2.1
     A reaction: Nathan Salmon ('Reference and Essence' 2nd ed) claims (on p.xvii) that "the correct modal logic is weaker than S5 and weaker even than S4". Which is the greater virtue, simplicity or weakness?
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.