Soutenance de thèse : Eimear Maguire

Eimear Maguire (LLF)
Conditionals in the Wild

Les conditionnels sont un sujet de grand intérêt depuis des décennies, à travers un spectre de théories allant de l'analyse informelle à la sémantique formelle et à la philosophie, en passant par l'étude du raisonnement humain. Ce travail de sémantique formelle s'est typiquement appuyé sur des cas problèmes bien construits, avec un soutien supplémentaire du travail psychologique où les conditionnels sont utilisés dans des stimuli expérimentaux contrôlés.

L'objectif général de cette thèse est de mieux connecter un modèle formel de conditionnels if aux conditionnels tels qu'ils apparaissent dans le langage naturel spontané – des conditionnels, pour ainsi dire, à l'état sauvage.

L'approche générale est dialogique, fondée sur des données de corpus d'interaction orale. La formalisation utilise le cadre de modélisation du dialogue KoS, qui est caractérisé dans le cadre formel Type Theory with Records (TTR, « théorie des types avec enregistrements »). Cela permet une représentation riche et hétérogène du contexte et la représentation simultanée de plusieurs niveaux linguistiques.

La structure de la thèse est la suivante. Après le contexte théorique et l'introduction du cadre formel, une étude de corpus est présentée sur les clauses if non incorporées en anglais parlé dans un certain nombre de contextes, et sur leur variation fonctionnelle et formelle. En plus des conditionnels canoniques (c'est-à-dire une if-clause subordonnée à une clause indicative), ceci inclut des if-clauses qui semblent être sans conséquent, ou qui ont des conséquents non-clausales. Compte tenu de la fonction des conditionnels dans les arguments et les démonstrations de raisonnement, ils sont identifiés comme un dispositif permettant d'exprimer un argument fondé sur un principe général non logique (un enthymème fondé sur un topos). La félicité des conditionnels via l'identification de l'enthymème, et l'autorisation de la reconnaissance du topos à partir du contenu de l'antécédent et du conséquent, sont modélisées – ce faisant, un traitement formel des enthymèmes et des topoï qui les modélise comme des réseaux bayésiens est présenté. La variation formelle des conditionnels est ensuite reprise. Les if-clauses qui n'ont pas de conséquent ou qui ont un conséquent non-clausal sont analysées, en mettant l'accent sur les utilisations métalinguistiques sur les sous-utérances, qui ne peuvent pas être expliquées par un conditionnel canonique sous-jacent. Enfin, une synthèse relie les implications des chapitres précédents à la sémantique conditionnelle de vérité des conditionnels.