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

Jacques Jayez, Ens-Lsh, L2c2

Informations

• Publié par: Obbe
• Nombre de lectures: 13
• Langue: Français

Extrait

J. Jayez – Pres. & impl.: Approches dynamiques II 1/27
Cours Présuppositions, implicatures et
raisonnement
Approches dynamiques II
Jacques Jayez, ENS-LSH, L2C2
2008-2009, semestre 1J. Jayez – Pres. & impl.: Approches dynamiques II 2/27
Introduction
Introduction I
◮ L’approche présentée est celle de Beaver 2001.J. Jayez – Pres. & impl.: Approches dynamiques II 2/27
Introduction
Introduction I
◮ L’approche présentée est celle de Beaver 2001.
◮ Elle systématise les propositions de Heim, Dekker,
Groenendijk & Stokhof, etc.J. Jayez – Pres. & impl.: Approches dynamiques II 2/27
Introduction
Introduction 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 aspects
pragmatiques.J. Jayez – Pres. & impl.: Approches dynamiques II 3/27
Ontologie
Ontologie I
◮ L’ontologie de Beaver est assez compliquée, à cause
du recours systématique auλ-calcul.J. Jayez – Pres. & impl.: Approches dynamiques II 3/27
Ontologie
Ontologie I
◮ L’ontologie de Beaver est assez compliquée, à cause
du recours systématique auλ-calcul.
◮ La présentation choisie est simplifiée mais plus
moderne.J. Jayez – Pres. & impl.: Approches dynamiques II 3/27
Ontologie
Ontologie I
◮ L’ontologie de Beaver est assez compliquée, à cause
du recours systématique auλ-calcul.
◮ La présentation choisie est simplifiée mais plus
moderne.
◮ Deux ingrédients : les états d’info. et les opérationsJ. Jayez – Pres. & impl.: Approches dynamiques II 4/27
Ontologie
Ontologie II
◮ État d’info. s = ensemble d’interprétationsσ .df iJ. Jayez – Pres. & impl.: Approches dynamiques II 4/27
Ontologie
Ontologie II
◮ État d’info. s = ensemble d’interprétationsσ .df i
′ ′
◮ Principe : s[π]s, s et s étant des états d’info. et π un
programme.J. Jayez – Pres. & impl.: Approches dynamiques II 4/27
Ontologie
Ontologie II
◮ État d’info. s = ensemble d’interprétationsσ .df i
′ ′
◮ Principe : s[π]s, s et s étant des états d’info. et π un
programme.
′◮ On obtient s quand on applique π à s (interprétation
fonctionnelle).