5 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15119 | Aristotelian explanation by essence may need to draw on knowledge of other essences [Aristotle, by Koslicki] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
23302 | Plants have far less life than animals, but more life than other corporeal entities [Aristotle] |
23301 | There is a gradual proceeding from the inanimate to animals, with no clear borderlines [Aristotle] |