L'interaction des notions modales et temporelles dans un cadre formel

constitue un champ difficile à aborder sans connaissance préliminaire des

outils manipulant les mondes possibles. Cet ouvrage comble ce manque, en

introduisant, pour la première fois en langue française, les systèmes formels

issus de la logique modale et utilisés en linguistique. Différents cadres théoriques

sont présentés, et notamment l'approche Kratzerienne et la théorie

du temps branchant. La discussion des théories modales est menée à travers

le prisme du langage naturel et la notion, centrale dans cet ouvrage, de sens

vériconditionnel est mise à l'épreuve des données. Au fil des chapitres, les

notions théoriques sont abordées via une étude de cas, permettant de traiter

de nombreuses questions autour des modalités déontique, de capacité

et épistémique, en interaction avec le temps. La discussion, qui articule

l'empirique et le formel, ne présuppose aucune connaissance formelle préliminaire.

Ce livre s'adresse ainsi aussi bien à un public étudiant, qu'aux

chercheurs en linguistique, en philosophie ou en sciences cognitives.