Välttämättömyys

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 

Filosofian termit
Modaalilogiikka

pt:Necessidade