6 ideas
22101 | Philosophy aims to know the truth about the way things are [Aquinas] |
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
19391 | We can assign a characteristic number to every single object [Leibniz] |
19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |