Koondamise piiramine andmetes oleva vasturääkivuse puhul
Karmo Talts
Piirame koondamise kasutamist juhul, kui andmetes on vasturääkivus. See tähendab, et me saame eeldust P kasutada korduvalt siis, kui meil pole korraga andmeid, et P ja pole nii, et P.
Vaatame nüüd, mida see tähenedab selle jaoks, kui eeldusest P järeldub vasturääkivus. Me ei saa siis eeldust P-d korduvalt kasutada.
Vaatame nüüd, kuidas see suhtub klassikalise eitusesse. Kui pole nii, et P, pole P ühtegi korda kasutatav, rääkimata korduvast kasutamisest. Seega on klassikaline arusaam vasturääkivusest arusaama, et vasturääkivuse puhul andmetes ei saa kasutada koondamist, erijuht.
No comments:
Post a Comment