Combining Philosophers

All the ideas for Samuel Alexander, Michael Hallett and Haskell B. Curry

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

10 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
17833 The first-order ZF axiomatisation is highly non-categorical [Hallett,M]
17834 Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
17837 Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M]
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
17807 To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
17836 The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17806 It is untenable that mathematics is general physical truths, because it needs infinity [Curry]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17808 Saying mathematics is logic is merely replacing one undefined term by another [Curry]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
3534 To be is to have causal powers [Alexander,S]
17. Mind and Body / A. Mind-Body Dualism / 6. Epiphenomenalism
3398 Epiphenomenalism makes the mind totally pointless [Alexander,S]
14494 Epiphenomenalism is like a pointless nobleman, kept for show, but soon to be abolished [Alexander,S]