Marqueurs de modalité épistémique et calcul des valeurs modales : sémantique de savoir que

International audienceThe semantics of French constructions with « savoir que » has been studied in detail within a formal semantic framework founded on epistemic modal logic. Recently, axioms of epistemic logic have themselves received an epistemological interpretation. We show that these axioms with their epistemological interpretation cannot be adopted in a linguistic perspective. So we propose a new formal analysis of these structures.La sémantique des constructions en « savoir que p » a fait l’objet d’analyses précises en sémantique formelle, qui s’appuient sur la logique épistémique. Les axiomes de la logique épistémique ont eux-mêmes reçu récemment une interprétation dans le cadre de la philosophie de la connaissance. On montre cependant que ces axiomes, ainsi compris, ne peuvent être repris tels quels dans une perspective linguistique, et on propose un dispositif sémantique alternatif