Titre original :

Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf

Titre traduit :

Dialogical approach and revision of beliefs in Per Martin-Löf type theory

Mots-clés en français :
  • Révision des croyances

  • Martin-Löf, Per (1942-....)
  • Théorie des types
Mots-clés en anglais :
  • Revision of the faiths

  • Langue : Français
  • Discipline : Philosophie (métaphysique, épistémologie, esthétique)
  • Identifiant : 2015LIL30008
  • Type de thèse : Doctorat
  • Date de soutenance : 15-06-2015

Résumé en langue originale

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.

Résumé traduit

This thesis is at the intersection of Per Matin-Löf’s type theory, the dialogical approach and the revision of beliefs. The objective is to propose a dialogical approach to the theory of revision of beliefs in the context of Matin- Löf’s type theory. In other words, we seek to conceive a belief system in which the acquisition of knowledge and the interactive aspects of meaning are perceived as a question-response game in respect to a set of initial hypotheses that are expressed in the object-language. This process is done by the progressive deployment of hypothetic content, in a context of interaction, where more credibility is given to the information that the agent receives.This study also enables us to express with ease the interactive aspects of meaning in semantic tableaux. And thus highlights the notion of speech acts through the connection between dialogues and tableaux in the context of belief revision.

  • Directeur(s) de thèse : Rahman, Shahid
  • Président de jury : Bowao, Charles Zacharie
  • Membre(s) de jury : Rahman, Shahid - Bowao, Charles Zacharie - Marion, Mathieu - Yapi Ayénon, Ignace - Heinzmann, Gerhard
  • Rapporteur(s) : Marion, Mathieu - Yapi Ayénon, Ignace
  • Laboratoire : Savoirs, textes, langage (Villeneuve d'Ascq, Nord)
  • École doctorale : École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord)

AUTEUR

  • Dango, Adjoua Bernadette
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre