Une sémantique générale des croyances justifiées

Abstract

Nous proposons une logique épistémique quadrivalente AR4, sur la base d’une sémantique qui définit les valeurs des énoncés en termes de réponses à des questions posées. Les propriétés de ce système sont exposées et in- terprétées dans le cadre d’une épistémologie sociale ; celle-ci comporte une variété d’agents, ainsi qu’un ensemble de relations entre eux. Les notions de justification (forte et faible) et de quasi-vérité sont également revues à la lumière de ce système logique.