Zusammenfassung
Ziel dieses Kapitels ist: I.Syntaktische Definition von Sprachen der Prädikatenlogik erster Stufe, in denen Objekte (Individuen) durch Terme und Aussagen über sie durch Ausdrücke (Formeln) dargestellt werden, sowie eine mathematisch präzise Definition der inhaltlichen Bedeutung (Semantik) solcher Terme und Formeln und insbesondere des Begriffs logischer Wahrheit (Allgemeingültigkeit) der letzteren; II.Nachweis der rekursiven Aufzählbarkeit des logischen Gültigkeitsbegriffs durch Angabe eines Kalküls, mit dessen Hilfe alle und nur die logisch gültigen Formeln rein syntaktisch herleitbar sind.
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 Wahrheitsbegriffs. In: Rödding, D. (eds) Berechenbarkeit, Komplexität, Logik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14213-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-663-14213-3_4
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