8 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] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 19355 | The soul doesn't understand many of its own actions, if perceptions are confused and desires buried [Leibniz] |
| 19350 | We should say that body is mechanism and soul is immaterial, asserting their independence [Leibniz] |
| 12727 | It's impossible, but imagine a body carrying on normally, but with no mind [Leibniz] |
| 19356 | Minds unconsciously count vibration beats in music, and enjoy it when they coincide [Leibniz] |