Vasturääkivuse seadus ja väidete nimed
Karmo Talts
Vaatame, kas vasturääkivuse seadus kehtib kujul "ükski X-i nimeline väide ei saa korraga olla tõene ja väär". Kuna suur osa paradokse on seotud just väidetele viitamisega, siis võib selles kahelda.
Sõnastame nüüd vasturääkivuse seaduse kujul "kui nimi X on väite P nimi ja P pole ekvivalentne X-i eitusega, siis pole X korraga tõene ja väär".
Sõnastame nüüd eituse sissetoomise. Kui X on P nimi ja P pole ekvivalentne X-i eitusega, siis juhul, kui X-ist järeldub vasturääkivus, on X väär.
No comments:
Post a Comment