Synthese 76 (3):377 - 395 (1988)

Abstract
Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00869607
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

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

Truth and Other Enigmas.Michael Dummett - 1978 - Cambridge, MA, USA: Harvard University Press.
Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), Truth and Meaning: Essays in Semantics. Oxford: Clarendon Press.

View all 19 references / Add more references

Citations of this work BETA

Unfolding Parallel Reasoning in Islamic Jurisprudence.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
In the Beginning Was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.

View all 14 citations / Add more citations

Similar books and articles

Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Semantic Games with Chance Moves.Arcady Blinov - 1994 - Synthese 99 (3):311 - 327.
Logic, Language Games and Ludics.Ahti-Veikko Pietarinen - 2003 - Acta Analytica 18 (30/31):89-123.
Logic Games Are Complete for Game Logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.

Analytics

Added to PP index
2009-01-28

Total views
64 ( #180,547 of 2,519,681 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,681 )

How can I increase my downloads?

Downloads

My notes