Hertz FoSPT

Paul Hertz and his Foundation of Structural Proof Theory

01.01.2016 bis 31.12.2018

The project has the overall aim of demonstrating the influence that the fundamental tenets underlying Paul Hertz' sentence calculus (as established in publications between 1922 and 1929) have on proof theory. The first phase of the project aims to elaborate in detail the historical significance of Hertz' contributions, specifically their role in the development of the sequent calculus. In the second phase of the project the striking correspondences between Hertz' original tenets and the paradigms of several current schools in structural proof theory will be presented and discussed.