Combining Philosophers

Ideas for Novalis, Hugh LaFollette and Gerhard Gentzen

unexpand 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 / A. Overview of Logic / 2. History of Logic
Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
     Full Idea: Gentzen introduced a natural deduction calculus (NK) in 1934.
     From: report of Gerhard Gentzen (works [1938]) by Stephen Read - Thinking About Logic Ch.8
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Logic (the theory of relations) should be applied to mathematics [Novalis]
     Full Idea: Ought not logic, the theory of relations, be applied to mathematics?
     From: Novalis (Logological Fragments II [1798], 38)
     A reaction: Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic).