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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
Unfolding Parallel Reasoning in Islamic Jurisprudence.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
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.
Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.
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.
An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
How Game-Theoretical Semantics Works: Classical First-Order Logic.Michael Hand - 1988 - Erkenntnis 29 (1):77 - 93.
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 )
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
