Généralités

CM mercredi 15h30-17h00, salle B014, premier cours 17 janvier 2024
TD jeudi 12h00-13h30, salle B210 C104; jeudi 14h00-15h30, salle C215, premiers TD le 18 janvier 2024
Enseignants Pascal Amsili (CM), Hafida Le Cloarec (TD)
Liens iCampus Présence: https://icampus.univ-paris3.fr/course/view.php?id=45610
Distance: https://icampus.univ-paris3.fr/course/view.php?id=47511
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: 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 (présence) 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).
DM supplémentaire facultatif: compté avec le même coefficient que l'épreuve de fin de semestre, il ne sera pris en compte que s'il augmente la note finale.
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 (présence) 1e session: jeudi 29/02, créneaux des TD: devoir sur table (50 %). énoncé corrigé, gpe 1; énoncé corrigé, gpe 2
mercredi 24/04, créneau du CM: devoir sur table (40 %).
CTI: mercredi 03/04 et mercredi 24/04, créneau du CM: devoir sur table (100 %).
2e session (rattrapage): date de l'épreuve à fixer par le bureau des examens.
Modalités (distance) 1e session: Un quizz iCampus en temps limité (50%) ; un devoir maison (30%) ; une épreuve orale (20%).
CTI: Un quizz iCampus en temps limité (100%).
2e session (rattrapage): Une épreuve orale de 15' comptant pour 100%. le rattrapage (2e session) se fera sous la forme d'une épreuve sur table, en même temps que les étudiants inscrits en présentiel.
Calendrier (distance) 1e session: jeudi 07/03 ou vendredi 08/03: quizz en temps limité sur iCampus (50 %).
semaine du 26/02: publication du devoir maison (30%, à rendre pour le 28/04).
semaine du 29/04: créneaux pour l'épreuve orale (détails à venir).
CTI: semaine du 22/04. Détails à venir.
2e session (rattrapage): créneaux sur deux demi-journées: 21/06 matin, mardi 25/06 après-midi.
DM (distance) Devoir maison: énoncé. Le devoir est un travail strictement personnel, personne ne doit utiliser le même document/passage (un tableur partagé a été mis en place pour indiquer le texte que chaque étudiante a choisi et éviter les conflits, le lien est sur iCampus). Il doit être rendu sur iCampus au plus tard le 28 avril à 23h59. Format PDF exclusivement.
DM (présence) Devoir maison: énoncé. Le devoir est un travail strictement personnel, personne ne doit utiliser le même document/passage (un tableur partagé a été mis en place pour indiquer le texte que chaque étudiante a choisi et éviter les conflits, le lien est sur iCampus). Il doit être rendu sur iCampus au plus tard le 14 mai à 23h59. Format PDF exclusivement.
Oraux (présence & distance) Les épreuves orales (visio) durent environ 15': un exercice semblable à ceux de feuilles de TD est tiré au sort, et après 5' de préparation, il vous est demandé de corriger l'exercice. Vous pouvez soit vous-même écrire sur un tableau blanc partagé, soit dicter à l'examinateur.
La note obtenue est rendue publique après la fin des oraux.
Résultats (présence) notes (instructions)
Résultats (distance) notes (instructions)

Séances

sem. date type description liens
1 2024-01-17 CM Ch1. Logique des Propositions (§1. Objets de base) Exemplier: plan du chapitre
2024-01-18 TD Propositions et connecteurs feuille no 1 ; corrigé
2 2024-01-24 CM Ch1. Logique des Propositions (§2. Syntaxe; §3. Sémantique)
2024-01-25 TD Connecteurs, traduction en logique
3 2024-01-31 CM Ch1. Logique des Propositions (§3. Sémantique)
2024-02-01 TD Traduction en logique
4 2024-02-07 CM Ch1. Logique des Propositions (§3 & §4. Raisonnement) Exemplier: contraire/contradictoire
2024-02-08 TD Syntaxe, propriété des formules feuille no 2 ; corrigé
5 2024-02-14 CM Ch2. Logique des Prédicats (§1. Prédicats) Exemplier: plan du chapitre
2024-02-15 TD Syntaxe, raisonnements feuille no 3 ; corrigé
- 2024-02-21 CM Pas de séances (congés)
2024-02-22 TD
6 2024-02-28 CM Ch2. Logique des Prédicats (§2. Quantificateurs)
2024-02-29 TD Devoir sur table
7 2024-03-06 CM Ch2. Logique des Prédicats (§2. Quantificateurs, suite) Exemplier: carrés d'Aristote
2024-03-07 TD Prédicats, quantificateurs feuille no 4 ;
8 2024-03-13 CM Ch2. Logique des Prédicats (§3. Syntaxe, §4. Sémantique)
2024-03-14 TD
9 2024-03-20 CM Ch3. Relations sémantiques (§1. Introduction; §2. Présupposition) Exempliers: exemples ;plan du chapitre
2024-03-21 TD
10 2024-03-27 CM CM annulé pour raisons de santé
2024-03-28 TD Prédicats, Syntaxe, Traduction feuille no 5 ; corrigé
11 2024-04-03 CM Ch3.Relations sémantiques (§2. Présuppositions)
2024-04-04 TD Présuppositions
- 2024-04-10 CM Pas de séances (congés)
2024-04-11 TD
12 2024-04-17 CM Pas de CM Ch3.Relations sémantiques (§3. Implicatures) Exemplier: exemples
2024-04-18 TD Séances de révision
13 2024-04-24 CM Devoir sur table n°2 (en amphi) + CTI
2024-04-25 TD Pas de séances

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

Enseignements du Collège de France en lien avec la langue
  • Les cours de François Récanati, philosophe de l'esprit et du langage, sont particulièrement pertinents cette année à propos de sémantique et de pragmatique.
  • Les cours de Luigi Rizzi, linguiste spécialiste de syntaxe, sont très appropriés, pas seulement pour les étudiant(e)s qui s'intéressent à la syntaxe.
  • Les cours de Stanislas Dehaene, titulaire de la chaire de psychologie cognitive expérimentale, portent certaines années sur la faculté de langage ou sur son apprentissage. Je recommande particulièrement, pour les personnes intéressées par la relation entre la langue et l'esprit, le cours de 2020/21, intitulé L'influence du langage et des symboles sur la perception et la cognition.
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.