Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory

Abstract : It is our main claim that the time is ripe to link the dynamic turn launched by game-theoretical approaches to meaning with P. Martin-Löf's Constructive Type Theory (CTT). Furthermore, we also claim that the dialogical framework provides the appropriate means to develop such a link. We will restrict our study to the discussion of two paradigmatic cases of dependences triggered by quantifiers, namely the case of the Axiom of Choice and the study of anaphora, that are by the way two of the most cherished examples of Hintikka.
Complete list of metadatas

Cited literature [107 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01227833
Contributor : Shahid Rahman <>
Submitted on : Thursday, November 12, 2015 - 10:03:24 AM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM
Long-term archiving on: Friday, April 28, 2017 - 6:45:43 AM

File

9 july-Last-Rah-Jov-Cler.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : halshs-01227833, version 1

Collections

Citation

Shahid Rahman, Radmila Jovanovic, Nicolas Clerbout. Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory. Epistemology, Knowledge and the Impact of Interaction, Springer, 2016. ⟨halshs-01227833⟩

Share

Metrics

Record views

492

Files downloads

334