Logische Analyse des Beweisbegriffs

Zusammenfassung

Wir behandeln in diesem Kapitel die syntaktische Charakterisierung der klassischen Prädikatenlogik der ersten Stufe in der Form, wie sie Gentzen 1935 in seiner logischen Analyse derjenigen Schlußweisen gegeben hat, die das tatsächliche Vorgehen bei mathematischen Beweisführungen beherrschen. Der Grundgedanke besteht darin, die Bedeutung logischer Symbole wie Junktoren und Quantoren durch Regeln festzulegen, die unmittelbar deren Gebrauch beim Ziehen von Folgerungen aus gegebenen Voraussetzungen beschreiben.