Généralités

CM Mercredi 8h30-10h, salle Brunot
TD Lundi, 16h-17h30, salle Brunot
Mardi, 11h-12h30, salle Brunot
Enseignants Pascal Amsili (CM), Pegah Faghiri (TD)
Lien iCampus Pas de lien iCampus pour ce cours
https://icampus.univ-paris3.fr/course/view.php?id=6295
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 avoir présenté les différentes façons de définir le sens, nous aborderons les relations sémantiques entre les phrases (implication, présupposition, implicature, contradiction, équivalence). Nous nous focaliserons sur l'étude de la sémantique dite « vériconditionnelle » et les différentes représentations formelles que l'on peut en proposer, notamment par recours aux concepts et outils élaborés en logique : le calcul des propositions et le calcul des prédicats.
Programme (indicatif)
  • Chapitre 0 : Introduction (définition et positionnement du champ de la sémantique)
  • Chapitre 1 : Relations sémantiques (et pragmatiques): implication, présupposition, implicatures...
  • Chapitre 2 : Logique des propositions
  • Chapitre 3 : Logique des prédicats

Contrôles

Modalités Deux épreuves sur table (DST). La première à mi-semestre et comptant pour 40%, la seconde à la fin du semestre et comptant pour 60% de la note finale.
Énoncés DST n°1 : énoncé, corrigé
Nouvelles modalités Une épreuve sur table à mi-semestre (portant sur les chapitres 0 et 1), comptant pour 40% (la note sera connue après le 15 mai)
Une épreuve à distance (iCampus) planifiée le 27 avril (portant sur les chapitres 2 et 3), comptant pour 60%.

Séances

sem. date type description liens
1 2020-01-13/14 TD Ambiguïté, relations sémantiques feuille n° 1
2020-01-15 CM Ch0. Introduction diapo n°1
2 2020-01-20/21 TD Relations sémantiques feuille n° 1
2020-01-22 CM Ch1. Relations sémantiques: Généralités ; Conséquence logique diapo n°2
3 2020-01-27/28 TD Relations sémantiques feuille n° 1
2020-01-29 CM Ch1. Relations sémantiques: Présupposition diapo n°3
4 2020-02-03/04 TD Relations sémantiques feuille n° 1
2020-02-05 CM Ch1. Relations sémantiques: Présupposition (fin) & Implicatures diapo n°4
5 2020-02-10/11 TD Relations sémantiques feuille n°2
2020-02-12 CM Ch1. Relations sémantiques: Implicatures (fin)
Ch2. Logique des propositions (déf. propositions)		 diapo n°4
poly
  2020-02-17/18 TD Pas de séance (réussite à l'université)
2020-02-19 CM
6 2020-02-24/25 TD Relations sémantiques feuille n°2
2020-02-26 CM DST n°1 (1h30)
7 2020-03-02/03 TD Logique des propositions feuille n°3
2020-03-04 CM Pas de séance (pour cause de participation au mouvement de grève)
8 2020-03-09/10 TD Logique des propositions (retour sur semaine précédente pour cause d'absentéisme) feuille n°3
2020-03-11 CM Ch2. Logique des propositions (connecteurs, syntaxe, sémantique -- début) poly

Nouvelle organisation suite à l'entrée en confinement du 16 mars 2020

sem. date type description liens
9 2020-03-06/17 TD Logique des propositions
Corrigés : part. 1 (ex 1), part. 2 (ex 2ii), part. 3 (ex 2i),
part. 4 (ex 3), part. 5 (ex 4), part. 6 (ex 5&6) 		feuille n°3
2020-03-18 CM Ch2. Logique des propositions (tables de vérités composites, relations)
Ch3. Logique des prédicats		 séquences vidéo sur iCampus
poly
10 2020-03-23/24 TD Logique des propositions feuille n°3
2020-03-25 CM Ch3. Logique des prédicats poly
11 2020-03-30/31 TD Logique des prédicats
2020-04-01 CM Ch3. Logique des prédicats poly
  2020-04-06/07 TD Pas de séance (vacances scolaires)
2020-04-08 CM
12 2020-04-13/14 TD Logique des prédicats
2020-04-15 CM DST n°2 (1h30)

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

  • L'organisation générale des chapitres d'introduction à la logique se retouve dans ce polycopié
  • Un exposé sur la sémantique formelle (et la pragmatique) donné (en anglais) par la plus grande spécialiste de sémantique au monde, Barbara Partee.