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.

Problematic pronominal anaphora

“…Još jedno rešenje na bazi KTT, ali u okviru teorije igara, razvijeno je u (Rahman, Clerbout, Jovanović, 2016). Umesto pravila zahteva, za koje se mora davati dodatno, donekle nategnuto, opravdanje, u našem pristupu postoji prirodan zahtev za pronalaženjem referenata, karakterističan za teoriju igara.…”

“…15 Detaljna prezentacija pravila može se naći u Rahman, Clerbout (2013, 2014 i u Rahman, Clerbout, Jovanović (2016).…”