Veel valetaja paradoksist
Karmo Talts
Vaatame, mis järeldub sellest, et valetajalausest järeldub vasturääkivus. Eitust sisse tuues järeldub sellest valetajalause eitus.
Vaatame nüüd, mis järeldub sellest, et valetajalause eitusest järeldub vasturääkivus. Eitust sisse tuues järeldub sellest valetajalause eituse eitus.
Läheneme nüüd neile järeldustele intuitsionistlikut. Kuna kahekordset eitust ei saa intuitsionistlikus loogikas elimineerida, siis valetajalause eituse eitusest ei järeldu valetajalause jaatus.
Vaatame nüüd selle tähendust. Me ei saa intuitsionistlikult tõestada klassikalist vasturääkivust valetajalause ja valetajalause eituse konjunktsiooni kujul.
No comments:
Post a Comment