Harilike järelduste kohandamine intensionaalsetele kontekstidele
Karmo Talts
Vaatame harilike järelduste kohandamist intensionaalsetele kontekstidele. Kaalume esimesena võimalust, et kui P-st järeldub Q, siis sellest, et ma x-in, et P, järeldub, et ma x-in, et Q. Kui see on nii, siis juhul, kui P-st järeldub Q, ja ma usun, et P, siis ma usun, et Q. Samuti siis, kui P-st järeldub Q, ja ma tean, et P, siis ma tean, et Q.
Vaatame nüüd, mis sellele räägib vastu. Kuigi juhul, kui P-st järeldub Q, ja ma usun, et P, usun ma eeldust, millest järeldub Q, ei pruugi ma seda järeldust tegelikult teha. Samuti siis, kui P-st järeldub Q, ja ma tean, et P, tean ma eeldust, millest järeldub Q, ei pruugi ma seda järeldust tegelikult teha.
Kohandame nüüd meie käsitlust. Kui P-st järeldub Q ja ma x-in, et P, siis ma x-in midagi, millest järeldub Q.
Vaatame nüüd selle tähendust teadmistest tulenevate järelduste jaoks. Kui ma ei tea, et P, siis isegi juhul, kui P on tõene, tean ma midagi, millest on alus teha vähemalt üks P-st tulenev järeldus ainult siis, kui ma tean vähemalt ühte eeldust, millest järeldub vähemalt üks P-st tulenev järeldus.
Kommentaare ei ole:
Postita kommentaar