<正>一、知道命題的形式結構與“知道”的邏輯性質(zhì)知道謂詞邏輯系統(tǒng) K_S5+K_BF是在對“知道”這一認知行為進行分析理解的基礎上構造的反映這一過程的邏輯系統(tǒng)�！爸馈钡倪壿嬓再|(zhì)體現(xiàn)在包含這一認知概念的語句中。辛提卡指出:表達認知的符號是指像“a 知道 p”,“a 不知道 p”等形式的一些語句。他引入符號“K_ap”表示“a 知道 p”。 (Hintikka,p．41)在“Kap”中,a 代表知道主體,而 p 代表一個獨立的命題。

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


本文編號：3877197