Single Idea 13832

[catalogued under 5. Theory of Logic / H. Proof Systems / 4. Natural Deduction]

Full Idea

Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results.

Gist of Idea

Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)

Source

report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05

Book Reference

'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.231