Games for truth

Bulletin of Symbolic Logic 15 (4):410-427 (2009)
  Copy   BIBTEX

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}$

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,648

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2010-09-13

Downloads
174 (#147,231)

6 months
18 (#230,895)

Historical graph of downloads
How can I increase my 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.
Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.

View all 14 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.

View all 16 references / Add more references