Généralités

CM mardi, 9h00-10:30, salle B012 (Nation). Premier cours le 31 janvier 2023
TD mardi, 12h-13h30; mercredi 11h30-13h, 18h30-20h. Premières séance semaine du 30 janvier
Enseignants Pascal Amsili (CM), Hafida Le Cloarec (TD)
Lien iCampus https://icampus.univ-paris3.fr/course/view.php?id=36129
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...
Archives Lien vers la page de l'année 2021-2022
Lien vers la page de l'année 2020-2021
Lien vers la page de l'année 2019-2020
Annales 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").
Adaptations (mvt social) L'impact des diverses fermetures, blocages, journées d'action nous oblige à procéder à diverses adaptations.
  • Cours: Le chapitre 2 est entièrement disponible sur iCampus sous forme de séquences vidéo (enregistrées l'année dernière). Des séances interactives de questions/réponses sur zoom sont organisées régulièrement (liens sur iCampus). Le forum Discord peut-être utilisé pour des questions sur le chapitre 2 (et aussi sur tout le reste).
  • TD: On continue à proposer, pour les semaines de blocage/fermeture, des séances synchrones avec zoom.
  • Evaluation: L'ancien protocole (DST 40%, DST 60%) ne peut plus être mis en oeuvre. Nous proposons un nouveau protocole détaillé dans le tableau suivant (Contrôles)

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%.
  • Participation TD 10% (à partir de la semaine 8, note entre 0 et 2)
  • Quizz iCampus temps limité 20% (11 avril 2023, horaire du CM)
  • Devoir maison 20% (date limite: 14 mai 2023)
  • Devoir sur table Test final sur iCampus 50% le 25 avril, à 9h
Modalités (CTI) Une épreuve en temps limité pendant la dernière séance L'épreuve de contrôle terminal intégré sera organisée sous forme d'oraux en visio conférence.
Participation La participation aux TD va compter pour 10%, et sera notée sur 2 points.
DM Devoir non surveillé: é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 23 avril 14 mai à 23h59. Format PDF exclusivement.
Quizz Une série d'exercices sur iCampus sera proposée en temps limité le 11 avril à 9h (heure habituelle du CM).
DST final Le devoir sur table portera uniquement sur le chapitre 2, et consistera en exercices semblables à ceux vus en TD. Il aura lieu le 25 avril à l'horaire du CM.
Devoir final Suite à l'interdiction des épreuves en présentiel, le devoir final se fera sous la forme d'un test sur iCampus, organisé le 25 avril à partir de 9h. Les questions porteront uniquement sur le le chapitre 2, et seront analogues aux exercices vus en TD.
Résultats notes (instructions)

Séances

sem. date type description liens
1 2023-01-31 CM Pas de séances (journée d'action)
2023-02-01/02 TD
2 2023-02-07 CM Ch1. Logique des propositions: objets de base, syntaxe
CM en présentiel (~25p), enregistré 		plan du chapitre; copie tableau
2023-02-07/08 TD LProp: Propositions, connecteurs
TD en présentiel 		feuille n° 1; avec corrigé
3 2023-02-14 CM Ch1. Logique des propositions: syntaxe (suite), sémantique
CM en présentiel (~70p) 		 
2023-02-14/15 TD LProp: Syntaxe
TD en présentiel 		feuille n° 2; avec corrigé
4 2023-02-21 CM Ch1. Logique des propositions: sémantique (suite)
CM en présentiel (~60p) 		exemplier
2023-02-21/22 TD Lprop: tables de vérité
TD en présentiel 		feuille n° 3; avec corrigé
- 2023-02-28 CM Pas de séances (congés)
2023-02-28 TD
5 2023-03-07 CM Ch1. Logique des propositions: sémantique, raisonnements
CM en présentiel (~15p); enregistré 		copie tableau
2023-03-07/08 TD LProp: tdv composites, raisonnements
TD en présentiel dégradé 		feuille n° 4; avec corrigé
6 2023-03-14 CM Ch1. Logique des propositions: bref récap. section 5
Ch2. Logique des prédicats
CM en présentiel dégradé (blocage, ~25p); enregistré 		copie tableau (récap);
plan du chapitre; copie tableau
2023-03-14/15 TD LProp: raisonnements, conséquence logique
TDs annulés, remplacés par une séance Q&R le vendredi; enregistrée 		feuille n° 5;
7 2023-03-21 CM Devoir sur table
CM annulé (blocage puis fermeture) 		 
2023-03-21/22 TD LProp: raisonnements, conséquence logique
TDs en distanciel synchrone
8 2023-03-28 CM Devoir sur table CM annulé (blocage anticipé)
Mise en ligne de séquences vidéo pour tout le chapitre 2. 		 
2023-03-28/29 TD LPred: prédicats
TDs en distanciel synchrone
9 2023-04-04 CM Ch2. Logique des prédicats
classe inversée: questions sur §1, 2 et 3 		 
2023-04-04/05 TD LPred: quantification
TDs en distanciel synchrone
10 2023-04-11 CM Ch3. Relations sémantiques
Quizz sur iCampus en temps limité, puis
classe inversée: questions sur § 4 et 5 		 
2023-04-11/12 TD LPred
11 2023-04-18 CM Ch3. Relations sémantiques
CM en visio (risque de blocage): questions sur ch 2 		 
2023-04-18/19 TD LPred
12 2023-04-25 CM Devoir sur table Devoir sur iCampus, suite à l'interdiction des épreuves en présentiel  
2023-04-25/26 TD Correction DST + questions sur le DM Séances annulées

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.