Võimalus eitada pardoksaalsete lausete konjunktsiooni ja väidete loomus
Karmo Talts
Vaatame valetajatsükli väidete konjunktsiooni. Sellest järeldub vasturääkivus ja saab sisse tuua selle konjunktsiooni eituse. Seega nii kaua, kuni me paneme valetajatsükli kirja konjunktsiooni kujul, saame me eitada, et valetajatsükkel tervikuna on tõene.
Vaatame nüüd Yablo tsüklit. Kui Yablo tsükli väidete konjunktsioonist saab järeldada vasturääkivuse ja sisse tuua Yablo tsükli väidete konjunktsiooni eituse.
Vaatame nüüd valetajalauset. Ühe järgi tautoloogiaseadustest on väide ekvivalentne iseenda kahe esinemisjuhu konjunktsiooniga. Konjunktsioonist "see väide on väär ja see väide on väär", kus väljend see väide viitab väitele "see väide on väär", järeldub vasturääkivus ja saab sisse tuua eituse "pole nii, et see väide on väär ja see väide on väär".
Vaatame nüüd selle võimalike tähendusi. Tautoloogia "kui on nii, et P, siis P ja P" kehtib, sest P on väide ja väide ei kulu ära kui temast järeldusi teha ja kui P on järelduste tegemiseks saadaval, siis P on korduvalt järelduste tegemiseks saadaval. Kuna valetajalause pole korduvaks järelduste tegemiseks saadaval, siis valetajalause pole tegelikult väide. Samuti ei ole valetajatsükli ja Yablo tsükli laused tegelikult väited.
No comments:
Post a Comment