Paradoksaalsete predikaatide definitsioonid ja tõde
Karmo Talts
Vaatame predikaatide, mille definitsioon on paradoksaalne, erinevust nendest predikaatidest, mille definitsioon ei ole paradoksaalne. Mitte-paradoksaalsel juhul ei muuda predikaadi X defineerimine Y-ina Y-i tähendust. Paradoksaalsel juhul X-i defineerimine Y-ina muudab Y-i tähendust.
Vaatame nüüd selle tähendust väidete jaoks. Väide X on tõene või X on väär või X-i defineerimine Y-ina muudab Y-i tähendust.
Vaatame nüüd täiendavat loogikaseadust, mis sellest tuleneb. X-i defineerimine Y-ina ei saa muuta Y tähendust ja samas X olla tõene või väär.
Vaatame nüüd tõde. Kui see, et X on defineeritud Y-ina, ei muuda Y-i tähendust, siis on Y-ina defineeritud X tõene parajasti siis, kui Y.
No comments:
Post a Comment