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