Loogika, ülesanne teha kvaliteetseid järeldusi ja väärad eeldused
Karmo Talts
Vaatame loogika teoreeme ülesannete lahendamise seisukohast. Loogika teoreemid on algoritmid, mida saab kasutada tõestest eeldustest tõeste järelduste tegemiseks.
Vaatame nüüd, kas vääradele eeldustele saab sama moodi läheneda. Võib püstitada ülesande tuletada tõeseid järeldusi vääradest eeldustest. Tõenäoliselt ei ole seda ülesannet võimalik lahendada.
Vaatame nüüd vähem ambitsionikaid väärade eeldustega seotud ülesandeid. Vääradest eeldustest võib püüda tuletada tõenäoliselt tõeseid ja võimalikult tõeseid järeldusi.
Vaatame nüüd neid võimalusi lähemalt. Isegi siis, kui väärast eeldusest tulenev järeldus ei räägi ühelegi teada olevalt tõesele eeldusele vastu, siis on see järeldus on võimalikult tõene või tõenäoliselt tõene vaid meile teada oleva informatsiooni valguses.
No comments:
Post a Comment