8 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? |
| 13365 | Russell's Paradox is a stripped-down version of Cantor's Paradox [Priest,G on Russell] |
| Full Idea: Russell's Paradox is a stripped-down version of Cantor's Paradox. | |
| From: comment on Bertrand Russell (Letters to Frege [1902]) by Graham Priest - The Structure of Paradoxes of Self-Reference §2 |
| 10711 | Russell's paradox means we cannot assume that every property is collectivizing [Potter on Russell] |
| Full Idea: Russell's paradox showed that we cannot consistently assume what is sometimes called the 'naïve comprehension principle', namely that every property is collectivizing. | |
| From: comment on Bertrand Russell (Letters to Frege [1902]) by Michael Potter - Set Theory and Its Philosophy 03.6 |
| 9127 | Russell refuted Frege's principle that there is a set for each property [Russell, by Sorensen] |
| Full Idea: Russell refuted Frege's principle that there is a set for each property. | |
| From: report of Bertrand Russell (Letters to Frege [1902], 1904.12.12) by Roy Sorensen - Vagueness and Contradiction 6.1 | |
| A reaction: This is the principle stumbling block to any attempt to explain properties purely in terms of sets. I would say that Russell proved there couldn't be a set for each predicate. You can't glibly equate proper properties with predicates. |
| 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 |
| 7531 | We don't assert private thoughts; the objects are part of what we assert [Russell] |
| Full Idea: I believe Mont Blanc itself is a component part of what is actually asserted in the proposition 'Mont Blanc is more than 4000 metres high'; we do not assert the thought, which is a private psychological matter, but the object of the thought. | |
| From: Bertrand Russell (Letters to Frege [1902], 1904.12.12), quoted by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.4 | |
| A reaction: This would appear to be pretty much externalism about concepts, given that Russell would accept that other people know much more about Mont Blanc than he does, and their knowledge is included in what he asserts. |
| 16713 | Philosophers are the forefathers of heretics [Tertullian] |
| Full Idea: Philosophers are the forefathers of heretics. | |
| From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 6610 | I believe because it is absurd [Tertullian] |
| Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
| From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
| A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |