Combining Philosophers

All the ideas for Saunders MacLane, Daniel Garber and Morris Kline

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

---

4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

18189

ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

17606

Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline]

7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads

12695

Epicurean atomists say body is sensible, to distinguish it from space. [Garber]

26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism

12705

Epicurean atoms are distinguished by their extreme hardness [Garber]