Collegium Logicum - Logische Grundlagen der Philosophie und der Wissenschaften

Das Werk bietet eine Einfuhrung in die moderne Logik mit Anwendungen in der Philosophie und den Wissenschaften, die mathematischen Standards genugt, zugleich jedoch Wert legt auf Anschaulichkeit und padagogische Sorgfalt. Das Werk 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; Kausalitat; 4. Neben der Vermittlung von Standard-Wissen flieen eigene Forschungen in die Darstellung ein, die den Stoff vertiefen und aktuelle Forschungsthemen aufgreifen. Das Werk richtet sich an alle, die Kenntnisse in der Logik auf zwei Ebenen erwerben wollen: (i) Logik als formales Instrument zur Modellierung logischer Zusammenhange sowie (ii) Logik als Gegenstand der Untersuchung (Metalogik). In seiner ausfuhrlichen Darstellungsweise eignet sich das Werk gleichermaen als Lehrbuch wie fur das Selbststudium und fuhrt zugleich an die Forschungsliteratur heran. Das Werk erscheint in zwei Banden. Band 1 enthalt eine Einfuhrung in die klassische Logik bis hin zum Vollstandigkeitssatz der Pradikatenlogik. Band 2 befat sich mit Modallogik, Theorien der ersten Stufe (Mereologie, Arithmetik, Mengentheorie), den Godelschen Unvollstandigkeitssatzen sowie der Logik der Wissenschaften.