Noodzaak, in logica en metafysica, een modale eigenschap van een ware propositie waarbij het niet mogelijk is dat de propositie onwaar is en van een valse propositie waarbij het niet mogelijk is dat de propositie waar is. Een voorstel is logisch noodzakelijk als het een wet van logica concretiseert of kan worden gedaan om een wet van logica te concretiseren door vervanging van definitie-equivalente termen. Voorbeelden zijn "Het regent nu of het regent nu niet" en "Alle vrouwen zijn mensen" (ervan uitgaande dat "vrouwen" kunnen worden vervangen door "vrouwelijke mensen"). In alle mogelijke werelden wordt soms gezegd dat noodzakelijke stellingen waar of onwaar zijn (naargelang het geval). Een voorwaardelijk waar of onwaar voorstel is dus er een dat in sommige mogelijke werelden waar is en in andere onwaar (bijv. "Frankrijk is een democratie"). Volgens een traditionele opvatting zijn alle werkelijk noodzakelijke stellingen analytisch (tautoloog) en a priori kenbaar (onafhankelijk van ervaring te kennen). Sommige filosofen herkennen een tweede categorie van "metafysisch" noodzakelijke stellingen die niet analytisch zijn en in het algemeen niet a priori; voorbeelden zijn onder meer identiteitsvermeldingen zoals 'Water is H2 uur. '
epistemologie: Noodzakelijke en voorwaardelijke stellingen
'Een propositie zou nodig zijn als ze in alle logisch mogelijke omstandigheden of voorwaarden geldt (is waar). 'Alle mannen zijn dat
