First-Order Modal Logic
Fitting und Mendelsohn präsentieren eine gründliche Behandlung der Modallogik erster Ordnung, zusammen mit einigen propositionalen Hintergrund.
Sie verfolgen dabei einen dreifachen Ansatz. Semantisch verwenden sie Modelle möglicher Welten; die formale Beweismaschinerie ist ein Tableau; und die Art und Weise, wie sich technische Entwicklungen auf bekannte philosophische Probleme auswirken, wird ausführlich philosophisch diskutiert.
Das Buch behandelt die Quantifizierung selbst, einschließlich des Unterschieds zwischen aktualistischen und possibilistischen Quantoren; die Gleichheit, die zu einer Behandlung von Freges Morgenstern/Abendstern-Rätsel führt; den Begriff der Existenz und die logischen Probleme, die ihn umgeben; nicht starre Konstanten und Funktionssymbole; Prädikatsabstraktion, die ein Prädikat von einer Formel abstrahiert und damit eine Scoping-Funktion für Konstanten und Funktionssymbole bereitstellt, was zu einer Klärung mehrdeutiger Lesarten führt, die den Kern mehrerer philosophischer Probleme bilden; die Unterscheidung zwischen Nichtexistenz und Nichtbezeichnung; und definitive Beschreibungen, die sich an Frege'sche und Russell'sche Paradigmen anlehnen.
| ISBN: | 9783031407130 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
