Intuitsionistlik loogika, ebakindlus ja tehted, mis rakenduvad eeldustele, millest järeldub järeldus, mille klassikaline tõesus on ebakindel

Intuitsionistlik loogika, ebakindlus ja tehted, mis rakenduvad eeldustele, millest järeldub järeldus, mille klassikaline tõesus on ebakindel

Karmo Talts

 

Vaatame intuitsionistlikku loogikat ebakindlusega toime tulemise seisukohast. See, kas tõestamata väited on klassikaliselt tõesed, on ebakindel. Intuitsionistlik loogika aitab selle ebakindlusega toime tulla.

Vaatame nüüd võimalusi kasutusele võtta intuitsionistliku eittusega analoogset tehet ebamäärasuse käsitlemiseks. See tehe rakendub väitele P siis, kui P-st järeldub midagi ebamäärast.

Vaatame nüüd seda alati tehete üldistusi. Võib kasutusele võtta tehte, mis rakendub väitele P siis, kui P-st järeldub järeldus, mille tõeväärtus ei ole kindel.