Intuitsionistliku tõesuse tõlgendamine välja uuritavusena

Intuitsionistliku tõesuse tõlgendamine välja uuritavusena 

Karmo Talts

Vaatame võimalusi intuitsionistliku tõesuse tõlgendamiseks. Kui me tõlgendame seda tõesust tõestatvusena, siis tekib küsimus, mismoodi me saame intuitsionistliku loogikat kasutades üldse midagi eeldada, mida me pole tõestanud.
Vaatame nõõd võimalust, et väide P on intuitsionistlikult tõene parajasti siis, kui P on tõestatav või P on intuitsioonis antud. See tekitab küsimuse, kas tõetatavus ja intuitsioonis antud peaks olema sama tõeväärtus.
Vaatame nüüd, mis on ühist tõestatavusel ja intuitsioonis antusel. Kui me usaldame intuitsioone, siis nii siis, kui P on tõestatav, kui ka siis, kui P on intuitsioonis antud, siis on välja uuritav, et P.
Vaatame nüüd selle eitust, et on väljauuritavalt nii, et P. Sellest ei järeldu tingimata, et pole nii, et P, vaid kõigest, et pole nii et P või P ja pole välja uuritav, et P.
Vaatame nüüd võimalikke tõeväärtusi selle vahel, et välja uuritavalt on nii, et P ja pole väljauuritavalt nii, et P. Üks võimalus on, et pole ei nii, et välja uuritaval on nii, et P ja pole ka nii, et pole välja uuritavalt nii, et P. Üks neist on, et on mingil määral välja uuritatavalt nii, et P ja mingil määral pole nii, et välja uuritavalt P.