Zusammenfassung
Was bedeutet Wissenschaft? Ganz wesentlich das Zusammenspiel von Theorie und Experiment. Im Rahmen einer Theorie werden die Fakten der alltäglichen Welt abstrakt modelliert, zumeist in der Sprache der Mathematik. Dort werden aus der Abstraktion bekannter Tatsachen mit mathematischer Präzision Schlüsse gezogen. Diese müssen wiederum an der Wirklichkeit überprüft werden, also durch ein Experiment. Es geht also um Dinge wie:
-
Erklärbarkeit von beobachteten Phänomenen der realen Welt durch Schlüsse der Mathematik,
-
Vorhersagbarkeit von Phänomenen der realen Welt durch logische Schlüsse der Mathematik.
Auch die Sprache ist ein gewichtiger Teilbereich der realen Welt. Auch auf die Sprache lässt sich daher das eben Gesagte anwenden. Als die entsprechende mathematische Abstraktion von Teilen der Sprache kann die Logik betrachtet werden. Wie bei jeder Sprache müssen auch bei der abstrakten Sprache der Logik sowohl ihre Syntax , also ihre formale Struktur, ihr „Satzbau“, als auch ihre Semantik , also die Bedeutung der einzelnen möglichen Sprachfragmente, untersucht werden. Unterschiedliche untersuchte Sprachfragmente führen zu unterschiedlichen Logiken.
In diesem Buch werden deshalb sehr unterschiedliche Logiken betrachtet, unter anderem:
-
Aussagenlogik,
-
Prädikatenlogik,
-
Modale Logik,
-
Temporale Logik,
-
Epistemische Logik.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
de Saussure, F.: Grundfragen der allgemeinen Sprachwissenschaft. (Übers. d. frz. Originalausgabe durch Lommel H (1916)). de Gruyter, Berlin (1967)
Wirth, N.: Program development by Stepwise Refinement. Commun. Assoc. Comput. Mach. 14 , 221–227 (1971)
Wittgenstein, L.: Tractatus logico-philosophicus: Logisch-philosophische Abhandlung. Suhrkamp, Frankfurt am Main (2003)
Schulte, J. (Hrsg.).: Wittgenstein: Philosophische Untersuchungen: kritisch-genetische Edition. Wissenschaftliche Buchgesellschaft, Darmstadt (2001)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Schenke, M. (2013). Einführung. In: Logikkalküle in der Informatik. Studienbücher Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-8348-2295-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-8348-2295-6_1
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-8348-1887-4
Online ISBN: 978-3-8348-2295-6
eBook Packages: Computer Science and Engineering (German Language)