Games for Truth
From MaRDI portal
Publication:3655267
DOI10.2178/bsl/1255526080zbMath1193.03011MaRDI 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
91A80: Applications of game theory
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
Related Items
Truth, dependence and supervaluation: living with the ghost, SOME OBSERVATIONS ON TRUTH HIERARCHIES, 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
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 ID1
- The truth is never simple
- Outline of a Theory of Truth
- Δ3O-determinacy, comprehension and induction
- Axiomatizing Kripke's theory of truth