Back to Search
Start Over
MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN.
- Source :
-
Review of Symbolic Logic . Jun2014, Vol. 7 Issue 2, p299-318. 20p. - Publication Year :
- 2014
-
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. [ABSTRACT FROM PUBLISHER]
- Subjects :
- *TRUTH
*MODAL logic
*PHILOSOPHY
*LOGIC
*SEMANTICS
Subjects
Details
- Language :
- English
- ISSN :
- 17550203
- Volume :
- 7
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Review of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 96313337
- Full Text :
- https://doi.org/10.1017/S1755020314000069