## [Logique Modale](/fr/node/61329) Définition Une famille de logiques formelles qui étendent les calculs propositionnels ou prédicatifs par des opérateurs modaux (par exemple □ pour la nécessité et ◇ pour la possibilité) afin d'exprimer des modes de vérité relatifs à des points d'un modèle pourvus d'une relation d'accessibilité. ## Principe Principe Introduire des opérateurs modaux qui qualifient la vérité en reliant les points d'évaluation par une sémantique relationnelle (sémantique de Kripke) : □φ est vrai en un monde si et seulement si φ est vraie dans tous les mondes accessibles, et ◇φ s'il existe un monde accessible où φ est vraie. ## Démonstration Démonstration Dans un cadre de Kripke modélisant la connaissance, les mondes représentent les états épistémiques d'agents et la relation d'accessibilité l'indiscernabilité ; □p exprime alors que la proposition p est connue dans tous les états indiscernables, par exemple pour vérifier que toutes les croyances compatibles avec les preuves impliquent p. ## Mauvaise application Mauvaise application Interpréter les opérateurs modaux comme des quantificateurs ordinaires sur les individus (par exemple lire □ comme ∀ du domaine), ce qui élimine la dépendance à la relation d'accessibilité et invalide les inférences modales. ## Conséquence Conséquence Utilisée correctement, la logique modale explicite la dépendance de la vérité à des états alternatifs ou des perspectives, permettant l'analyse formelle de la nécessité, de la possibilité, de la connaissance, de l'obligation et d'autres notions modales dans un cadre sémantique uniforme. ## Inversion Inversion Le renversement correspond à la logique propositionnelle ou prédicative ordinaire sans opérateurs modaux, où la vérité est absolue dans une interprétation fixe et il n'existe pas de notion structurée d'états d'évaluation alternatifs. ## Limite Limite La logique modale, telle que définie ici, suppose une sémantique relationnelle et n'inclut pas en soi l'incertitude quantitative, les durées ou les probabilités sans extensions ; des systèmes modaux précis (K, S4, S5, déontique, épistémique) imposent des axiomes supplémentaires qui modifient les inférences valides. ## Tension sémantique Tension sémantique Elle entre en tension avec les sémantiques quantifiées et les approches non relationnelles (algébriques ou proof-théoriques) ; la tension vient de l'interprétation de □ comme nécessité métaphysique, certitude épistémique, obligation déontique ou opérateur de preuve, chacune imposant des contraintes différentes sur l'accessibilité. ## Synthèse Synthèse La logique modale est le mécanisme formel qui enrichit les calculs classiques par des opérateurs interprétés à travers un réseau de points d'évaluation alternatifs, capturant diverses modalités (nécessité, possibilité, connaissance, obligation) en explicitant la structure de ces alternatives via la relation d'accessibilité.