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.[1][2]

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.[2]

LähteetMuokkaa

  1. Blackburn, Simon: ”Impossibility”, The Oxford Dictionary of Philosophy. Oxford: Oxford University Press, 1994.
  2. a b Berto, Francesco: Impossible Worlds The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab. Stanford University. Viitattu 14.1.2015. (englanniksi)