Généralités

CM lundi, 16h-17h30. Premier cours le 25 janvier 2021
TD mardi, 14h-15h30, 15h30-17h; mercredi 11h30-13h. Premières séance semaine du 25 janvier
Enseignants Pascal Amsili (CM+TD), René Lacroix (TD)
Lien iCampus https://icampus.univ-paris3.fr/course/view.php?id=16713
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 « Distanciel intégral synchrone »: le cours aura lieu à distance. Sauf changement en cours de semestre
L'assiduité n'est pas obligatoire, et les personnes qui seraient dans l'incapacité de participer aux épreuves de contrôle continu peuvent bien sûr faire une demande de passage en CTI.
Cours magistraux (CM):
  • Les séances auront lieu sur Zoom (lien sur iCampus), en synchrone. Les étudiants seront invités à allumer leur caméra.
  • L'essentiel du cours se fera grâce à un tableau partagé, dont une copie sera disponible après la séance sur cette page.
  • À l'occasion, des diapos ou des exempliers seront utilisés, ils seront alors disponibles dès le début du cours sur cette page.
  • Les séances seront constituées de 3 séquences de 20 à 25' chacune, plusieurs séquences séparées par des pauses.
  • Les séances ne seront pas enregistrées
Travaux Dirigés (TD):
  • Les séances auront lieu sur Zoom ou Classilio (lien sur iCampus), en synchrone. Les étudiants seront invités à allumer leur caméra.
  • Selon les possibilités techniques, on utilisera un tableau/document partagé.
  • Les participants doivent être préparés à partager leur écran ou à dicter leur réponse à l'enseignant.
  • On pourra aussi procéder à des travaux en petits groupes pendant la séance.
  • La participation aux travaux dirigés sera sanctionnée par une note de participation.
Caméra (webcam) Suite aux diverses expériences d'enseignement à distance des deux derniers semestres, et influencé par divers retours d'étudiants, j'ai décidé pour le présent semestre de demander à tous les participants au cours (cours magistraux et travaux dirigés) d'allumer leur caméra. Je suis convaincu que, sans compenser totalement la dégradation induite par la distance, cette contrainte apporte une importante valeur ajoutée aux enseignements.
Au premier semestre, j'ai déjà recommandé l'usage des caméras; mais malgré mes demandes, les cours se terminaient invariablement avec une toute petite poignée de caméras allumées, ce qui finissait par mettre les étudiants encore visibles dans une position désagréable.
⊗ Pour celles et ceux qui ont des inquiétudes sur la mise au jour de leur vie privée, je rappelle qu'il est possible d'utiliser des fonds d'écrans qui rendent l'arrière plan invisible. Cette fonctionnalité est disponible avec Zoom. Il est possible aussi de limiter la visibilité de l'arrière plan en jouant sur l'éclairage.
⊗ Pour celles et ceux qui ont des inquiétudes sur la bande passante, outre le fait que Zoom gère relativement bien les variations de débit, il est possible de passer la caméra en basse définition, d'utiliser un fond virtuel, ou d'utiliser Zoom sur son téléphone.
⊗ Pour les personnes qui ne disposeraient pas de caméra USB, je rappelle qu'il est possible d'utiliser la caméra de son téléphone (quitte à faire deux connexions pour conserver une connexion sur l'ordinateur). On trouve par ailleurs des caméras USB à 20 euros qui offrent un service satisfaisant.
⊗ Pour les personnes qui ne sont pas correctement équipées sur le plan informatique ou pour l'accès à Internet, l'université dispose de quelques possibilités d'aide, que vous trouverez sur cette page.
⊕ Les personnes qui sont dans l'incapacité de participer aux enseignements dans les conditions indiquées ci-dessus sont priées de se mettre en contact avec moi sans délai pour que nous élaborions ensemble la meilleure adaptation.
Un post de blog qui me semble très avisé.
Archives 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) La note finale sera calculée en prenant en compte:
  • Deux notes obtenues lors de brefs questionnaires sur iCampus organisés en début de séance (25% chaque),
  • Une note obtenue en examen final, organisé en présentiel au cours de la dernière semaine (40%)
  • Une ou plusieurs notes de participation, comptant pour 10%.
Organisation (quizzes) Les quizzes organisés en début de séance sont ouverts à l'heure du début (16h) et durent 15' (20' pour les personnes bénéficiant d'un tiers-temps). On peut commencer le quizz jusqu'à 16h05 sans perte de durée; au delà on peut commencer le quizz mais le temps total est réduit. Il s'agit de 2 à 4 questions brèves (de type QCM ou assimilé), et les réponses erronnées apportent des points négatifs.
Il est permis de consulter tous les documents que vous souhaitez pendant l'épreuve, mais toute communication sous quelque forme que ce soit entre les étudiants est interdite: le travail soumis à évaluation est un travail personnel et individuel. Les personnes qui contreviennent à ces règles, même de façon passive, seront systématiquement sanctionnées (un passage en conseil de discipline peut aller jusqu'à l'exclusion définitive de tout établissement public d'enseignement supérieur ; toute sanction disciplinaire pour fraude entraîne la nullité de la session d'examen, et l'incapacité pour la personne sanctionnée de valider son semestre).
  • Pendant la durée de l'épreuve, la réunion Zoom habituelle sera active, et il sera donc possible de poser des questions aux enseignants.
  • Le cours en lui-même reprend à 16h25, pour offrir une courte pause.
  • En cas de difficulté matérielle (réseau/ordinateur) prendre des copies d'écran et les envoyer immédiatement par mail, éventuellement avec les réponses.
