Games for truth
Bulletin of Symbolic Logic 15 (4):410-427 (2009)
Abstract
We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$DOI
10.2178/bsl/1255526080
My notes
Similar books and articles
How game-theoretical semantics works: Classical first-order logic.Michael Hand - 1988 - Erkenntnis 29 (1):77 - 93.
Omniscience and omnipotence: How they may help - or hurt - in a game.Steven J. Brams - 1982 - Inquiry: An Interdisciplinary Journal of Philosophy 25 (2):217 – 231.
Existence of Mixed Strategy Equilibria in a Class of Discontinuous Games with Unbounded Strategy Sets.Alexander Matros - unknown
Meager nowhere-dense games (IV): N-tactics.Marion Scheepers - 1994 - Journal of Symbolic Logic 59 (2):603-605.
Determinateness of certain almost-borel games.Robert S. Wolf - 1985 - Journal of Symbolic Logic 50 (3):569-579.
Generalized externality games.Paula Corcho & José Luis Ferreira - 2003 - Theory and Decision 54 (2):163-184.
Analytics
Added to PP
2010-09-13
Downloads
85 (#145,607)
6 months
2 (#297,972)
2010-09-13
Downloads
85 (#145,607)
6 months
2 (#297,972)
Historical graph of downloads
Citations of this work
A graph-theoretic analysis of the semantic paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
References found in this work
Elementary Induction on Abstract Structures.Yiannis Nicholas Moschovakis - 1974 - Amsterdam, Netherlands: Dover Publications.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.