Cours Présuppositions, implicatures et raisonnement - Approches dynamiques II

J. Jayez – Pres. & impl.: Approches dynamiques II 1/18Cours Présuppositions,implicatures etraisonnementApproches dynamiques IIJacques Jayez, ENS-LSH, L2C22008-2009, semestre 1J. Jayez – Pres. & impl.: Approches dynamiques II 2/18IntroductionIntroduction I◮ L’approche présentée est celle de Beaver 2001.◮ Elle systématise les propositions de Heim, Dekker,Groenendijk & Stokhof, etc.◮ Elle intègre une discussion détaillée des aspectspragmatiques.J. Jayez – Pres. & impl.: Approches dynamiques II 3/18OntologieOntologie I◮ L’ontologie de Beaver est assez compliquée, à causedu recours systématique auλ-calcul.◮ La présentation choisie est simplifiée mais plusmoderne.◮ Deux ingrédients : les états d’info. et les opérationsJ. Jayez – Pres. & impl.: Approches dynamiques II 4/18OntologieOntologie II◮ État d’info. s = ensemble d’interprétationsσ .df i′ ′◮ Principe : s[π]s, s et s étant des états d’info. et π unprogramme.′◮ On obtient s quand on applique π à s (interprétationfonctionnelle).′◮ Lorsque s(s) se réduit à un singleton {σ} ({σ}), oni j′écrit simplement σ [π]s ou s[π]σ ouσ [π]σ.i j i jJ. Jayez – Pres. & impl.: Approches dynamiques II 5/18OntologieOntologie III◮ Pour Beaver, les états d’info. sont des fonctions desmondes vers des ensembles d’assignations partielles.◮ Ici, un état d’info. est un ensemble de couplesσ = hw,fi, où w est un monde (= modèle) et f uneassignation (partielle).◮ Tous les mondes ont le même domaine ...