<正>一、知道命題的形式結(jié)構(gòu)與“知道”的邏輯性質(zhì)知道謂詞邏輯系統(tǒng) K_S5+K_BF是在對(duì)“知道”這一認(rèn)知行為進(jìn)行分析理解的基礎(chǔ)上構(gòu)造的反映這一過(guò)程的邏輯系統(tǒng)。“知道”的邏輯性質(zhì)體現(xiàn)在包含這一認(rèn)知概念的語(yǔ)句中。辛提卡指出:表達(dá)認(rèn)知的符號(hào)是指像“a 知道 p”,“a 不知道 p”等形式的一些語(yǔ)句。他引入符號(hào)“K_ap”表示“a 知道 p”。 (Hintikka,p．41)在“Kap”中,a 代表知道主體,而 p 代表一個(gè)獨(dú)立的命題。

【文章頁(yè)數(shù)】：6 頁(yè)


本文編號(hào)：3877197