Notre Dame Journal of Formal Logic 57 (2):153-179 (2016)

Authors
Stefan Wintein
Erasmus University Rotterdam
Abstract
In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
Keywords Self-referential truth   Kripke’s theory of truth   game-theoretic semantics
Categories (categorize this paper)
DOI 10.1215/00294527-3346590
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,496
External links

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

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
Games for Truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Paradox, Truth and Logic Part I: Paradox and Truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
Trees for Truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
The Games of Logic and the Games of Inquiry.Jaakko Hintikka - 1995 - Dialectica 49 (2‐4):229-250.
Games for Truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Axioms for Grounded Truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
Unified Grounding.Casper Storm Hansen - 2016 - Erkenntnis 81 (5):993-1010.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Game Theory and Conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
Living Without Closure.Krista Lawlor - 2005 - Grazer Philosophische Studien 69 (1):25-50.
Editorial Introduction.P. Dekker - 1998 - Journal of Semantics 15 (4):301-303.
Preuves et jeux sémantiques.Denis Bonnay - 2004 - Philosophia Scientiae 8 (2):105-123.

Analytics

Added to PP index
2016-01-11

Total views
14 ( #705,623 of 2,446,328 )

Recent downloads (6 months)
1 ( #456,608 of 2,446,328 )

How can I increase my downloads?

Downloads

My notes