10 ideas
| 16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
| 16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
| 16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| 7401 | Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck] |
| 5454 | Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo] |
| 16560 | Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver] |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| 3645 | To understand the universe mathematics is essential [Galileo] |
| 19673 | Galileo mathematised movement, and revealed its invariable component - acceleration [Galileo, by Meillassoux] |