Games for Truth

DOI10.2178/BSL/1255526080zbMath1193.03011OpenAlexW2022740361MaRDI QIDQ3655267

No author found.

Publication date: 7 January 2010

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/56204ac74b4a7292ac5957548f6551f0e6772a37

zbMATH Keywords

gamestheory of truthdeterminacytruth sets

Mathematics Subject Classification ID

Applications of game theory (91A80) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Related Items (12)

From closure games to strong Kleene truth ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ Truth, partial logic and infinitary proof systems ⋮ SOME OBSERVATIONS ON TRUTH HIERARCHIES ⋮ Periodicity and reflexivity in revision sequences ⋮ A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES ⋮ Guest editors' introduction ⋮ The complexity of the dependence operator ⋮ A note on Horwich's notion of grounding ⋮ FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO ⋮ TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX ⋮ INFINITARY TABLEAU FOR SEMANTIC TRUTH

Cites Work

• Unnamed Item
• What truth depends on
• Notes on naive semantics
• Elementary induction on abstract structures
• A revenge-immune solution to the semantic paradoxes
• A theory of formal truth arithmetically equivalent to ID₁
• The truth is never simple
• Outline of a Theory of Truth
• Δ₃^O-determinacy, comprehension and induction
• Axiomatizing Kripke's theory of truth

This page was built for publication: Games for Truth