Joseph Fraser Thomson'i teoreem ja valetaja paradoks

Joseph Fraser Thomson'i teoreem ja valetaja paradoks 

Karmo Talts 

 

Rakendame Joseph Fraser Thomson'i teoreemi väidetele, mis väidavad kõigi väidete, mis väidavad enda väärust, tõesust. Ei leidu x-i, mis väidab iga y-i, mis väidab enda väärust, tõesust.

Eeldame nüüd, et x ja y on identsed. Ei leidu väidet, mis väidab iga iseenda väärust, tõesust.

Vaatame nüüd valetajalauset. Kui oleks olemas valetajalause väljendatav propositsioon, siis see väidaks iga iseenda, mis väidab enda väärust, tõesust. Seega pole olemas propositsiooni, mida valetajalause väljendaks.

Analoogia habemaajaja paradoksi ja Nelson Grellingi paradoksi vahel

Analoogia habemeajaja paradoksi ja Nelson Grellingi paradoksi vahel

Karmo Talts 

 

Vaatame analoogiat habemeajaja paradoksi ja Nelson Grellingi paradoksi vahel. Habemeajaja ajab nende meeste habet, kes iseenda habet ei aja ja heteroloogilisuse mõiste käib nende mõistete kohta, mis iseenda kohta ei käi.

Vaatame nüüd, kuhu viib habemeajaja paradoksi lahenduse kohandamine Nelson Grellingi paradoksile. Sellist habemeajajat, kes ajab ainult meeste, kes enda habeti ei aja, habet, pole olemas. Analoogse lahenduse järgi pole olemas ka heteroloogilisuse mõistet.