Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf
Auteur / Autrice : | Adjoua Bernadette Dango |
Direction : | Shahid Rahman |
Type : | Thèse de doctorat |
Discipline(s) : | Philosophie (métaphysique, épistémologie, esthétique) |
Date : | Soutenance le 15/06/2015 |
Etablissement(s) : | Lille 3 |
Ecole(s) doctorale(s) : | École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) |
Partenaire(s) de recherche : | Laboratoire : Savoirs, textes, langage (Villeneuve d'Ascq, Nord) |
Jury : | Président / Présidente : Charles Zacharie Bowao |
Examinateurs / Examinatrices : Shahid Rahman, Charles Zacharie Bowao, Mathieu Marion, Ignace Yapi Ayénon, Gerhard Heinzmann | |
Rapporteurs / Rapporteuses : Mathieu Marion, Ignace Yapi Ayénon |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Cette dissertation se situe à l’intersection de la théorie des types de Per Martin-Löf, de l’approche dialogique et de la révision des croyances. Son objectif est de proposer une analyse dialogique de la théorie de la révision des croyances dans le contexte de la théorie des types de Martin-Löf. Autrement dit, il s’est agi pour nous de concevoir des systèmes de révision dans lesquels l’acquisition de connaissances et les aspects interactifs de la signification sont saisis comme un jeu de questions et de réponses par rapport à un ensemble initial d’hypothèses exprimé dans le langage-objet. Ce processus s’effectue par un déploiement progressif de contenus hypothétiques dans un contexte d’interaction en crédibilisant l’information que reçoit l’agent.Cette étude donne également la possibilité d’exprimer avec aisance les aspects interactifs de la signification dans les tableaux sémantiques. Et met ainsi en exergue les notions d’actes de langage par la connexion entre dialogues et tableaux dans le contexte de la révision des croyances.