13 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
| 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] |
| 16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
| 20945 | Belief is no more rational than is tasting and smelling [Hamann] |
| 7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
| 4310 | We have inner awareness of our freedom [Descartes] |
| 6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
| 19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
| 6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
| 7666 | God is not a mathematician, but a poet [Hamann, by Berlin] |