David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 29 (1):77 - 93 (1988)
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||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Michael Hand (1989). Who Plays Semantical Games? Philosophical Studies 56 (3):251 - 271.
Similar books and articles
Christian G. Fermüller & George Metcalfe (2009). Giles's Game and the Proof Theory of Łukasiewicz Logic. Studia Logica 92 (1):27 - 61.
Shier Ju & Xuefeng Wen (2008). An N -Player Semantic Game for an N + 1-Valued Logic. Studia Logica 90 (1):17 - 23.
Marion Scheepers (1993). Variations on a Game of Gale (I): Coding Strategies. Journal of Symbolic Logic 58 (3):1035-1043.
Aarne Ranta (1988). Propositions as Games as Types. Synthese 76 (3):377 - 395.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
P. D. Welch (2009). Games for Truth. Bulletin of Symbolic Logic 15 (4):410-427.
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):183 - 203.
Arcady Blinov (1994). Semantic Games with Chance Moves. Synthese 99 (3):311 - 327.
Added to index2009-01-28
Total downloads7 ( #216,974 of 1,692,509 )
Recent downloads (6 months)1 ( #181,267 of 1,692,509 )
How can I increase my downloads?