Necessitat, en lògica i metafísica, una propietat modal d'una proposició veritable per la qual no és possible que la proposició sigui falsa i d'una proposició falsa, per la qual cosa no sigui possible que la proposició sigui certa. Una proposició és lògicament necessària si inicia una llei de la lògica o es pot fer per instanciar una llei de la lògica mitjançant la substitució de termes definitivament equivalents. Els exemples són "Està plovent ara o no plou ara" i "Totes les dones són éssers humans" (suposant que "les dones" es puguin substituir per "éssers humans femenins"). De vegades, les proposicions necessàries són veritables o falses (segons el cas) a tots els mons possibles. Una proposició continguda veritable o falsa és, per tant, certa en alguns mons possibles i falsa en d'altres (per exemple, "França és una democràcia"). Segons una visió tradicional, totes les veritables proposicions necessàries són analítiques (tautològiques) i sabudes a priori (sabudes independentment de l’experiència). Alguns filòsofs reconeixen una segona categoria de proposicions necessàries “metafísicament” que no són analítiques i generalment no són a priori; els exemples inclouen declaracions d’identitat com ara “L’aigua és H2 O. ”
epistemologia: proposicions necessàries i contingents
"Es diu que una proposició és necessària si es manté (és certa) en totes les circumstàncies o condicions lògicament possibles. “Tots els marits ho són
