Veel valetaja paradoksist

 

Veel valetaja paradoksist 

Karmo Talts

 

Käsitleme väidetele nime andmist tehtena.

Vaatame nüüd nime sissetoomist. Kuna nimetatav väide ei pea olema tõene, siis võib tehte, et X on Y-i nimi, sisse tuua, nii juhul, kui Y on tõene, kui ka juhul kui Y on väär.

Vaatame nüüd, kas on võimalik sõnastada enesele viitavaid väiteid. Kui tehte X on Y-i nimi sissetoomine eeldab, et leidub väide Y, millest nimi X sisse tuuakse, siis puudub väide, millest sisse tuua, et X on X-i nimi.

Vaatame nüüd väidetest, mis viitavad väidetele, ahela moodustamist. Selleks, et anda nimi esimesele väitele, mis annab ise nime mõnele väitele, on vaja, et leiduks väide, mis ei anna mõnele väitele nime ja millele annab nime esimene väide, mis annab nime mõnele väitele. Seega ei saa moodustada paradoksaalset väidete ahelat.