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] |
| 18415 | The actual world is just the world you are in [Lewis, by Cappelen/Dever] |
| 16392 | A content is a property, and believing it is self-ascribing that property [Lewis, by Recanati] |
| 18416 | Attitudes involve properties (not propositions), and belief is self-ascribing the properties [Lewis, by Solomon] |
| 16390 | Lewis's popular centred worlds approach gives an attitude an index of world, subject and time [Lewis, by Recanati] |
| 18418 | A theory of perspectival de se content gives truth conditions relative to an agent [Lewis, by Cappelen/Dever] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |