17 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] |
| 17471 | Using mechanisms as explanatory schemes began in chemistry [Weisberg/Needham/Hendry] |
| 17472 | Thick mechanisms map whole reactions, and thin mechanism chart the steps [Weisberg/Needham/Hendry] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 17465 | Lavoisier's elements included four types of earth [Weisberg/Needham/Hendry] |
| 17468 | Over 100,000,000 compounds have been discovered or synthesised [Weisberg/Needham/Hendry] |
| 17469 | 'H2O' just gives the element proportions, not the microstructure [Weisberg/Needham/Hendry] |
| 17470 | Water molecules dissociate, and form large polymers, explaining its properties [Weisberg/Needham/Hendry] |
| 17473 | It is unlikely that chemistry will ever be reduced to physics [Weisberg/Needham/Hendry] |
| 17474 | Quantum theory won't tell us which structure a set of atoms will form [Weisberg/Needham/Hendry] |
| 17475 | For temperature to be mean kinetic energy, a state of equilibrium is also required [Weisberg/Needham/Hendry] |
| 17467 | Isotopes (such as those of hydrogen) can vary in their rates of chemical reaction [Weisberg/Needham/Hendry] |
| 17466 | Mendeleev systematised the elements, and also gave an account of their nature [Weisberg/Needham/Hendry] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |