Abstract
Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also consider variants, engendered by a stronger notion of ‘fixed point’, and by variant supervaluation schemes. A ‘logic’ is often thought of, not as a consequence relation, but as a set of sentences – the sentences true on each interpretation. We axiomatize the supervaluation fixed-point logics so conceived.
Similar content being viewed by others
References
Davis, L.: 1979, An alternate formulation of Kripke’s theory of truth, Journal of Philosophical Logic 8, 289–296.
Grover, D.: 1977, Inheritors and paradox, Journal of Philosophy 74, 590–604.
Haack, S.: (1978). Philosophy of logics. Cambridge University Press.
Hintikka, K. Jaakko, J.: 1955, Reductions in the theory of types, Acta Philosophica Fennica VIII, 57–115 Fasc.
Kirkham, R.: (1992). Theories of truth: A critical introduction. MIT Press.
Kremer, M. (1986). Logic and truth, Ph.D. dissertation, University of Pittsburgh.
Kremer, M.: 1988, Kripke and the logic of truth, Journal of Philosophical Logic 17, 225–278.
Kremer, P., & Kremer, M.: (2003). On some supervaluation-based consequence relations. forthcoming in the Journal of Philosophical Logic.
Kripke, S.: 1975, Outline of a theory of truth, Journal of Philosophy 72, 690–716.
Kroon, F.: 1984, Steinus on the paradoxes, Theoria 50, 178–211.
Martin, R. L., and Woodruff, P. W.: 1975, On representing ‘True-in-L’ in L, Philosophia 5, 217–221.
McGee, V.: (1991). Truth, vagueness and paradox. Hackett Publishing Company.
Montague, R.: (1965). Reductions of higher-order logic. in Symposium on the theory of models; proceedings of the 1963 international symposium at Berkeley, 251–264, North Holland.
Moschovakis, Y.: (1974). Elementary induction on abstract structures. North-Holland.
Parsons, T.: 1984, Assertion, denial and the liar paradox, Journal of Philosophical Logic 13, 137–152.
Read, S.: (1994). Thinking about logic: An introduction to the philosophy of logic. Oxford University Press.
Scott, D.: (1975). Combinators and classes. in λ-calculus and computer science theory (Lecture Notes in Computer Science, volume 37), Springer-Verlag, 1–26.
Woodruff, P.: 1984, On supervaluations in free logic, Journal of Symbolic Logic 49, 943–950.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kremer, P., Urquhart, A. SUPERVALUATION FIXED-POINT LOGICS OF TRUTH. J Philos Logic 37, 407–440 (2008). https://doi.org/10.1007/s10992-007-9071-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9071-1