===== 49ME04LF - Sémantique =====


==== Objectifs et contenu principal ====

Introduction aux composantes de base d’une analyse sémantique formelle.

  * La sémantique, le sens, sens des phrases et vérité,
  * Compositionnalité et connecteurs
  * La phrase simple, fonction de vérité, prédicats, arguments et individus
  * La quantification
  * L’interprétation dans un modèle
  * La composition dans la phrase et le type sémantique
  * La composition, l’entrée lexicale et les expressions lambda
  * La modification
  * La définitude, les articles
  * Quantification généralisée


==== Informations historiques ====