Quantifiers Propositions and Identity

Viele Systeme quantifizierter Modallogik lassen sich nicht durch Kripkes bekannte semantische Analyse möglicher Welten charakterisieren. Dieses Buch zeigt, wie sie durch eine allgemeinere "zulässige Semantik" charakterisiert werden können, indem Modelle verwendet werden, in denen es eine Einschränkung gibt, welche Mengen von Welten als Sätze gelten. Dies erfordert eine neue Interpretation von Quantifizierern, die die Zulässigkeit von Propositionen berücksichtigt. Der Autor wirft ein neues Licht auf die berühmte Barcan-Formel, deren Rolle die Rolle der Legitimation der Kripke'schen Interpretation der Quantifizierung wird. Die Theorie wird für Systeme mit Quantoren erarbeitet, die sich über reale Objekte und über alle Möglichkeiten erstrecken, und für Logiken mit Existenz- und Identitätsprädikaten und bestimmten Beschreibungen. Im letzten Kapitel wird eine neue zulässige 'Cover-Semantik' für propositionale und quantifizierte relevante Logik entwickelt, die Ideen aus der Kripke'schen Joyal-Semantik für die intuitionistische Logik in der Topostheorie adaptiert. Dieses Buch richtet sich an mathematische oder philosophische Logiker, Informatiker und Linguisten. Sprache: Englisch