Mahdottomuus (logiikka)

Mahdottomuus on logiikan käsite, mahdollisuuden vastakohta. Propositio on mahdoton, jos se ei olisi voinut olla tosi. Tällaisia ovat esimerkiksi loogisesti ristiriitaiset propositiot, jotka rikkovat esimerkiksi ristiriidan lakia tai kolmannen poissuljetun lakia. Modaalilogiikassa tämä voidaan ilmaista mahdollisten maailmojen avulla niin, että propositio on mahdoton, mikäli se ei ole tosi missään mahdollisessa maailmassa.

Tutkijat ovat kehittäneet myös mahdottomien maailmojen käsitteen. Mahdottomassa maailmassa on sellaisia tosia propositioita (esimerkiksi joku loogisesti mahdoton propositio), jotka eivät olisi voineet olla tosia missään mahdollisessa maailmassa. Näin normaalit logiikan lait eivät välttämättä päde mahdottomissa maailmoissa.

Lähteet

Luokka:Filosofian termit
Luokka:Modaalilogiikka