green numbers give full details | back to texts | unexpand this idea
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) |
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. | |||
From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05 |