Materiaalne konditsionaal ja rohkem kui kahe tõeväärtusega loogikad
Karmo Talts
Vaatame materiaalset konditsionaali rohkem kui kahe tõeväärtusega loogikate seisukohast. Neis on võimalik, et P-l ei ole kõige kõrgem tõeväärtus ja samas ei ole P eitusel kõige kõrgem tõeväärtus. Seega neis loogikates ei pruugi mitte-P või Q-ga ekvivalentne konditsionaal olla tühjalt tõene, kui P-l pole kõige kõrgem tõeväärtus.
Vaatame nüüd mõningaid võimalusi materiaalse konditsionaali, mille eeldusel pole kõige kõrgem tõeväärtus, käsitlemiseks. Üks neist on, et materiaalne konditsionaali tõeväärtus on kindlaks tehtav ainult siis, kui P-l on kõige kõrgem või madalam tõeväärtus. Teine on, et mida madalam on eelduse tõeväärtus, seda kõrgem on konditsionaali tõeväärtus. Hägusloogika seisukohast on tegemist osalise tühja tõesusega: kui materiaalse konditsionaali eeldus on osaliselt väär, siis on see konditsionaal osaliselt tühjalt tõene.
Vaatame nüüd ühte võimalust, mis eksisteerib just hägusloogika jaoks. Kuna materiaalne konditsionaal on klassikalises logikas sisukalt tõene siis, kui konditsionaali eeldus ja järeldus on mõlemad tõesed ja järelduse tõeväärtusest sõltumatult tühjalt tõene siis, kui eeldus on väär, siis võib hägusloogikas materiaalset konditsionaali käsitleda nii: mida kõrgem on eelduse tõeväärtus, seda kõrgem peab olema järelduse tõeväärtus, et materiaalne konditsionaal oleks tõene.
No comments:
Post a Comment