13 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
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] |