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