Välttämättömyys, logiikassa ja metafysiikassa todellisen ehdotuksen modaalinen ominaisuus, jolloin väitteen ei ole mahdollista olla väärää, ja väärän väitteen, jonka mukaan ehdotuksen ei voi olla totta. Ehdotus on loogisesti välttämätön, jos se välittää logiikan lain tai voidaan tehdä logiikan lain välittämiseksi korvaamalla määritelmältään vastaavat termit. Esimerkkejä ovat "Sataa nyt tai ei sataa nyt" ja "Kaikki naiset ovat ihmisiä" (olettaen, että "naiset" voidaan korvata "naisilla ihmisillä"). Tarvittavien ehdotusten sanotaan joskus olevan totta tai vääriä (tapauksen mukaan) kaikissa mahdollisissa maailmoissa. Ehdollisesti totta tai väärä ehdotus on siis totta joissakin mahdolli- sissa maailmoissa ja vääriä toisissa (esim. ”Ranska on demokratia”). Perinteisen näkemyksen mukaan kaikki tosi välttämättömät ehdotukset ovat analyyttisiä (tautologisia) ja tietäviä etukäteen (tunnettavia kokemuksesta riippumatta). Jotkut filosofit tunnustavat toisen luokan ”metafyysisesti” välttämättömät ehdotukset, jotka eivät ole analyyttisiä ja yleensä ole a priori; esimerkkejä ovat identiteettitiedot, kuten ”Vesi on H2 O. ”
epistemologia: Tarvittavat ja ehdolliset ehdotukset
”Ehdotuksen sanotaan olevan välttämätöntä, jos se pitää voimassa (on totta) kaikissa loogisesti mahdollisissa olosuhteissa tai olosuhteissa. ”Kaikki aviomiehet ovat
