10 ideas
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| 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] |
| 15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
| 15645 | Nominal essence are the observable properties of things [Eagle] |
| 15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
| 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] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |