Généralités
| Cette page concerne le cours dispensé en présence. Pour la version à distance, voir cette page. | |
| CM | Jeudi, 16h00 à 17h30, salle B011 (campus Nation). Premier cours le 22 janvier 2026. |
| TD | |
| Enseignants | Pascal Amsili (CM), Laurent Dion (TD du jeudi) Olga Seminck (TD du vendredi) |
| Liens iCampus | https://icampus.univ-paris3.fr/course/view.php?id=72797 |
| Contenu | Le cours de sémantique formelle vise à familiariser les étudiants avec les outils formels (mathématiques) de la représentation du sens d'une phrase. Le cours commence par une présentation des outils de base de la sémantique formelle, la logique des propositions et la logique des prédicats. Dans la deuxième partie du cours, on s'intéressera aux relations sémantiques entre les phrases (implication, présupposition, implicature, contradiction, équivalence), et on verra dans quelle mesure les outils de la logique permettent de mieux décrire les effets de sens. |
| Programme (indicatif) |
|
| Archives | Liens vers les pages des années précédentes: 2024-2025 ; 2023-2024 ; 2022-2023 ; 2021-2022 ; 2020-2021 ; |
| Annales |
On peut consulter avec profit les annales de deux enseignements donnés dans d'autres
établissemenents, qui couvrent en partie le contenu de ce cours :
Signification et théorie linguistique (Paris Sorbonne, L3) ;
Logique et Langage (Paris Diderot, L1).
Pour le second cours, regarder surtout les énoncés de DST et d'examen, en notant que le cours en question comprenait
deux chapitres non pertinents pour nous ("la syllogistique de Port-Royal" et "typologie des raisonnements").
|
Séances (organisation indicative)
| sem. | date | type | description | liens |
|---|---|---|---|---|
| 1 | 2026-01-22 | CM | Ch1. Logique des Propositions (§1. Objets de base) |
poly: Plan du chapitre |
| TD | Propositions et connecteurs | feuille n°1 ; corrigé | ||
| 2 | 2026-01-29 | CM | Ch1. Logique des Propositions (§2. Syntaxe) |
|
| TD | Connecteurs, traduction en logique | |||
| 3 | 2026-02-05 | CM | Ch1. Logique des Propositions (§3. Sémantique) |
|
| TD | Syntaxe | feuille n°2 ; corrigé | ||
| 4 | 2026-02-12 | CM | Ch1. Logique des Propositions (§4. Raisonnement) |
|
| TD | Équivalence logique | feuille n°2bis ; corrigé | ||
| 5 | 2026-02-19 | CM | Ch2. Logique des Propositions (§4. Raisonnements) |
|
| TD | Propriétés et relations entre formules | feuille n°3 ; corrigé | ||
| 6 | 2026-02-26 | CM | Ch2. Logique des Prédicats (§1. Prédicats, §2. Quantificateurs) |
polys: Plan du chapitre, carré d'Aristote |
| TD | Devoir sur table | |||
| - | 2026-03-05 | CM | Pas de séances (congés) | |
| TD | ||||
| 7 | 2026-03-12 | CM | Ch2. Logique des Prédicats (§2. Quantificateurs) |
Poly: carrés d'Aristote |
| TD | ||||
| 8 | 2026-03-19 | CM | ||
| TD | ||||
| 9 | 2026-03-26 | CM | ||
| TD | ||||
| 10 | 2026-04-02 | CM | ||
| TD | ||||
| 11 | 2026-04-09 | CM | ||
| TD | ||||
| 12 | 2026-04-16 | CM | Devoir sur table | |
| TD | ||||
Manuels et ressources accessibles en ligne
- Le contenu des chapitres 1 (logique des propositions) et 2 (logique des prédicats) est détaillé dans ce polycopié.
- Roussarie, Laurent, 2017: Sémantique formelle. Volume 1: introduction à la grammaire de Montague (Textbooks in Language Sciences 4). Berlin: Language Science Press. Librement accessible sur cette page.
- Coppock, Elizabeth & Champollion, Lucas (2020). Invitation to formal semantics. Manuscript, February 2021.
Bibliographie plus générale
- Gennaro Chierchia et Sally McConnel-Ginet, Meaning and Grammar. An Introduction to Semantics, The MIT Press, 1990.
- David Dowty, Robert Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
- Irene Heim & Angelika Kratzer, Semantics in the Generative Grammar, Blackwell Publishers, 1998.
- Michel Galmiche, Sémantique linguistique et logique, PUF (Paris), 1991.
- L.T.E. Gamut, Logic, Language and Meaning. Vol. 1 (Introduction to Logic). The University of Chicago Press, 1991.
- L.T.E. Gamut, Logic, Language and Meaning. Vol. 2 (Intensional Logic and Logical Grammar). The University of Chicago Press, 1991.
- Barbara Partee, Alice ter Meulen & Robert E. Wall, Mathematical Methods in Linguistics, Kluwer Academic Publishers, 1993.
- Henriëtte de Swart, Introduction to Natural Language Semantics, Csli Lecture Notes No 80, CSLI Publications, 1998.
