Nécessité, en logique et en métaphysique, 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 la logique ou peut être faite pour instancier une loi de la logique par substitution de termes définitionnellement équivalents. 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 «les êtres humains féminins»). On dit parfois que les propositions nécessaires sont vraies ou fausses (selon le cas) dans tous les mondes possibles. Une proposition contingemment vraie ou fausse est donc une proposition qui est vraie dans certains mondes possibles et fausse dans d'autres (par exemple, «la France est une démocratie»). Selon une conception traditionnelle, toutes les véritables propositions 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 nécessaires «métaphysiquement» qui ne sont pas analytiques et généralement pas a priori; des exemples comprennent des déclarations d'identité telles que «L'eau est H2 O."
épistémologie: propositions nécessaires et contingentes
«Une proposition est dite nécessaire si elle est (est vraie) dans toutes les circonstances ou conditions logiquement possibles. «Tous les maris sont
