10 ideas
| 8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
| 8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
| 2609 | If God's decrees are good, and this is not a mere tautology, then goodness is separate from God's decrees [Russell] |