10 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] |
12699 | A body would be endless disunited parts, if it did not have a unifying form or soul [Leibniz] |
12700 | Form or soul gives unity and duration; matter gives multiplicity and change [Leibniz] |
12736 | If we understand God and his choices, we have a priori knowledge of contingent truths [Leibniz, by Garber] |
6587 | It is always wrong to believe things on insufficient evidence [Clifford] |
12698 | Every body contains a kind of sense and appetite, or a soul [Leibniz] |