Persistent Truths

Résumé En Fr

In the semantics presented here a first-order model M is considered in association with the set M of its submodels (in a particular sense of the term). In this way an epistemic subject s, for instance, can be represented as an agent located inside the structure M, thanks to a function which assigns to s one of those submodels. The usual first-order sentences are evaluated with respect to M, and this reference to a standard model allows us to preserve classical logic. But, to evaluate other crucial sentences (attitude reports, here, but also statements with indexical terms and modal operators in a generalized version), M refers to the relevant partial submodel in M. Now, according to a possible interpretation of this picture, these submodels can be assimilated to segments of information about M : about a particular state of the world, in intuitive terms. For an agent s, moving through this system would be tantamount to acquiring different pieces of evidence. Gettier's problem is used here as a (partial) criterion of adequacy for epistemic logics.

Vérités persistantes Dans la sémantique présentée ici, un modèle de premier ordre M est associé à l'ensemble M de ses sous-modèles (dans un sens particulier du terme). De cette manière, un sujet épistémique s peut être représenté comme un agent situé à l'intérieur de la structure M, grâce à une fonction qui assigne à s un de ces sous-modèles. Les propositions usuelles du premier ordre sont évaluées par rapport à M, et cette référence à un modèle standard permet de préserver la logique classique. Mais pour évaluer d'autres types de propositions (ici, d'attitudes propositionnelles, mais aussi des énoncés indexicaux ou comportant des opérateurs modaux, dans une version généralisée), M renvoie au sous-modèle partiel pertinent dans M. Or, selon une interprétation de ce schéma, ces sous-modèles peuvent être assimilés à des segments d'information sur M : d'une façon intuitive, sur un état particulier du monde. Pour un agent s, se déplacer à travers ce système reviendrait à acquérir différents arguments. Le problème de Gettier est utilisé ici comme un critère (partiel) d'adéquation des logiques épistémiques.