Skip to main content Accessibility help

Axiomatizing Kripke's theory of truth

  • Volker Halbach (a1) and Leon Horsten (a2)


We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF. namely the strength of the system ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system of ramified analysis up to ε0.



Hide All
[1]Aoyama, Hiroshi, The strong completeness of a system based on Kleene's strong three-valued logic, Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 355368.
[2]Beall, Jc and Armour-Garb, Brad. Deflationism and paradox, Clarendon Press, Oxford, 2005.
[3]Belnap, Nuel and Gupta, Anil, The revision theory of truth, MIT Press, Cambridge, 1993.
[4]Blamey, Stephen, Partial logic, Handbook of philosophical logic (Gabbay, Dov M. and Guenthner, Franz, editors), vol. 5. Kluwer. Dordrecht, second ed., 2002, pp. 261353.
[5]Cantini, Andrea, Notes on formal theories of truth, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 35 (1989), pp. 97130.
[6]Cantini, Andrea, A theory of formal truth arithmetically equivalent to ID1. this Journal, vol. 55 (1990), pp. 244259.
[7]Cantini, Andrea, Logical frameworks for truth and abstraction. An axiomatic study, Studies in Logic and the Foundations of Mathematics, vol. 135, Elsevier, Amsterdam, 1996.
[8]Cleave, John, The notion of logical consequence in the logic of inexact predicates, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 20 (1974), pp. 307324.
[9]Craig, William, Replacement of auxiliary expressions, Philosophical Review, vol. 65 (1956). pp. 3855.
[10]Feferman, Solomon. Transfinite recursive progressions of axiomatic theories, this Journal, vol. 27 (1962), pp. 259316.
[11]Feferman, Solomon, Systems of predicative analysis, this Journal, vol. 29 (1964), pp. 130.
[12]Feferman, Solomon, Reflecting on incompleteness, this Journal, vol. 56 (1991), pp. 149.
[13]Friedman, Harvey and Sheard, Michael, An axiomatic approach to self-referential truth, Annals of Pure and Applied Logic, vol. 33 (1987), pp. 121.
[14]Friedman, Harvey and Sheard, Michael, The disjunction and existence properties for axiomatic systems of truth, Annals of Pure and Applied Logic, vol. 40 (1988), pp. 110.
[15]Glanzbero, Michael. Minimalism, deflationism, and paradoxes. in [2, 107–132], 2005.
[16]Halbach, Volker, A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 311327.
[17]Halbach, Volker, Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin, 1996.
[18]Halbach, Volker, Truth and reduction, Erkenntnis, vol. 53 (2000), pp. 97126.
[19]Halbach, Volker, Axiomatic theories of truth, Stanford Encyclopedia of Philosophy (Zalta, Edward N., editor), Spring 2006. forthcoming,
[20]Halbach, Volker and Horsten, Leon, The deflationist's axioms for truth, in [2, 203–217], 2005.
[21]Hempel, Carl, The theoretician's dilemma, Minnesota studies in the philosophy of science, II (Feigl, Herbertet al., editor). University of Minnesota press, 1958, pp. 3798.
[22]Kearns, John, The strong completeness of a system for Kleene's three-valued logic, Zeitschrift für mathematische Logik und Grundlagen der Mathematik. vol. 25 (1979), pp. 6168.
[23]Kremer, Michael, Kripke and the logic of truth, Journal of Philosophical Logic, vol. 17 (1988), pp. 225278.
[24]Kripke, Saul, Outline of a theory of truth, Journal of Philosophy, vol. 72 (1975), pp. 690712. reprinted in [25].
[25]Martin, Robert L. (editor), Recent essays on truth and the Liar paradox, Clarendon Press and Oxford University Press, Oxford and New York, 1984.
[26]Martin, Robert L. and Woodruff, Peter W., On representing ‘true-in-L’ in L, Philosophia, vol. 5 (1975), pp. 213217. Reprinted in [25].
[27]Maudlin, Tim. Truth and paradox, Solving the riddles, Clarendon Press, Oxford. 2004.
[28]McGee, Vann, Truth, vagueness, and paradox: An essay on the logic of truth, Hackett Publishing, Indianapolis and Cambridge, 1991.
[29]McGee, Vann, In praise of the free lunch: Why disquotationalists should embrace compositional semantics, manuscript. 2003.
[30]Montague, Richard, Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizabilily, Acta Philosophica Fennica, vol. 16 (1963), pp. 153–67. Reprinted in [31, 286–302].
[31]Montague, Richard, Formal philosophy: Selected papers of Richard Montague, Yale University Press, New Haven and London, 1974. Edited and with an introduction by Richmond H. Thomason.
[32]Moschovakis, Yiannis N., Elementary induction on abstract structures, Studies in Logic and the Foundations of Mathematics, no. 77. North-Holland and Elsevier, Amsterdam, London and New York, 1974.
[33]Parsons, Charles, On n-quantifier induction, this Journal, vol. 37 (1972), pp. 466482.
[34]Pohlers, Wolfram, Proof theory. An introduction, Springer, Berlin, 1989.
[35]Reinhardt, William, Remarks on significance and meaningful applicability, Mathematical logic and formal systems. A collection of papers in honor of Professor Newton C.A. Da Costa (de Alcantara, Luiz Paulo, editor), Lecture Notes in Pure and Applied Mathematics, vol. 94, Marcel Dekker inc., 1985, pp. 227242.
[36]Reinhardt, William, Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 (1986), pp. 219251.
[37]Schwichtenberg, Helmut, Proof theory: Some applications of cut-elimination. Handbook of mathematical logic (Barwise, Jon. editor), Studies in Logic and the Foundations of Mathematics, no. 90. North-Holland, Amsterdam, London, New York and Tokyo, 1977, pp. 867895.
[38]Scott, Dana, Combinators and classes, λ-calculus and computer science (Böhm, Corrado. editor), Lecture Notes in Computer Science, Springer, Berlin, 1975, pp. 126.
[39]Sheard, Michael, Truth, probability, and naive criteria, Principles of truth (Halbach, Volker and Horsten, Leon, editors), Dr. Hänsel-Hohenhausen, Frankfurt a.M., 2002, pp. 169181.
[40]Soames, Scott, Understanding truth, Oxford University Press, New York and Oxford, 1999.
[41]Takeuti, Gaisi, Proof theory, second ed.. North Holland, Amsterdam, 1987.
[42]Troelstra, Anne S. and Schwichtenberg, Helmut, Basic proof theory. Cambridge Tracts in Theoretical Computer Science, no. 43, Cambridge University Press, Cambridge. 1997.
[43]Visser, Albert, Semantics and the liar paradox, Handbook of philosophical logic (Gabbay, Dov and Günthner, Franz, editors), vol. 4, Reidel, Dordrecht, 1989, pp. 617706.
[44]Wang, Hao, The calculus of partial predicates and its extension to set theory, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 283288.
[45]Woodruff, Peter W., On supervaluations in free logic, this Journal, vol. 49 (1984), pp. 943950.



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed