Combining Texts

All the ideas for 'The Architecture of Theories', 'Completeness of Axioms of Logic' and 'Hat-Tricks and Heaps'

expand these ideas     |    start again     |     specify just one area for these texts

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')

9117	The smallest heap has four objects: three on the bottom, one on the top [Hart,WD, by Sorensen]

17. Mind and Body / A. Mind-Body Dualism / 1. Dualism

14802

Physical and psychical laws of mind are either independent, or derived in one or other direction [Peirce]

26. Natural Theory / D. Laws of Nature / 1. Laws of Nature

14800

The world is full of variety, but laws seem to produce uniformity [Peirce]

27. Natural Reality / G. Biology / 3. Evolution

14801

Darwinian evolution is chance, with the destruction of bad results [Peirce]