Contingence et nécessité
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.
ExempleUn 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.
Distinction entre nécessité et indispensable
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
É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.
Types de nécessité
Plus précisément, on distinguera :
- Une nécessité absolue : valable dans tous les mondes possibles
- Une nécessité physique : relative aux lois d'un monde donné