12 ideas
| 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] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 16634 | I can't be unaware of anything which is in me [Descartes] |
| 6012 | We must choose in which of the virtues we wish to excel [Panaetius] |
| 6013 | Panaetius said we should live according to our natural starting-points [Panaetius, by Asmis] |
| 6014 | Panaetius identified courage with great-mindedness, preferring civic courage to military [Panaetius, by Asmis] |
| 3635 | Essence must be known before we discuss existence [Descartes] |
| 3634 | We can't prove a first cause from our inability to grasp infinity [Descartes] |
| 5888 | Souls are born, since they are sensitive and inherited, so they must perish [Panaetius, by Cicero] |