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] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
16657 | Substance, Quantity and Quality are real; other categories depend on those three [Henry of Ghent] |
16658 | The only reality in the category of Relation is things from another category [Henry of Ghent] |
16645 | Accidents are diminished beings, because they are dispositions of substance (unqualified being) [Henry of Ghent] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
22012 | Kant says things-in-themselves cause sensations, but then makes causation transcendental! [Henry of Ghent, by Pinkard] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |