Games for truth

Bulletin of Symbolic Logic 15 (4):410-427 (2009)
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}$
Keywords Theory of truth   games   determinacy
Categories (categorize this paper)
DOI 10.2178/bsl/1255526080
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,586
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
Infinitary Tableau for Semantic Truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.
Some Observations on Truth Hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.

View all 11 citations / Add more citations

Similar books and articles


Added to PP index

Total downloads
33 ( #197,586 of 2,303,777 )

Recent downloads (6 months)
2 ( #273,839 of 2,303,777 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature