Tõeste väidete ja väärade väidete nimed ning järeldamine

Tõeste väidete ja väärade väidete nimed ning järeldamine

Karmo Talts

 

Võtame kasutusele predikaadid Tõese väite nimi ja Väära väite nimi. X on tõese väite nimi parajasti siis, kui Y ja X on Y-i nimi ja X on väära väite nimi parajasti siis, kui pole nii, et Y ja X on Y-i nimi.
Vaatame nüüd, kuidas me tavaliselt käsitleme X-i ja Y-i Y-st tulenevate järelduste suhet. Ükskõik, kas X on tõese väite Y nimi või on X väära väite Y nimi, X-ist järelduvad need samad järeldused, mis Y-ist. Lihtsalt siis, kui X on väära väite Y nimi, pole nende järelduste tõesus tagatud.

Vaatame kuhu see käsitlus meid viib. Patoloogilistel juhtudel võib see viia paradoksini.
Sõnastame nüüd nõrgema käsitluse. Kui X on tõese väite Y nimi, siis järelduvad X-ist need samad järeldused, mis Y-ist. Kui X on väära väite Y nimi, siis ei järeldu X-ist midagi.
Vaatame nüüd valetaja paradoksi. Kui X on väite "X on väär" nimi ja väide "X on väär" on tõene, siis järeldub X-ist  vasturääkivus. Kui väide "X on väär" on väär, siis ei järeldu X-ist midagi.