Väidete nimed ja piirang lausemuutujate kasutamisele

Väidete nimed ja piirang lausemuutujate kasutamisele 

Karmo Talts

Sõnastame järgmise piirangu lausemuutujate kasutamisele: lausemuutujatega võib asendada väiteid, mis ei kasuta väidete nimesid, väiteid, mis viitavad väidetele, mis ei sisalda väidete nimesid jne.
Vaatame nüüd valetaja paradoksi. X:X on väär omistab nime väitele X on väär, väide X on väär viitab väitele, mis viitab väitele X on väär jne., ilma et tekkinud ahelal oleks viimaseks lüliks väide, mis ei kasuta väidete nimesid. Seega ei tohi ei X-i ega X on väära asendada lausemuutujaga ja neist ei saa järeldusi teha.
Vaatame nüüd valetaja tsüklit. X:Y on väär viitab väitele Y:X on tõene, mis viitab väitele X jne., ilma et tekkinud ahelal oleks viimaseks lüliks väide, mis ei kasuta väidete nimesid. Seega ei tohi kumbagi valetajatsükli väidet asendada lausemuutujaga ja neist ei saa järeldusi teha.
Vaatame nüüd Curry paradoksi. C:kui C, siis absurdsus omistab nime väitele kui C, siis absurdsus, mis viitab väitele C jne., ilma et tekkinud ahelal oleks viimaseks lüliks väide, mis ei kasuta väidete nimesid. Seega ei tohi ei C-d ega kui C, siis absurdsus-t asendada lausemuutujaga ja neist ei saa järeldusi teha.

Vaatame nüüd Yablo tsüklit. Yablo tsüklis pole ühtegi väidet, mis ei kasutaks väidete nimesid. Seega ei saa Yablo tsükli väiteid  asendada lausemuutujaga ja neist ei saa järeldusi teha.