6 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
18528 | The single imagined 'interval' between things only exists in the intellect [Auriol] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
14470 | Explanatory exclusion: there cannot be two separate complete explanations of a single event [Kim] |
16589 | Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol] |
16651 | God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol] |