Vasturääkivused andmetes ja nõrgendamise piiramine
Karmo Talts
Vaatame vasturääkivusi sisaldavaid eeldusi. Neist järeldub suvaline järeldus ja selle järelduse tuletamiseks saab kasutada vasturääkivaid eeldussi ennast koos neist eeldustest tulenevate järeldustega. Seega on üks viis vasturääkivustega andmetes toime tulemiseks nõrgendamise piiramine juhul, kui uued eeldused räägivad vanadele vastu.
Vaatame nüüd kõige lihtsamat viisi nõrgendamise piiramiseks. Kui me lisame eeldustele olemasoleva eelduse eituse või eelduse, mille eitus juba sisaldub meie eeldustes, siis me võtame tagasi mõlemast eeldusest tulenevad järeldused.
No comments:
Post a Comment