4 ideas
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? |
16650 | 'Unity' is a particularly difficult word, because things can have hidden unity [Duns Scotus] |
Full Idea: I believe that 'unity' is one of the more difficult words in philosophy, for there are in things many hidden (occultae) unities that are obscure to us. | |
From: John Duns Scotus (Lectura [1298], I.17.2.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 | |
A reaction: Some examples would be nice. Do the Earth and the Moon form a unity, because of gravity? How ponders whether whiteness and a white man are unified. |
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 |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches | |
From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5) | |
A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth. |