Combining Philosophers

Ideas for Dennis Whitcomb, Luitzen E.J. Brouwer and Haskell B. Curry

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

15941

For intuitionists excluded middle is an outdated historical convention [Brouwer]

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]