15 ideas
| 10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
| 10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
| 16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
| 15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
| 16730 | If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi] |
| 19419 | Not all of perception is accompanied by consciousness [Leibniz] |
| 16619 | We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi] |
| 19421 | Souls act as if there were no bodies, and bodies act as if there were no souls [Leibniz] |
| 19420 | Death and generation are just transformations of an animal, augmented or diminished [Leibniz] |
| 16593 | Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi] |
| 16729 | How do mere atoms produce qualities like colour, flavour and odour? [Gassendi] |
| 19416 | Not all of matter is animated, any more than a pond full of living fish is animated [Leibniz] |
| 19422 | Every particle of matter contains organic bodies [Leibniz] |
| 19418 | Mechanics shows that all motion originates in other motion, so there is a Prime Mover [Leibniz] |
| 19417 | All substances are in harmony, even though separate, so they must have one divine cause [Leibniz] |