12 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 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] |
| 21315 | A tree remains the same in the popular sense, but not in the strict philosophical sense [Butler] |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| 21317 | Despite consciousness fluctuating, we are aware that it belongs to one person [Butler] |
| 21313 | If consciousness of events makes our identity, then if we have forgotten them we didn't exist then [Butler] |
| 21314 | Consciousness presupposes personal identity, so it cannot constitute it [Butler] |
| 21318 | If the self changes, we have no responsibilities, and no interest in past or future [Butler] |