知道谓词逻辑系统 K S5 +K BF

发布时间：2024-01-06 10:20

　　<正>一、知道命题的形式结构与“知道”的逻辑性质知道谓词逻辑系统 K_S5+K_BF是在对“知道”这一认知行为进行分析理解的基础上构造的反映这一过程的逻辑系统。“知道”的逻辑性质体现在包含这一认知概念的语句中。辛提卡指出:表达认知的符号是指像“a 知道 p”,“a 不知道 p”等形式的一些语句。他引入符号“K_ap”表示“a 知道 p”。 (Hintikka,p．41)在“Kap”中,a 代表知道主体,而 p 代表一个独立的命题。

【文章页数】：6 页


本文编号：3877197