Modality and Axiomatic Theories of Truth II: Kripke-Feferman

Stern, Johannes (2014): Modality and Axiomatic Theories of Truth II: Kripke-Feferman. In: The Review of Symbolic Logic, Bd. 7, Nr. 2: S. 299-318

Abstract

In this second and last paper of the two part investigation on "Modality and Axiomatic Theories of Truth" we apply a general strategy for constructing modal theories over axiomatic theories of truth to the theory Kripke-Feferman. This general strategy was developed in the first part of our investigation. Applying the strategy to Kripke-Feferman leads to the theory Modal Kripke-Feferman which we discuss from the three perspectives that we had already considered in the first paper, where we discussed the theory Modal Friedman-Sheard. That is, we first show that Modal Kripke-Feferman preserves theoremhood modulo translation with respect to modal operator logic. Second, we develop a modal semantics fitting the newly developed theory. Third, we investigate whether the modal predicate of Modal Kripke-Feferman can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.

• Dokumententyp: Zeitschriftenartikel
• Publikationsform: Publisher's Version
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie
• ISSN: 1755-0211
• Allianz-/Nationallizenz: Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG-geförderten) Allianz- bzw. Nationallizenz frei zugänglich.
• Sprache: Englisch