Ebamäärasus ja intuitsionistlik loogika
Karmo Talts
Käsitleme seda, et pole selge, kas x-l on predikaat P, nii: me ei saa tõestada, et x-l on predikaat P.
Kasutame nüüd intuitsionisltikku loogikat. Me ei saa tõestada, et x-l on predikaat P ja me ei saa tõestada, et x-l pole predikaati P. Seega me ei, saa väita, et x-l on predikaat P või x-il pole predikaati P. Küll saame me väita väite "x-l on predikaat P" intuitsionistliku eituse ja sama väitte intuitionistliku kahekordse intuitionistliku eituse disjunktsiooni.
No comments:
Post a Comment