Vasturääkivused andmetes, refleksiivsus ja konjunktsiooni ellimineerimine
Karmo Talts
Vaatame vasturääkivatest andmetest järelduse tegemist praktika seisust. Me ei tea, kumb vasturääkivatest väidetest on tõene või milline vasturääkivuse osaväidetest on tõene.
Vaatame nüüd selle tähendust loogika jaoks. Vasturääkivate väidete korral andmetes tähendab refleksiivsuse kasutamine mõlema vasturääkiva väite kasutamist järelduste tegemisel, milleks meil pole alust. Kuna me ei tea, kumb neist väidetest on tõene, siis pole meil alust mitte kummagi puhul refleksiivsust kasutada. Otsese vasturääkivuse korral tähendab konjunktsiooni elimineerimine vasturääkivuse mõlema osaväite kasutamist järelduste tegemiseks, milleks meil pole alust.
Vaatame nüüd, kuidas tehniliselt läbi viia seda, et sellistes olukordades refleksiivsust või konjunktsiooni ellimineerimist vältida. Kui meil on loogika, kus nõrgendamine ei kehti juhul, kui eelduste või järelduste hulka laiendadatakse väitega, mis olemasolevatele eeldustele või järeldustele vastu räägib, siis me saame käsitleda refleksiivsust normaaljuhul kehtiva reegli või eeldusena. Kui nõrgendamine ei kehti juhul, kui eelduste või järelduste hulka laiendadatakse otsese vasturääkivusega, siis me saame käsitleda konjunktsiooni elimineerimist normaaljuhul kehtiva reegli või eeldusena.
No comments:
Post a Comment