On Hilbert's Axiomatics of Propositional Logic

Abstract

In this paper I will consider the axioms for propositional logic which were presented by Hilbert in his conferences during the year 1922, and those which were presented by Hilbert and Bernays in the book Grundlagen der Mathematik, I (1934). I will describe a general procedure in order to translate Hilbert's axioms into rules on sequents and I will show that, following this procedure, Hilbert's axioms become particular cases of (derived or primitive) rules of Gentzen's Sequent Calculus and contain ideas which will be focused and developed in Gentzen's Sequent Calculus and also in more recent logical investigations.