David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 37 (5):407 - 440 (2008)
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.
|Keywords||fixed point logics languages truth|
|Categories||categorize this paper)|
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
Saul A. Kripke (1975). Outline of a Theory of Truth. Journal of Philosophy 72 (19):690-716.
Susan Haack (1978). Philosophy of Logics. Cambridge University Press.
Yiannis N. Moschovakis (1974). Elementary Induction on Abstract Structures. Dover Publications.
Citations of this work BETA
No citations found.
Similar books and articles
Katalin Bimbó (2005). Admissibility of Cut in LC with Fixed Point Combinator. Studia Logica 81 (3):399 - 423.
Max Kubierschky (2000). Yet Another Hierarchy Theorem. Journal of Symbolic Logic 65 (2):627-640.
James Cain & Zlatan Damnjanovic (1991). On the Weak Kleene Scheme in Kripke's Theory of Truth. Journal of Symbolic Logic 56 (4):1452-1468.
Anuj Dawar & Yuri Gurevich (2002). Fixed Point Logics. Bulletin of Symbolic Logic 8 (1):65-88.
Michael Morreau (1999). Supervaluation Can Leave Truth-Value Gaps After All. Journal of Philosophy 96 (3):148-156.
Gregory McColm (2004). Guarded Quantification in Least Fixed Point Logic. Journal of Logic, Language and Information 13 (1):61-110.
Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.
Philippe Schlenker (2010). Super Liars. Review of Symbolic Logic 3 (3):374-414.
Philip Kremer (2009). Comparing Fixed-Point and Revision Theories of Truth. Journal of Philosophical Logic 38 (4):363-403.
Added to index2009-01-28
Total downloads56 ( #78,876 of 1,911,836 )
Recent downloads (6 months)5 ( #145,877 of 1,911,836 )
How can I increase my downloads?