Combining Texts

All the ideas for 'The Logic of Boundaryless Concepts', 'works' and 'Substances without Substrata'

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

5 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
7791 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?
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9390 Logic guides thinking, but it isn't a substitute for it [Rumfitt]
     Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking.
     From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
     A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
9389 Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
     Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept.
     From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5)
     A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy.
10. Modality / A. Necessity / 2. Nature of Necessity
11002 Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]
     Full Idea: C.I.Lewis's S4 system develops a sense of necessity as 'provability' in some fairly informal sense.
     From: report of C.I. Lewis (works [1935]) by Stephen Read - Thinking About Logic Ch. 4
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
6316 We translate in a way that makes the largest possible number of statements true [Wilson,NL]
     Full Idea: We select as designatum that individual which will make the largest possible number of statements true.
     From: N.L. Wilson (Substances without Substrata [1959]), quoted by Willard Quine - Word and Object II.§13 n
     A reaction: From the Quine's reference, it sounds as if Wilson was the originator of the well-known principle of charity, later taken up by Davidson. If so, he should be famous, because it strikes me as a piece of fundamental and important wisdom.