Erkenntnis:1-32 (forthcoming)

Luca Castaldo
University of Warsaw
This article compares classical and nonclassical axiomatisations of the fixed-point semantics developed by Kripke : 690–716, 1975). Following the line of investigation of Halbach and Nicolai : 227–257, 2018), we do not compare KF and PKF qua theories of truth simpliciter, but rather qua axiomatisations of the Kripkean conception of truth. We strengthen the central results of Halbach and Nicolai and Nicolai : 101–130, 2018), showing that, on the one hand, there is a stronger sense in which some variants of KF and some variants of PKF can be taken to be, truth-theoretically, equivalent. On the other hand, we show that this truth-theoretical equivalence is not preserved by some other variants of KF and PKF, arguing that the PKF variants are more adequate axiomatisations of the fixed-point semantics than the corresponding KF variants.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s10670-021-00397-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry Field - 2008 - Oxford, England: Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.

View all 36 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Supervaluation Fixed-Point Logics of Truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
Proof Interpretations with Truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Trees for Truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Logic and Truth.Michael Joseph Kremer - 1986 - Dissertation, University of Pittsburgh
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Tarskian and Kripkean Truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.


Added to PP index

Total views
21 ( #537,492 of 2,520,411 )

Recent downloads (6 months)
7 ( #100,785 of 2,520,411 )

How can I increase my downloads?


My notes