Identsus ajas ja objektide omaduste kokku langemine erinevatel ajahetkedel
Karmo Talts
Vaatame identsust ajas predikaatloogika seisukohast. Kuigi me saame väljendada konkreetse objekti identsust konstandi identsuse abil iseendaga või muutujaid kasutavate konstruktsioonide abil, siis klassikaline predikaatloogika ei võimalda vahet teha objekti predikaatide vahel erinevatel ajahetkedel.
Vaatame nüüd loogikaid, mis lubavad erinevatel ajahetkedel olla tõene erinevatel väidetel. Kuigi sellised loogikad lubavad meil öelda, et ühel ajahetkel on konkreetsel objektil predikaat P ja teisel ajahetkel pole sellel objektil predikaati P, siis jääb küsimus, mida tähendab see, et muutuvate omadustega objekt on üks ja see sama objekt.
Vaatame nüüd muutumist lähemalt. Kui ajahetkel t ja vahetult ajahetke t järel erinevad ühe ja selle sama objekti omadused veidi, siis selle objekti omadused hetkel t langevad kokku selle objekti omadustega hetkel t ja selle objekti omadused vahetult t järel langevad kokku selle objekti omadustega vahetult t järel. Seega on kaks objekti x ja y identsed siis, kui ei leidu ühtegi ajahetke, mil leidub x-i ja ei leidu y-t või vastupidi ja ei leidu ühtegi ajahetke, mil x-il on predikaat P ja y-il puudub predikaat P või vastupidi.