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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1986 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Börger, E. (1986). Logische Analyse Des Beweisbegriffs. In: Rödding, D. (eds) Berechenbarkeit, Komplexität, Logik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14213-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-663-14213-3_5
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-18928-0
Online ISBN: 978-3-663-14213-3
eBook Packages: Springer Book Archive