Note on Paul Hertz and the Origins of the Sequent-Notation

JAVIER LEGRIS

Vichy

Congreso; 6th World Congress and School on Universal Logic; 2018

Université Clermont Auvergne

Gentzen adopted this sequent-notationfrom the "Systems of propositions" (German:Satzsysteme) of Paul Hertz(1881-1940), previously studied by him.The aim of this paper is to evaluate Hertzs ideas from the point of viewof theirnotational innovationand to analyze Gentzen?s interpretation ofthis innovation in order to determine Hertz?sspecificinfluence in Gentzen?swork. In the paper its place in the context of the development of symboliclogic will be also discussed.