How game-theoretical semantics works: Classical first-order logic
Erkenntnis 29 (1):77 - 93 (1988)
| Abstract | The structure of strategies for semantical games is studied by means of a new formalism developed for the purpose. Rigorous definitions of strategy, winning strategy, truth, and falsity are presented. Non-contradiction and bivalence are demonstrated for the truth-definition. The problem of the justification of deduction is examined from this perspective. The rules of a natural deduction system are justified: they are seen to guarantee existence of a winning strategy for the defender in the semantical game for the conclusion, given winning strategies for that player in the games for the premises. Finally, it is shown how semantical games and the truth-definition can be given for languages lacking individual constants. *** DIRECT SUPPORT *** AZ902009 00003. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesChristian G. Fermüller & George Metcalfe (2009). Giles's Game and the Proof Theory of Łukasiewicz Logic. Studia Logica 92 (1):27 - 61.
Johan Van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2):183 - 203.
Johan van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2).
P. D. Welch (2009). Games for Truth. Bulletin of Symbolic Logic 15 (4):410-427.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Aarne Ranta (1988). Propositions as Games as Types. Synthese 76 (3):377 - 395.
Marion Scheepers (1993). Variations on a Game of Gale (I): Coding Strategies. Journal of Symbolic Logic 58 (3):1035-1043.
Shier Ju & Xuefeng Wen (2008). An N -Player Semantic Game for an N + 1-Valued Logic. Studia Logica 90 (1):17 - 23.
Arcady Blinov (1994). Semantic Games with Chance Moves. Synthese 99 (3):311 - 327.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,124 )Recent downloads (6 months)1 ( #63,361 of 549,124 )How can I increase my downloads? |
My notes
Discussion