Organisation (exam) L'épreuve finale est organisée de la même manière que les quizzes. Le test sera disponible sur iCampus à 16h, il dure 90 minutes (sauf tiers-temps). On peut commencer jusqu'à 15 minutes en retard sans que le temps total soit réduit. L'épreuve est constituée d'une série de 15 exercices. Le barême et le temps indicatif à consacrer à chaque exercice sont indiqués dans l'énoncé. Il n'est pas possible de revenir en arrière au cours de l'épreuve, cette décision a été prise suite à des fraudes pendant le 1er semestre.
Il est permis de consulter tous les documents que vous souhaitez pendant l'épreuve, mais toute communication sous quelque forme que ce soit entre les étudiants est interdite: le travail soumis à évaluation est un travail personnel et individuel. Les personnes qui contreviennent à ces règles, même de façon passive, seront systématiquement sanctionnées (un passage en conseil de discipline peut aller jusqu'à l'exclusion définitive de tout établissement public d'enseignement supérieur ; toute sanction disciplinaire pour fraude entraîne la nullité de la session d'examen, et l'incapacité pour la personne sanctionnée de valider son semestre).
  • Pendant la durée de l'épreuve, la réunion Zoom habituelle sera active, et il sera donc possible de poser des questions aux enseignants.
  • En cas de difficulté matérielle (réseau/ordinateur) prendre des copies d'écran et les envoyer immédiatement par mail, éventuellement avec les réponses que vous n'avez pas pu transmettre.
Modalités (CTI) Pour les étudiants en contrôle terminal intégré, l'épreuve sera constituée par un oral organisé pendant les deux premières semaines de mai 2021 ou pendant la dernière semaine de cours selon la situation. le vendredi 30 avril au matin.
Préparation Pour les étudiantes désirant se préparer au mieux aux épreuves: en plus du polycopié mentionné plus bas (section « Pointeurs ») et des annales évoquées plus haut (rubrique « Archives » dans la section « Généralités »), nous avons mis en place un forum Discord (téléchargeable sur toutes les plate-formes, mais utilisable aussi avec un navigateur) sur lequel nous vous invitons à poser vos questions. Avec un peu de chance, vos camarades pourront y répondre directement, et nous tâcherons d'y répondre nous-même dans les meilleurs délais. L'invitation au serveur Discord est sur la page iCampus.
Résultats notes (instructions)
corrigé partiel quizz n°2
Rattrapage L'épreuve de rattrapage est planifiée le vendredi 25 juin, à partir de 9h, sous la forme d'une épreuve orale de 15'. Il s'agira d'exercices dans des conditions similaires à celles des TD. Le lien Zoom est donné sur iCampus. Les personnes qui doivent prendre part à l'épreuve de rattrapage doivent me contacter pour confirmer leur prise en compte.

Séances

sem. date type description liens
1 2021-01-25 CM Ch1. Logique des propositions: objets de base copie tableau
2021-01-26/27 TD Logique propositionnelle, objets de base feuille n° 1; avec corrigé
2 2021-02-01 CM Ch1. Logique des propositions: objets de base (suite) plan (partiel) ; copie tableau
2021-02-02/03 TD Logique propositionnelle, connecteurs feuille n° 2; avec corrigé
3 2021-02-08 CM Ch1. Logique des propositions: objets de base (suite) copie tableau
2021-02-09/10 TD Logique propositionnelle, connecteurs fin feuilles n° 1 et 2
4 2021-02-15 CM Ch1. Logique des propositions: syntaxe & sémantique plan du chapitre ; copie tableau
2021-02-16/17 TD Logique propositionnelle, syntaxe feuille n° 4 ; avec corrigé
  2021-02-22 CM Pas de séance (réussite à l'université)
2021-02-23/24 TD
5 2021-03-01 CM Quizz n°1
Ch1. Logique des propositions: sémantique 		plan du chapitre (rappel) ; copie tableau
2021-03-02/03 TD Logique propositionnelle, tables de vérité feuille n° 5; avec corrigé nouvelle version; trace TD gr. 3
6 2021-03-08 CM Ch1. Logique des propositions: relations logiques à propos du barème ; copie tableau
2021-03-09/10 TD Logique propositionnelle, relations logiques feuille n° 6; avec corrigé
7 2021-03-15 CM Ch1. Logique des propositions: syllogismes petit rappel ; copie tableau
2021-03-16/17 TD Logique propositionnelle, raisonnements feuille n° 7; avec corrigé
8 2021-03-22 CM Ch2. Logique des prédicats: objets de base plan du chapitre, poly annoté
2021-03-23/24 TD Logique des prédicats, traduction feuille n° 8; avec corrigé
9 2021-03-29 CM Quizz n°2
Ch2. Logique des prédicats: quantification restreinte, syntaxe 		poly annoté
2021-03-30/31 TD Logique des prédicats, traduction feuille n° 9 ; avec corrigé
10 2021-04-05 CM Pas de séance (lundi de Pâques)
2021-04-06/07 TD Logique des prédicats, quantification (multiple) suite de la feuille n° 9 (avec corrigé)
11 2021-04-12 CM Ch2. Logique des prédicats: syntaxe & propriétés poly: notes de cours; équivalences remarquables
2021-04-03/14 TD Logique des prédicats: quantification et donkey sentences feuille n° 11 ; avec corrigé (3 premières questions) ; corrigé succinct q4
  2021-04-19 CM Pas de séance (vacances de printemps)
2021-04-20/21 TD
12 2021-04-26 CM Devoir sur table: dernière épreuve du contrôle continu.
2021-04-27/28 TD correction devoir sur table; questions

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.