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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Zur Modelltheorie s. Chang & Keisler 1973. Zur Typentheorie s. Scholz & Hasenjaeger 1961, Andrews 1965, für deren Zusammenhang mit Programmiersprachen s. Martin-Löf 1982 (für eine Implementierung s. Peterson 1982, für ein interessantes Programmierbeispiel Smith 1983), Constable 1983. Zu Varianten der prädikatenlogischen Resolution im Zusammenhang mit automatischen Beweisverfahren s. Chang & Lee 1973, Loveland 1978; Richter 1978, Paterson & Wegman 1978, Martelli & Montanari 1982, Corbin & Bidoit 1983; im Zusammenhang mit der Interpretation logischer Formeln als Programme s. Kowalski 1979, Apt & van Emden 1982, Clocksin & Mellish 1981, Lloyd 1984.
Editor information
Rights and permissions
Copyright information
© 1985 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Börger, E. (1985). Logische Analyse des Wahrheitsbegriffs. In: Rödding, D. (eds) Berechenbarkeit, Komplexität, Logik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-87777-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-322-87777-2_4
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-08928-3
Online ISBN: 978-3-322-87777-2
eBook Packages: Springer Book Archive