Tühjad tõed ja valetaja paradoks

    Tühjad tõed ja valetaja paradoks

    Karmo Talts

 

Vaatame väidet „väide „lumi on sinine“ on tõene parajasti siis, kui lumi on sinine“ eelduse, et lumi pole sinine, seisukohast. See väide on tühjalt tõene.

Vaatame nüüd väidet „väide „lumi on valge“ on väär parajasti siis, kui lumi pole valge“ eelduse, et lumi on valge, seisukohast. See väide on samuti tühjalt tõene.

Vaatame nüüd selle tähtsust tugevdatud valetaja paradoksi jaoks. Isegi siis, kui väide „see väide pole tõene“ pole tõene, on väide „väide „see väide pole tõene“ on tõene parajasti, siis kui see väide pole tõene“ tõene. See aga viib paradoksaalse tulemuseni.

Vaatame nüüd, mida oleks valetaja paradoksi lahendamiseks vaja. Selleks oleks vaja loogikat, kus väide „P on tõene parajasti siis, kui P“ pole juhul, kui P pole tõene, tõene.