Absurdi tõestamise ja eituse sissetoomise seos vasturääkivuse seadusega ning paradoksid
Karmo Talts
Vaatame absurdi tõestamist ja eituse sissetoomist. Need teoreemid eeldavad vasturääkivuse seadust, sest kui vasturääkivused on lubatud, siis sellest, et väite eitusest järeldub vasturääkivus, järeldub disjunktsioon on nii nagu väide ütleb või väide on vasturääkiv ja sellest, et väitest järeldub vasturääkivus järeldub disjunktsioon pole nii nagu väide ütleb või väide on vasturääkiv.
Vaatame nüüd valetajalauset vasturääkivuste lubamise korral. Kui valetajalause on tõene, siis on valetajalause tõene ja väär. Seega järeldub eeldusest "valetajalause on tõene" vasturääkivus. Seega valetajalause pole tõene või valetajalause on vasturääkiv. Kui valetajalause on väär, siis on valetajalause tõene ja väär. Seega järeldub eeldusest "valetajalause on väär" vasturääkivus. Seega valetajalause pole väär või valetajalause on vasturääkiv.
Vaatame nüüd selle tähendust. Kui me lubame vasturääkivusi, siis me ei saa enam tõestada, et valetajalause on korraga tõene ja väär. Seega juhul, kui me lubame vasturääkivusi, pole valetajalause tõeväärtus teada.
No comments:
Post a Comment