Vasturääkivuse tõlgendus, mille järgi vasturääkivus tõestab järelduse, mis pole tõene
Karmo Talts
Tõlgendame vasturääkivust nii: vasturääkivus tõestab järelduse, mis pole tõene ja tõene järeldus tõestab vasturääkivuse eituse.
Vaatame nüüd rohkem kui kahe tõeväärtusega loogikaid. Vasturääkivus ei tõesta tingimata väära järeldust, vaid järelduse, mille tõeväärtus erineb tõesusest. Näiteks tõestab meie tõlgendusele vastavas parakompliitses loogikas vasturääkivus väära järelduse või järelduse, mis pole tõene ega väär.
No comments:
Post a Comment