Combining Philosophers

All the ideas for Saunders MacLane, Vittorio Hsle and Alonzo Church

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

---

4 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems

22820

Early Romantics sought a plurality of systems, in a quest for freedom [Hösle]

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 / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

25. Social Practice / E. Policies / 5. Education / d. Study of history

22819

In the 18th century history came to be seen as progressive, rather than cyclical [Hösle]