Généralités

CM mardi, 8h30-10:00. Premier cours le 25 janvier 2022
TD mardi, 14h-15h30, 15h30-17h; mercredi 11h30-13h. Premières séance semaine du 24 janvier
Enseignants Pascal Amsili (CM), Hafida Le Cloarec (TD)
Lien iCampus https://icampus.univ-paris3.fr/course/view.php?id=2606
Contenu Il s'agit d'un cours de sémantique formelle, visant à familiariser les étudiants avec les outils formels de la représentation du sens d'une phrase. Après une brève introduction pour présenter les phénomènes qui relèvent du champ de la sémantique dite « vériconditionnelle », on commencera 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...
Organisation (CM) Le cours aura lieu en présentiel (synchrone) avec une jauge réduite (1/2), l'enregistrement des séances sera ensuite disponible sur iCampus.
Deux groupes d'étudiants seront constitués, et chaque semaine les étudiants d'un groupe seront prioritaires pour venir en présentiel et devront s'inscrire sur iCampus; les personnes de l'autre groupe pourront venir seulement en fonction des places disponibles.
Organisation (TD) Les TD auront lieu en présentiel.
Archives Lien vers la page de l'année 2020-2021
Lien vers la page de l'année 2019-2020
Vous pouvez consulter avec profit les annales de deux enseignements reprenant 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 (CC) Un devoir sur table à mi-semestre, comptant pour 40% de la note, et un examen final la dernière semaine, comptant pour 60%.
Enoncés Devoir sur table, avec corrigé: groupe 1 ; groupe 2 ; groupe 3
2e session L'épreuve de 2e session est organisée en présenciel. Elle aura lieu à Nation (la salle exacte sera indiquée sur place), le lundi 20 juin à 14h.
Résultats notes (instructions)

Séances

sem. date type description liens
1 2022-01-25 CM Ch1. Logique des propositions: objets de base copie tableau
2022-01-25/26 TD Logique propositionnelle, objets de base feuille n° 1; avec corrigé
2 2022-02-01 CM Ch1. Logique des propositions: objets de base (suite) ; syntaxe copie tableau
2022-02-01/02 TD Logique propositionnelle, connecteurs feuille n° 2; avec corrigé
3 2022-02-08 CM Ch1. Logique des propositions: sémantique poly: plan du chapitre ; copie tableau
2022-02-08/09 TD Logique propositionnelle, connecteurs, syntaxe feuille n° 3; avec corrigé
4 2022-02-15 CM Ch1. Logique des propositions: sémantique, raisonnements copie tableau
2022-02-15/16 TD Logique propositionnelle, tables de vérité feuille n° 4; avec corrigé
5 2022-02-22 CM Ch1. Logique des propositions: raisonnements
Ch2. Logique des prédicats 		poly: plan du chapitre 2 ;
copies tableau : ch1 ; ch2
2022-02-22/23 TD Logique propositionnelle, tables de vérité feuille n° 5; avec corrigé
  2022-03-01 CM Pas de séances (congés)
2022-03-01/02 TD
6 2022-03-08 CM Ch2. Logique des prédicats: quantificateurs copie tableau
2022-03-08/09 TD Devoir sur table pendant les créneaux de TD
7 2022-03-15 CM Ch2. Logique des prédicats: quantificateurs, syntaxe copie tableau
2022-03-16/17 TD Logique des prédicats: prédicats et quantificateurs feuille n° 6; avec corrigé
8 2022-03-22 CM Ch2. Logique des prédicats
2022-03-22/23 TD Logique des prédicats: quantificateurs Séances annulées pour raison de santé
9 2022-03-29 CM Ch2. Logique des prédicats
Ch3. Relations sémantiques 		Poly: équivalences remarquables
2022-03-29/30 TD Logique des prédicats: quantificateurs feuille n° 7; avec corrigé
10 2022-04-05 CM Ch3. Relations sémantiques : présuppositions diapos : présuppositions
2022-04-05/06 TD Logique des prédicats feuille n° 8 ; avec corrigé
11 2022-04-12 CM Ch3. Relations sémantiques : implicatures diapos: implicatures
2022-04-12/13 TD Logique des prédicats feuille n° 9; avec corrigé
12 2022-04-19 CM Séance de questions
2022-04-19/20 TD Devoir sur table, pendant les deux séances de TD en salle Brunot

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.