See, millal tekib vasturääkivus staatilist seisundit kirjeldatavate väidete ja millal dünaamilist muutumist kirjeldavate väide puhul
Karmo Talts
Vaatame selle tähendust, et vasturääkivuse seadus kasutab sõna "olema". Vasturääkivuse seadus kirjeldab seda, millal tekib vasturääkivus staatilist seisundit kirjeldavate väidete puhul.
Sõnastame nüüd vasturääkivuse seaduse dünaamilist muutumist kirjeldavate väidete jaoks. Väide ei saa muutuda vääraks, jäädes tõeseks ja muutuda tõeseks, jäädes vääraks, muidu tekib vasturääkivus.
Võtame nüüd seda, et vasturääkivus võib tekkida nii staatilist seisundit, kui ka dünaamilist muutumust kirjeldavate väidete puhul, eituse sissetoomise puhul arvesse. Kui väitest järeldub vasturääkivus, siis väide on väär või väide muutub vääraks (ja lakkab olemast tõene).
Vaatame nüüd võimalusi sellist eituse sissetoomist formaliseerida. "Kui P-st järeldub vasturääkivus ja me saame kasutada koondamist, siis pole nii, et P", kus "kui... siis..." on materiaalne konditsionaal. "Kui P-st järeldub vasturääkivus ja me ei saa kasutada koondamist, siis pole nii, et P", kus "kui... siis..." on lineaarne implikatsioon.
No comments:
Post a Comment