Paul Hertz’s Proof-Theoretical Conception of Logical Consequence

JAVIER LEGRIS

Mathematik im Wandel. Anregungen zu einem fachübergreifenden Mathematikunterricht, Bd. 3

Franzbecker

Lugar: Hidelsheim - Berlín; Año: 2006; p. 255 - 263

Paul Hertz´s Proof-Theoretical Conception of LogicalConsequence*Javier LegrisUniversity of Buenos Aires and Conicet (Argentina)E-mail: jlegris@mail.retina.arThe physicist Paul Hertz (1881-1940) devoted himself to mathematical logic during the1920s and wrote a series of papers that influenced the development of proof theory and,particularly, Gentzen's work. The aim of this paper is to exame Hertz's idea of logicalconsequence placing it in its historical context and remarking its influence in Gentzen´ssequent calculus. The analysis of the formal structure of proofs was one of Hertz´s mostimportant achievements, and it is shown that his conception of logical consequence wasproof-theoretical.