Logique modale

La logique modale est une extension de la logique qui prend en compte les modalités, c'est-à-dire les manières dont une proposition peut être vraie. Au-delà du simple vrai ou faux, elle distingue ce qui est nécessaire, qui ne peut pas être autrement, ce qui est possible, qui pourrait être, et ce qui est contingent, qui est mais aurait pu ne pas être.

Elle formalise des raisonnements que la logique classique ne saisit pas, comme « il est possible que » ou « il est nécessaire que ». On l'analyse souvent à l'aide de la notion de « mondes possibles », esquissée par Leibniz puis reprise par la philosophie contemporaine : une proposition est nécessaire si elle est vraie dans tous les mondes possibles, et possible si elle l'est dans au moins un. La logique modale irrigue aujourd'hui la métaphysique, l'informatique et la linguistique.