10 ideas
| 21461 | I tried to be unsystematic and piecemeal, but failed; my papers presuppose my other views [Lewis] |
| 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] |
| 5062 | First: there must be reasons; Second: why anything at all?; Third: why this? [Leibniz] |
| 19377 | A monad and its body are living, so life is everywhere, and comes in infinite degrees [Leibniz] |
| 19353 | 'Perception' is basic internal representation, and 'apperception' is reflective knowledge of perception [Leibniz] |
| 5061 | Animals are semi-rational because they connect facts, but they don't see causes [Leibniz] |
| 5063 | Music charms, although its beauty is the harmony of numbers [Leibniz] |