Teoreemid, mille tõestamiseks on vajalik vasturääkivuse seadus, ja parakonsistentne loogika
Karmo Talts
Vaatame ühte võimalust parakonsistentse loogika loomiseks. Mõnede klassikaliste teoreemide, nagu kahekordse eituse sissetoomine, tõestamiseks on vaja vasturääkivuse seadust. Seega saab luua parakonsistentse loogika, asendades need teoreemid konditsionaalidega, mille eelduseks on vasturääkivuse puudumine ja järeldusteks klassikaline teoreem.
No comments:
Post a Comment