Välttämättömyys viittaa johonkin, mikä ei voisi olla toisin. Metafysiikassa ja modaalilogiikassa (looginen) välttämättömyys on yksi modaliteeteista mahdollisen ja kontingentin ohella.
Loogisesti välttämättömän väittämän voi katsoa olevan väittämä, joka ei voisi olla epätotta ilman loogista ristiriitaisuutta. Loogista välttämättömyyttä voidaan analysoida mahdollisten maailmojen avulla. Tällöin jonkin asiantilan välttämättömyys tarkoittaa sitä, että asiantila vallitsee (on totta) kaikissa mahdollisissa maailmoissa.
Katso myös
Kontingenssi, välttämättömyydestä eroava satunnaisuus Mahdolliset maailmat Mahdollisuus Välttämätön ja riittävä ehto
Lähteet
Luokka:Filosofian termit Luokka:Modaalilogiikka
pt:Necessidade