LG 033 : Sémantique (formelle)


Nous étudierons dans ce cours les mécanismes de signification des phrases ou des syntagmes (sémantique non lexicale). Nous nous placerons pour ce faire dans un cadre formel, celui qui nous est fourni par la logique (propositionnelle, prédicative, etc.).

L'objectif est d'aboutir à une bonne maîtrise des concepts et outils de la sémantique formelle, tels qu'ils sont utilisés dans le paradigme de Montague.

Selon le niveau des étudiants, nous consacrerons un volume plus ou moins important aux introductions à la logique (propositionnelle, prédicative). Des lectures seront conseillées dans ce domaine.


Emploi du temps

Horaires : Jeudi, de 14:00 à 15:30
Salle : 4, bât. A (près du RU)
Rythme : Semestriel (S1)
Premier cours Jeudi 05 Octobre 2000

Plan (sommaire et indicatif) du cours

  • Le domaine empirique de la sémantique formelle
  • La pragmatique
  • La logique propositionnelle
  • La logique des prédicats
  • Problèmes de quantification

Contrôles

Modalités
  • Contrôle continu : un devoir sur table début décembre (40%), et une épreuve écrite pendant la session d'examen de janvier-février (60%).
  • Contrôle final : une épreuve écrite pendant la session d'examen de janvier-février (100%).
  • Session de rattrapage : pour tous : une épreuve écrite pendant la session d'examen de septembre (100%).
Calendrier
  • DST n° 1 : jeudi 30 novembre 00.
    Sur table, sans documents, salle habituelle.
  • Contrôle n° 2 & Examen final : 25 janvier 2001, 15h30-18h30, salle RC3.
  • Session de septembre : Jeudi 13 Septembre 2001, 14h00-17h00, salle 105 ilôt Jussieu.

Lectures

Tous les textes sont disponibles dans mon casier à la bibliothèque de l'UFRL (Tour Centrale, 9e étage).

Bibliographie

Pour une bibliographie plus complète, voir la page suivante.
  Mon Sep 10, 2001 Ma maison-page