Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory - HAL Accéder directement au contenu
Chapitre d'ouvrage Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
9 july-Last-Rah-Jov-Cler.pdf ( 552.85 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-01227833, version 1 (12-11-2015)

Identifiants

  • HAL Id : halshs-01227833 , version 1

Citer

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⟩
331 Consultations
326 Téléchargements
Dernière date de mise à jour le 20/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus