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. Notre 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, qüaux chercheurs en linguistique, en philosophie ou en sciences cognitives.
Alda Mari est Directrice de Recherche au CNRS, à l¿Institut Jean Nicod. Helléniste et sanskritiste, elle est arrivée à la sémantique formelle, par la sémantique computationnelle. Sa première affiliation au CNRS a été Télécom Paris. Elle a également été Visting Scholar à CUNY (New-York) et à l¿Université de Chicago. Ses recherches portent sur la modalité, le temps, la généricité et la pluralité.
Contenu : Introduction aux théories formelles des modaux ¿ introduction à la discussion de l¿interaction entre modalités et temps ¿ étude de l¿articulation entre approche model-théorétiques et données empiriques.