Advertisement

Logische Analyse Des Beweisbegriffs

  • Egon Börger

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1986

Authors and Affiliations

  • Egon Börger

There are no affiliations available

Personalised recommendations