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.[1]
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
Lähteet
