Diese überarbeitete Ausgabe des hochgelobten Buches "First-Order Modal Logic" (erste Ausgabe 1998) bietet neue und angepasste Kapitel, die die neuesten wissenschaftlichen Entwicklungen widerspiegeln. Das Buch ist auf Englisch verfasst und richtet sich an ein fortgeschrittenes Sprachniveau, geeignet für Selbststudium, Unterricht und Forschung in Logik und Philosophie.
Inhalt und Ansatz
Fitting und Mendelsohn behandeln ausführlich die Logik erster Stufe mit modaler Erweiterung, mit einer Einführung in die propositionale Basis. Ihre Methodik ruht auf drei Säulen:
- Semantik basierend auf möglichen-Welten-Modellen
- Formale Beweise mittels Tableau-Methoden
- Philosophische Analysen technischer Entwicklungen und ihrer Auswirkungen auf bekannte Probleme
Wichtige Themen
- Quantifizierung: Unterschied zwischen aktualistischen und possibilistischen Quantoren
- Gleichheit und die Behandlung des 'Morgenstern/Abendstern'-Rätsels von Frege
- Existenz und die logischen Herausforderungen darum
- Nicht-rigide Konstanten und Funktionssymbole
- Prädikatabstraktion: klärt Ambiguitäten in der Verwendung von Konstanten und Funktionssymbolen
- Unterschied zwischen Nicht-Existenz und Nicht-Referenz
- Definite Beschreibungen aus sowohl Frege'scher als auch Russell'scher Perspektive
Geeignet für
Das Buch richtet sich an Leser mit fortgeschrittenem Hintergrund in Logik, geeignet für akademischen Unterricht und Selbststudium in Philosophie, mathematischer Logik und verwandten Disziplinen.
Rezension der Erstausgabe
Die erste Ausgabe wurde vom Bulletin of Symbolic Logic als ausgezeichneter und sehr nützlicher Text mit passenden Übungen bewertet, der einen hohen Standard für vergleichbare Werke setzt. Das Buch wird wärmstens empfohlen.
Intertaal ist Ihr zuverlässiger Lieferant und garantiert schnelle Lieferung dieses wertvollen Lehrmittels.