Väärusepredikaadi vabastamise sidumine võimalusega see sulgeda ja valetaja paradoks

Väärusepredikaadi vabastamise sidumine võimalusega see sulgeda ja valetaja paradoks 

Karmo Talts

Vaatame väärusepredikaadi vabastamist valetaja paradoksi puhul. Kui me eeldame valetajalause tõesust ja tuletame sellest, et on nii nagu valetajalause ütleb ja sellest, et valetajalause on väär, siis me tuletame väite, et valetajalause on väär, ilma vääruse predikaati sulgemata. Seega väärusepredikaati vabastades vabastame me väärusepredikaadi, mida me pole kunagi sulgenudki.
Vaatame nüüd, kuidas seda vältida. Kui me lubame tõe ja väärusepredikaadi vabastamist ainult siis, kui me saame need sulgeda, siis sellest, et on nii, et P, järeldub, et kui P on tõene, siis on nii, et P ja sellest, et pole nii, et P, järeldub, et kui P on väär, siis pole nii, et P.