- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Propositions as games as types
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.Other Versions
No versions found
My notes
Similar books and articles
Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
How game-theoretical semantics works: Classical first-order logic.Michael Hand - 1988 - Erkenntnis 29 (1):77 - 93.
The Ross Paradox As Evidence For The Reality of Semantical Games.Jaakko Hintikka - 1977 - The Monist 60 (3):370-379.
Game-Theoretic Semantics.Jk Gts Hintikka & G. Sandu - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Signalling games select horn strategies.Robert van Rooy - 2004 - Linguistics and Philosophy 27 (4):493-527.
Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
Analytics
Added to PP
2009-01-28
Downloads
87 (#236,101)
6 months
5 (#1,002,523)
2009-01-28
Downloads
87 (#236,101)
6 months
5 (#1,002,523)
Historical graph of downloads
Citations of this work
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.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: 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.
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.
References found in this work
What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), What is a Theory of Meaning? Oxford: Clarendon Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2