Est contingent ce qui peut être autrement ou ne pas être. Est nécessaire ce qui ne peut pas être autrement ou ne pas être. Un nombre peut ne pas être pair. La parité est une propriété contingente des nombres. Mais un multiple de deux est nécessairement un nombre pair.
On ne confondra pas la nécessité, qui est une modalité logique forte, avec l’indispensable, qui est une catégorie pratique. Ce qui est indispensable est d’une nécessité toute relative aux besoins humains et n’a pas le degré de nécessité d’une vérité mathématique ou logique.
Établir la nécessité d’une proposition, c’est montrer que la proposition contraire implique contradiction, c’est exclure la possibilité d’une exception. Est nécessaire non pas simplement ce qui est vrai en fait, mais ce qui n’aurait pu être autre qu’il n’est. Plus précisément, on distinguera une nécessité valable dans tous les mondes possibles (nécessité absolue) et une nécessité relative aux lois d’un monde donné (nécessité physique).
