Modality and Axiomatic Theories of Truth I: Friedman-Sheard

Stern, Johannes (June 2014): Modality and Axiomatic Theories of Truth I: Friedman-Sheard. In: The Review of Symbolic Logic, Vol. 7, No. 2: pp. 273-298

Abstract

In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we show that Modal Friedman-Sheard preserves theoremhood modulo translation with respect to modal operator logic. Second, we turn to semantic aspects and develop a modal semantics for the newly developed theory. Third, we investigate whether the modal predicate of Modal Friedman-Sheard can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.

• Item Type: Journal article
• Form of publication: Publisher's Version
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP); Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Subjects: 100 Philosophy and Psychology > 100 Philosophy
• ISSN: 1755-0211
• Alliance/National Licence: This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.
• Language: English