7 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |