11 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 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] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |