Väära eeldusega konditsionaalide negatiivne käsitlus, paradoksid ja definitsioonid.
Karmo Talts
Vaatame kuidas käitub konditsionaal "kui paradoksaalne väide on tõene, siis ta on väär" väära eeldusega konditsionaalide negatiivse käsitluse (negative vacuism) korral. Selle konditsionaali tõesuse tarvilik tingimus on, et on võimalik, et selle konditsionaali eeldus on tõene. Kui on võimatu, et paradoksaalne väide on tõene, siis ei järeldu paradoksaalsest väitest midagi.
Vaatame nüüd selle tähendust definitsioonide jaoks. Kuna osa paradoksidest on seotud predikaatide ja formaalse keele väidete defineerimisega, siis mõned definitsioonid defineerivad midagi võimatut.
Kommentaare ei ole:
Postita kommentaar