Väidete ja nende väidete nimede kohta käivate väidete konjunktsioonid ja valetaja paradoks

Väidete ja nende väidete nimede kohta käivate väidete konjunktsioonid ja valetaja paradoks

Karmo Talts

 

Vaatame selle tähendust, et X ja väide, et X on Y-i nimi, pole üks ja sama väide. Selleks, et eeldada valetajalause tõesust, peame me eeldama kahe väite, väite X on väite X on väär nimi ja X-i ,tõesust, sest esimese väite vääruse korral pole X-i puhul tegemist valetajalausega.

Eeldame nüüd väite X on väite X on väär nimi ja X-i konjunktsiooni. Sellest järeldub, et X on korraga tõene ja väär, st. vasturääkivus.

Toome nüüd sisse väite X on väite X on väär nimi ja X-i konjunktsiooni eituse.

Vaatame nüüd selle eitusega ekvivalentset disjunktsiooni. Pole nii et, väide X on väite X on väär nimi või pole nii, et X. St., vähemalt üks neist kahest väitest on väär.