Zusammenfassung
In dieser Einführung wollen wir auf grundsätzlichere und eher philosophische Fragestellungen — etwa auf die Frage: „Was ist Wahrheit?“ —, die in Verbindung mit dem Begriff der Logik gebracht werden können, nicht eingehen, sondern wollen nur auf ein kleines Teilgebiet der formalen Logik eingehen. In dieser wird untersucht, wie man formal Schlüsse zieht, oder auch, wie man Aussagen miteinander veknüpfen kann. Ein wichtiges Kennzeichen der formalen Logik ist eine kosequente Trennung von syntaktischen Begriffen wie etwa Formeln oder Beweise, und semantischen Begriffen wie Wahrheitswerte oder Modelle. Die syntaktischen Begriffe können im wesentlichen als Zeichenreihen aufgefaßt werden, die nach gewissen „formalen“ Regeln aufgebaut sind. Die „Bewertungen“ oder „Interpretationen“ der syntaktischen Objekte mit Wahrheitswerten oder in „Modellen“ stellen die semantische Ebene dar; dabei wird vorausgesetzt, daß es sich bei den semantischen Begriffen um „bekannte Dinge“ handelt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Küchlin, W., Weber, A. (2000). Einführung in die Logik. In: Einführung in die Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-06854-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-06854-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67384-2
Online ISBN: 978-3-662-06854-0
eBook Packages: Springer Book Archive