Graduate studies at Western
Journal of Philosophical Logic 37 (5):407 - 440 (2008)
|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.|
|Keywords||fixed point logics languages truth|
|Categories||categorize this paper)|
|Through your library||Configure|
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. The 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 downloads23 ( #60,238 of 739,350 )
Recent downloads (6 months)1 ( #61,538 of 739,350 )
How can I increase my downloads?