Lubamatu ekvivalentsuse seadus
Karmo Talts
Vaatame järgmist seadust: väide pole ekvivalentne iseenda eitusega. Kuna see seadus ei luba, et korraga X järeldub X-i eitusest ja X-i eitusest järldub X, siis on juhul, kui X on tõene, X-i eitus väär ja juhul, kui X-i eitus on tõene, on X väär. Seega kehtib selle seaduse kehtides ka vasturääkivuse seadus.
Vaatame nüüd paradoksaalseid eneseleviitavaid ja paradoksaalsetesse väidete tsüklitesse kuuluvaid väiteid. Need on iseendaga ekvivalentsed.
Sõastame nüüd sellest lähtudes meie uuritava seaduse põhjenduse: väide ei saa olla ekvivalentne iseenda eitusega, muidu tekib paradoks.
No comments:
Post a Comment