Das Werk bietet eine Einführung in die moderne Logik mit Anwendungen in der Philosophie und den Wissenschaften, die mathematischen Standards genügt, zugleich jedoch Wert legt auf Anschaulichkeit und pädagogische Sorgfalt. 'Collegium Logicum' setzt sich mehrere Ziele: 1. Logische Theoriebildung; 2. Philosophische Anwendungen in Sprachphilosophie, Ontologie, Erkenntnistheorie, Philosophie der Mathematik; 3. Anwendungen in den Wissenschaften: Methodologie (Definitions- und Argumentationslehre, Mengenlehre, Modellierung); Interpretation und Reduktion von Theorien; Wahrscheinlichkeit als Logik der Wissenschaften; Kausalität; 4. Neben der Vermittlung von Standard-Wissen fließen eigene Forschungen in die Darstellung ein, die den Stoff vertiefen und aktuelle Forschungsthemen aufgreifen. Der Band richtet sich an alle, die Kenntnisse in der Logik auf zwei Ebenen erwerben wollen: (i) Logik als formales Instrument zur Modellierung logischer Zusammenhänge sowie (ii) Logik als Gegenstand der Untersuchung (Metalogik). In seiner ausführlichen Darstellungsweise eignet sich das Werk gleichermaßen als Lehrbuch wie für das Selbststudium und führt zugleich an die Forschungsliteratur heran. 'Collegium Logicum' erscheint in zwei Bänden. Band 1 enthält eine Einführung in die klassische Logik bis hin zum Vollständigkeitssatz der Prädikatenlogik. Band 2 erscheint im 1. Quartal 2014 und befaßt sich mit Modallogik, Theorien der ersten Stufe (Mereologie, Arithmetik, Mengentheorie), den Gödelschen Unvollständigkeitssätzen sowie der Logik der Wissenschaften.
Author(s): Godehard Link
Edition: 2014
Publisher: mentis Verlag
Year: 2014
Language: German
Pages: 723
Inhaltsverzeichnis
Vorwort zu Band 2
13. Theorien erster Stufe: Mereologie
14. Modallogik
15. Modallogik II: Quantoren, Anwendungen
16. Rekursive Funktionen
17. Theorien erster Stufe: Arithmetik
18. Die Gödelschen Theoreme
19. Modelle und Theorien
20. Logik höherer Stufe
21. Mengentheorie
22. Interpretation und Reduktion
23. Die Logik der Wissenschaften: Wahrscheinlichkeit
24. Ursachen und Gründe
Literaturverzeichnis, kumulativ
Symbole und Abkürzungen, kumulativ
Personenregister, kumulativ
Sachregister, kumulativ