La distinction en une formule

Contingent : ce qui peut être autrement (ou ne pas être). Nécessaire : ce qui ne peut pas être autrement. Possible : ce qui n'implique pas contradiction.

Origine philosophique

Aristote distingue déjà les trois modalités dans l'Organon. Leibniz : les vérités nécessaires (logique, mathématiques) sont vraies dans tous les mondes possibles ; les vérités contingentes ne sont vraies que dans ce monde-ci. Hume : l'expérience ne fournit jamais de nécessité. Kant : la nécessité est une catégorie a priori de l'entendement.

Exemples canoniques

Pièges et confusions

Sujets décisifs