Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
Fiche du document
26 mars 2016
- handle: 10670/1.0c7ysd
- halshs: halshs-01227833
info:eu-repo/semantics/OpenAccess
Mots-clés
knowledge constructive type theory epistemic logic dialogical logic game-theoretical semantics pragmatics meaning epitemologySujets proches
Knowledge--Philosophy Examples Exemplars Conation Volition Cetanā Hours (Time) Social theory Social science Sciences, Social Human sciences Social studies Behavioral sciences Natural science Sciences Science of science Pragmalinguistics Mental philosophy Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Case Group discussion Choice, Axiom of Epistemic modal logic Modal logic, Epistemic Logic of knowledge Knowledge, Logic ofCiter ce document
Shahid Rahman et al., « Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory », HAL-SHS : philosophie, ID : 10670/1.0c7ysd
Métriques
Partage / Export
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.