Konditsionaal, mille eelduseks on, et saabus homne päev, ja homne merelahing

Konditsionaal, mille eelduseks on, et saabus homne päev,  ja homne merelahing

Karmo Talts

Vaatame selle tähendust, et homne merelahing toimub või jääb toimumata siis, kui saabub homne päev. Väide homse merelahingu kohta pole diskjunktsioon, vaid konditsionaal, mille järelduseks on disjunktsioon
Vaatame nüüd konditsionaali "kui saabub homne päev, siis toimub merelahing või ei toimu merelahing". Homme on see väide tõene sellepärast, et nii eeldus "saabus homne päev" kui ka järeldus "toimub merelahing või ei toimu merelahing" on tõesed.
Vaatame nüüd selle konditsionaali tõeväärtust täna. Täna on väide "saabus homne päev" väär. Seega on see konditsionaal tühjalt tõene, mitte ei ole tulevik ette määratud.

Süütute elude päästmise paradoks ja maailma ebaõiglus

Süütute elude päästmise paradoks ja maailma ebaõiglus 

Karmo Talts

Vaatame süütute elude päästmise paradoksi. Mõlema elu päästmata jätmine on kas õiglasem kui üks kõik kumma elu päästmine või on vähemalt sama ebaõiglane.
Vaatame nüüd, millal pole mõlema elu päästmata jätmine kõige õiglasem viis käituda. See on nii siis, kui maailm, kus hävivad mõlemad elud, on ebaõiglane.
Vaatame nüüd olukorda, kus me päästame esimese elu. Maailm, kus me ei saa päästa mõlemat elu on ebaõigalne, mitte ei ole meie tegu ebaõiglane.
Vaatame nüüd olukorda, kus me päästame teise elu. Maailm, kus me ei saa päästa mõlemat elu on ebaõiglane, mitte ei ole meie tegu ebaõiglane.
Vaatame nüüd, mis räägib selle vaate kasuks, et maailm on ebaõiglane, jättes intuitsioonid kõrvale. Kui maailm on ebaõiglane, tekivad meil uued kohustused maailma tulevikus õiglasemaks muuta.
Vaatame nüüd kohustuse maailma muuta teisi aspekte selle kõrval, et meil on kohustus muuta maailma õiglasemaks ja paremaks. Meil on ka kohustus tagada, et meil oleks tulevikus kergemad valikud ja kohustus tagada, et ka tuleviku inimestel oleks kergemad valikud.

Eeldus, et minevik ja tulevik on pelgalt võimalikud

Eeldus, et minevik ja tulevik on pelgalt võimalikud

Karmo Talts 

 

Vaatame aja A seeriat võimaluse, et minevik ja tulevik on võimalikud, mitte tegelikud, seisukohast. Mõned võimalikud maailmad ei saa enam saada tegelikeks, aga ainult osa neist on olnud tegelikud. Neid võimalikke maailmu, mis olid tegelikud ja ei saa enam saada tegelikuks, kutsutakse minevikuks. 

Vaatame nüüd tulevikku.  Meil on komme kutsuda maailmu, mis pole veel saanud tegelikuks, tulevikuks. Kui vähemalt osa neist võimalikest maailmadest, mis ei ole veel saanud tegelikuks, ei pruugi kunagi saada tegelikuks, siis on tulevikust ainsuses rääkimine arusaamatuse tagajärg. 

Selle, mis on tulevikus võimalik, ja tulevikus olemapidava suhe

Selle, millised tulevikud on võimalikud, ja tulevikus olemapidava suhe

Karmo Talts 

 

Analüüsime seda, kas juhul, kui maailm, kus on nii, et Q, on hea, Q võimalikkusest piisab selleks, et lähitulevikus peab olema nii, et Q. Oletame, et tegelikult on nii, et Q ja üheski võimalikkus tulevikus ei ole nii, et Q. Kuigi Q on võimalik ja tegelik  maailm on hea, ei pea lähitulevikus olema nii, et Q, sest muidu peaks teostuma võimatu tulevik. 

Vaade, et tulevikku pole veel olemas ja modaalsused

Vaade, et tulevikku pole veel olemas ja modaalsused 

Karmo Talts

Vaatame arusaama, et tulevikku pole veel olemas, tähtsust modaalsuste jaoks. Mistahes tuleviku ajahetkel t ei saa miski juba olla tõsi, sest mistahes tuleviku ajahetke t pole veel olemas. Seega vajab selline ajafilosoofia multimodaalset käsitlust.
Vaatame nüüd kombineeritud modaalsusi. Ajahetkel t, mis pole veel saabunud, on võimalik,  et väide P on tõene või on võimatu, et P on tõene ja on võimalik, et P on väär või on võimatu, et P on väär. 

Maailma järkjärguline muutumine ja lähitulevikus kehitvad eeldused

Maailma järkjärguline muutumine ja lähitulevikus kehitvad eeldused 

Karmo Talts

Vaatame olevikus kehtivate eelduste ja lähitulevikustulevikus kehtivate eelduste suhet. Kui muutused toimuvad järkjärguliselt, siis tõenäoliselt kehtivad lähitulevikus need eeldused, mis olevikus.
Vaatame nüüd selle tähendust olevikus kehtitavatest eeldustest tulenevate järelduste suhtes. Ka need kehtivad lähitulevikus tõenäoliselt.
Vaatame nüüd, kuidas seda loogiliselt väljendada. Tegemist on mitte-montoonse suhtega "kui P-st järeldub Q ja olevikus P, siis normaaljuhul lähittulevikus Q"

Loogikaseaduste kuju, mis on kooskõlas arusaamaga, et tulevik pole ette määratud

Loogikaseaduste kuju, mis on kooskõlas arusaamaga, et tulevik pole ette määratud
Karmo Talts

Vaatame välistatud kolmanda seaduse kuju, mis on kooskõlas arusaamaga, et tulevik pole ette määratud. On võimalik, et väide on tõene või on võimalik, et väide on väär.
Vaatame nüüd analoogset varianti vasturääkivuse seadusest. Ei saa korraga olla võimalik, et väide on tõene ja olla võimatu, et väide on tõene ja olla korraga võimalik, et väide on väär ja olla võimatu, et väide on väär.