Vasturääkivuste suhtes robustne konditsionaal
Karmo Talts
Vaatame võimalusi konditsionaali, mis ei luba vasturääkivusest teha suvalist järeldust, kasutusele võtmiseks. Kuna klassikaline loogika ei luba vasturääkivusi, siis vasturääkivus läheb lihtsalt vääruse alla ja juhul, kui konditsionaali eeldus on väär, siis ei loeta seda, et väide on vasturääkiv, eraldi võimaluseks. Seega peab andmetes oleva vasturääkivusega toime tulev konditsionaal nägema eraldi ette võimaluse, et andmetes on vasturääkivus.
Vaatame nüüd, milliseid võimalusi peab see konditsionaal veel ette nägema. Kui andmetes pole vasturääkivusi, siis võib väite eeldus olla ikkagi väär või on väite järeldus tõene. Seega on vasturääkivuste suhtes robustne konditsionaal "kui P on meie andmetel ainult tõene ja meie andmed P kohta on tõesed, siis Q" ekvivalentne disjunktsiooniga "meie andmed P kohta on vasturääkivad või on tõene disjunktsioon mitte-P või Q".
No comments:
Post a Comment