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] |
| 2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
| 2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
| 9312 | Consciousness is reductively explained either by how it represents, or how it is represented [Kriegel/Williford] |
| 9313 | Experiences can be represented consciously or unconsciously, so representation won't explain consciousness [Kriegel/Williford] |
| 9315 | Red tomato experiences are conscious if the state represents the tomato and itself [Kriegel/Williford] |
| 9316 | How is self-representation possible, does it produce a regress, and is experience like that? [Kriegel/Williford] |
| 9314 | Unfortunately, higher-order representations could involve error [Kriegel/Williford] |