Hostname: page-component-7c8c6479df-7qhmt Total loading time: 0 Render date: 2024-03-28T05:43:12.190Z Has data issue: false hasContentIssue false

MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN

Published online by Cambridge University Press:  01 April 2014

JOHANNES STERN*
Affiliation:
Munich Center for Mathematical Philosophy, LMU Munich
*
*MCMP, FAKULTÄT FÖR PHILOSOPHIE, WISSENSCHAFTSTHEORIE UND RELIGIONSWISSENSCHAFTEN, LMU MÜNCHEN, GESCHWISTER-SCHOLL-PLATZ 1, D-80539 MÜNCHEN, GERMANY E-mail: johannes.stern@lrz.uni-muenchen.de

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Cantini, A. (1989). Notes on formal theories of truth. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35, 97130.CrossRefGoogle Scholar
Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56, 147.CrossRefGoogle Scholar
Feferman, S. (2008). Axioms for determinateness and truth. Review of Symbolic Logic,1, 204217.CrossRefGoogle Scholar
Halbach, V. (2011). Axiomatic Theories of Truth. New York: Cambridge University Press.Google Scholar
Halbach, V., & Welch, P. (2009). Necessities and necessary truths: A prolegomenon to the use of modal logic in the analysis of intensional notions. Mind, 118, 71100.CrossRefGoogle Scholar
Heck, R. G. (2007). Self-reference and the languages of arithmetic. Philosophia Mathematica, 15(3), 129.Google Scholar
McGee, V. (1991). Truth, Vagueness and Paradox. Indianapolis, IN: Hackett Publishing Company.Google Scholar
Reinhardt, W. N. (1985). Remarks on significance and meaningful applicability. In De Alcantara, L., editor. Mathematical Logic and Formal Systems, Lecture Notes in Pure and Applied Mathematics, vol. 94, pp. 227242.Google Scholar
Reinhardt, W. N. (1986). Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, 15, 219251.CrossRefGoogle Scholar
Stern, J. (2012). Toward Predicate Approaches to Modality. PhD thesis, University of Geneva.Google Scholar