Curry paradoks ja piirang, mis ei luba konditsionaalil, mis on iseenda eeldus, olla tühjalt tõene

Curry paradoks ja piirang, mis ei luba konditsionaalil, mis on iseenda eeldus, olla tühjalt tõene 

Karmo Talts

 

Vaatame Curry lausega ekvivalentset disjunktsiooni. Curry lause on väär või on absurdsus tõene.  St. et Curry lause tõesuseks piisab sellest, kui Curry lause on väär.

Vaatame nüüd Curry lause väärust teisest küljest. Curry lause on iseenda eeldus ja väära eeldusega konditsionaal on tühjalt tõene.

Sõnastame nüüd piirangu: kui konditsionaal on iseenda eeldus, siis pole väära eeldusega konditsionaal mitte tühjalt tõene, vaid on väär.

Modifitseerime nüüd materiaalset konditsionaali vastavalt. P on väär ja P pole ekvivalentne disjunktsiooniga P on väär või Q on tõene või Q on tõene.