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

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

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

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

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

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

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

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

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é.