Game semantics

Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

Game semantics - Wikipedia Jump to content From Wikipedia, the free encyclopedia Approach to formal semantics Semantics Linguistic Logical Subfields Cognitive Computational Lexical Lexis Lexicology Statistical Structural Topics Analysis Compositionality Context Prototype theory Force dynamics Polysemy Semantic change Semantic feature Semantic field Semantic gap Syntax–semantics interface Theory of descriptions Truth-conditional semantics Analysis Latent Computational Machine learning Applications Desktop File system Matching Parsing Querying web wiki Similarity Semantics of programming languag

related reading

• Game theory - Wikipediaen.wikipedia.org
• First-order logic - Wikipediaen.wikipedia.org
• Intuitionistic logic - Wikipediaen.wikipedia.org
• Montague Semantics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Lean Game Serveradam.math.hhu.de
• Language game (philosophy) - Wikipediaen.wikipedia.org
• Definability of Truth in Probabilistic Logic - Christiano 2013intelligence.org
• Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Ludwig.Wittgenstein.-.Philosophical.Investigations.pdfstatic1.squarespace.com
• Finite-and-Infinite-Games-by-James-Carse.pdfbewildrewild.org
• [1508.04145] Reflective Oracles: A Foundation for Classical Game Theoryarxiv.org
• HYPERGAMEsubstack.com