Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth

Studia Logica 106 (1):101-130 (2018)
  Copy   BIBTEX


We study the relationships between two clusters of axiomatizations of Kripke’s fixed-point models for languages containing a self-applicable truth predicate. The first cluster is represented by what we will call ‘\-like’ theories, originating in recent work by Halbach and Horsten, whose axioms and rules are all valid in fixed-point models; the second by ‘\-like’ theories first introduced by Solomon Feferman, that lose this property but reflect the classicality of the metatheory in which Kripke’s construction is carried out. We show that to any natural system in one cluster—corresponding to natural variations on induction schemata—there is a corresponding system in the other proving the same sentences true, addressing a problem left open by Halbach and Horsten and accomplishing a suitably modified version of the project sketched by Reinhardt aiming at an instrumental reading of classical theories of self-applicable truth.



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Axioms for grounded truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
Super liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.
Disquotational Truth and Analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
The Liar and Theories of Truth.John Hawthorn - 1983 - Dissertation, Mcgill University (Canada)
Truth and Necessity in Partially Interpreted Languages.Vann Roger Mcgee - 1985 - Dissertation, University of California, Berkeley
Type-free truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
Logic and Truth.Michael Joseph Kremer - 1986 - Dissertation, University of Pittsburgh
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.


Added to PP

40 (#358,756)

6 months
4 (#404,301)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Carlo Nicolai
King's College London

Citations of this work

The power of naive truth.Hartry Field - 2022 - Review of Symbolic Logic 15 (1):225-258.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.

View all 10 citations / Add more citations

References found in this work

Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.

View all 22 references / Add more references