Naiivne arusaam teise väite nime kasutava väite ja nimetatava väite tõeväärtuse suhetest ning paradoksid

Naiivne arusaam teise väite nime kasutava väite ja nimetatava väite tõeväärtuse suhetest ning paradoksid 

Karmo Talts

Vaatame naiivset arusaama väite Y, mille nimi on X, tõeväärtuse suhtest X-i tõeväärtusega. Kui X on tõene, siis Y on tõene ja kui X on väär, siis Y on väär.
Vaatame nüüd naiivset käsitlust valetajalausest. Kui X on tõene, siis väide "X on väär" on tõene ja kui X on väär, siis on väide "X on väär" väär. St., et naiivne käsitlus muudab valetajalause paradoksaalseks.
Vaatame nüüd Curry lauset. Kui C on tõene, siis on konditsionaal "kui C on tõene, siis on absurdsus tõene" tõene ja kui C on väär, siis on konditsionaal "kui C on tõene, siis on absurdsus tõene" väär. See käsitlus muudab Curry lause ennast tõestavaks.
Sõnastame nüüd uue arusaama. Kui X tõeväärtus on kindlaks tehtav, siis juhul, kui X on tõene, on Y tõene ja juhul kui X on väär, on Y väär.
Vaatame nüüd X-i tõeväärtuse kindlaks tegemist. Kui me saame X-i asendamisel väitega, mille nimi X on, väite, mis ei kasuta nimesid, siis me saame kindlaks teha selle tõeväärtuse. Kui me saame X-i asendamisel nimesid kasutava väite, siis me võime selles nimed asendada. Jne. Kui nimede asendamisega väidete ahelas on võimalik jõuda väiteni, mis ei kasuta nimesid, siis me saame kindlaks teha selle väite tõeväärtuse.