Vasturääkivad andmed, kui järelduste tegemiseks kõlbmatu ressurss, ja identsus

Vasturääkivad andmed, kui järelduste tegemiseks kõlbmatu ressurss, ja identsus

Karmo Talts

 

Vaatame, mida tähendab identsuse loogikaseaduseks lugemine eeldustele eelduse, mis mõnele senisele eeldusele vastu räägib, lisamise seisukohast. P tõestab P. P ja P eitus tõestavad P. Mis tähendab, et kui meil on vasturääkivad eeldused P ja P eitus, siis P on järelduste tegemiseks saadaval. (Ilma koondamiseta loogikas on juhul, kui P ja P eitus on mõlemad ühe korra eelduste hulgas, siis on P ühe korra saadaval järelduste tegemiseks.)

Vaatame nüüd võimalusi vasturääkivaid andmeid käsitleda rikutud ressurssidena, mida ei tule kasutada järelduste tegemisel. Normaaljuhul on nii, et kui P, siis P. Kui me nõrgendame eeldusi mõnele olemasolevale eeldusele vasturääkiva eeldusega, siis pole üksteisele vasturääkivad eeldused enam järelduste tegemiseks saadaval.