Nomoloogiline võimatus ja modaalloogika

Nomoloogiline võimatus ja modaalloogika

Karmo Talts

 

Vaatame, mille puhul on tegu väitega „on võimalik, et P” juhul, kui P on kooskõlaline, aga on nomoloogiliselt võimatu, et P. Siis on tegu väära väitega. Seega on modaalloogika teemant tähistabki kooskõlalisust, mitte võimalikkust.

Vaatame nüüd, mida see tähendab võimalike maailmade jaoks. Kuna mõned võimalikud maailmad on nomoloogiliselt võimatud, siis võimalikud maailmad on lihtsalt kooskõlaliste väidete hulgad.

Vaatame nüüd, mida tähendab see läbipääsu jaoks tegelikku maailma ja nomoloogiliselt võimatu maailma vahele. Igasugune läbipääsude omistamine tegeliku maailma ja võimalike maailmade, milles on nii, et P, vahele on väär.

Vaatame nüüd nomoloogiliselt võimatute maalmade ja teiste võimalike maailmade suhet. Kui on nomoloogiliselt võimatu, et P, ei saa nomoloogiliselt võimalik maailm muutuda selliseks, et P. Kuna teised nomoloogilselt võimatud maailmad pole kunagi tegelikud, ei saa nad ka muutuda. Seega ei saa nad ka muutuda sellisteks, et P. Kuna maailm, milles on nii, et P, pole kunagi tegelik, ei saa see ka muutuda. Seega ei ole nomoloogiliselt võimatul maailmal tegelikult läbipääse mitte ühtegi maailma, ei nomoloogilielt võimalikku ega võimatusse. Nomoloogiliselt võimatute maailmade vahelistest läbipääsudest rääkimine on alusetu  fantaseerimine.

Vaatame nüüd selle tähendust modaalloogika jaoks. Me vajame modaalloogikat, kus on modaalsus „nomoloogiliselt võimalik”. Kui ei ole nomoloogiliselt võimalik, et P, siis on kooskõlaline väidete hulk, kuhu kuulub P, nomoloogilselt võimatu maailm ja sellel maailmal pole mingeid läbipääse teistesse maailmadesse. Väited selle kohta, millised läbipääsud on nomoloogiliselt võimalike maailmade vahel, on tõeväärtuslikud väited, mille tõeväärtus sõltub sellest, kuidas maailm, milles on teostunud nomoloogiliselt võimalike asjaolude kombinatsioon x, muutuda saab ja millistel nomoloogiliselt võimalikel asjaoludel maailm saab muutuda selliseks, et selles on teostunud x.