Nécessité, en logique et métaphysique, une propriété modale d'une proposition vraie par laquelle il n'est pas possible que la proposition soit fausse et d'une proposition fausse par laquelle il n'est pas possible que la proposition soit vraie. Une proposition est logiquement nécessaire si elle instancie une loi de logique ou si elle peut être amenée à instancier une loi de logique par substitution de termes équivalents par définition. Les exemples sont «Il pleut maintenant ou il ne pleut pas maintenant» et «Toutes les femmes sont des êtres humains» (en supposant que «les femmes» peuvent être remplacées par «des êtres humains de sexe féminin»). Les propositions nécessaires sont parfois dites vraies ou fausses (selon le cas) dans tous les mondes possibles. Une proposition contingemment vraie ou fausse est donc vraie dans certains mondes possibles et fausse dans d'autres (par exemple, «la France est une démocratie»). Selon une vision traditionnelle,toutes les propositions véritablement nécessaires sont analytiques (tautologues) et connaissables a priori (connaissables indépendamment de l'expérience). Certains philosophes reconnaissent une deuxième catégorie de propositions «métaphysiquement» nécessaires qui ne sont pas analytiques et généralement pas a priori; les exemples incluent des déclarations d'identité telles que «L'eau est H2 O. »
En savoir plus sur ce sujet Epistémologie: propositions nécessaires et contingentes »Une proposition est dite nécessaire si elle tient (est vraie) dans toutes les circonstances ou conditions logiquement possibles. «Tous les maris sont ... Cet article a été récemment révisé et mis à jour par Brian Duignan, rédacteur en chef.
