10 ideas
| 9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
| 13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
| 18086 | Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher] |
| 18092 | Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock] |
| 9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
| 13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
| 8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
| 13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
| 13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
| 13592 | Beliefs can be ascribed to machines [Quine] |