idea number gives full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Gerhard Gentzen, by Text

[German, 1909 - 1945, Pupil of Weyl. Professor at Prague. A Nazi, starved to death after the war.]

1935 Investigations into Logical Deduction
p.231 Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)
1938 works
p.63 The inferential role of a logical constant constitutes its meaning
p.126 Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic
p.228 Gentzen introduced a natural deduction calculus (NK) in 1934
p.229 The logical connectives are 'defined' by their introduction rules
II.5.13 p.787 Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule