Logique modale

Partie de la logique qui étudie les propositions affectées d'une modalité, c'est-à-dire qui distingue le nécessaire, le possible, le contingent et l'impossible. Aristote en pose les bases en analysant les propositions modales et leurs conversions.