Généralités

CM jeudi 11h30-13h00 salle B015, premier cours 23 janvier 2025
TD jeudi 13h30-15h, salle C215; jeudi 16h00-17h30, salle B011, premiers TD le 23 janvier 2025
Enseignants Pascal Amsili (CM), Jeanne Bruneau-Bongard (TD)
Liens iCampus https://icampus.univ-paris3.fr/course/view.php?id=61096
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 comence 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)
  • Chapitre 1 : Logique des propositions
  • Chapitre 2 : Logique des prédicats
  • Chapitre 3 : Relations sémantiques (et pragmatiques): implication, présupposition, implicatures...
Archives Liens vers les pages des années précédentes: 2023-2024 ; 2022-2023 ; 2021-2022 ; 2020-2021 ; 2019-2020 ;
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").

Contrôles

Modalités 1e session: Une épreuve en temps limité à mi-semestre (50%) ; une épreuve en temps limité en fin de semestre (40%) ; la participation aux TD sera notée à hauteur de 10% de la note finale (2 points sur 20).
CTI: Une épreuve en temps limité au cours de la dernière ou avant dernière séance compte pour 100% de la note.
2e session (rattrapage): une épreuve écrite en temps limité (100%).
Calendrier 1e session: jeudi 06/03, créneaux des TD: devoir sur table (50 %).
jeudi 24/04, créneau à déterminer: devoir sur table (40 %).
CTI: jeudi 24/04, créneau à déterminer: devoir sur table (100 %).
2e session (rattrapage): date de l'épreuve à fixer par le bureau des examens.

Séances (organisation indicative)

sem. date type description liens
1 2025-01-23 CM Ch1. Logique des Propositions (§1. Objets de base) poly: plan du chapitre 1
TD Propositions et connecteurs feuille no 1 ; corrigé
2 2025-01-30 CM Ch1. Logique des Propositions (§2. Syntaxe)
TD Connecteurs, traduction en logique feuille no 2
3 2025-02-06 CM Ch1. Logique des Propositions (§3. Sémantique)
TD Traduction en logique
4 2025-02-13 CM Ch1. Logique des Propositions (§4. Raisonnement)
TD Syntaxe, propriété des formules
5 2025-02-20 CM Ch2. Logique des Prédicats (§1. Prédicats)
TD Syntaxe, raisonnements
- 2025-02-27 CM Pas de séances (congés)
TD
6 2025-03-06 CM Ch2. Logique des Prédicats (§2. Quantificateurs)
TD Devoir sur table
7 2025-03-13 CM Ch2. Logique des Prédicats
TD
8 2025-03-20 CM Ch2. Logique des Prédicats
TD
9 2025-03-27 CM Ch2. Logique des Prédicats
TD
10 2025-04-03 CM Ch3. Relations sémantiques
TD
11 2025-04-10 CM Ch3.Relations sémantiques
TD
- 2025-04-17 CM Pas de séances (congés)
TD
12 2025-04-24 CM Devoir sur table n°2 (en amphi ou en TD, à déterminer)
TD
13 2025-05-01 CM Pas de séances (jour férié)
TD

Pointeurs (références, bibliographie, ressources en ligne)

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.