Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Hermann Weyl and Saunders MacLane

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

---

4 ideas

2. Reason / D. Definition / 1. Definitions

15927

Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]

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]

14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction

20653

Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]

26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism

10246

The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl]