Ekvivalentsete väidete asendamine mõttekäigus ja paradoksaalsed tuletuskäigud

Ekvivalentsete väidete asendamine mõttekäigus ja paradoksaalsed tuletuskäigud 

Karmo Talts

 

Vaatame selle, et kui mõttekäik kehtib, siis saab kõik väited mõttekäigus asendada nendega ekvivalentsete väidetega, tähendust paradokside jaoks. Kui väide, et valetajalause on tõene on tõesti ekvivalentne väitega, et valatajalause on väär, siis on väide, et valetajalause on tõene, ekvivalentne väitega, et valetajalause on tõene ja väär. Siis saab selle, et valetajalause on väär, tõestuses asendada eelduse, et valetajalause on tõene, eeldusega, et valetajalause on tõene ja valetajalause on väär. Seega algab selle tõestus, et valetajalause on väär, otsese vasturääkivusega ja kas ei kehti või ei ole väide, et valetajalause on tõene ekvivalentne väitega, et valetajalause on väär.