收藏本站
《第二届海峡两岸逻辑教学学术会议专辑》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

知道谓词逻辑系统 K_(S5)+K_(BF)

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

【相似文献】
中国期刊全文数据库 前10条
1 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
2 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期
3 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
5 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期
6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
7 张世亮;;颜师古《玄言新记明老部》的诠释体例与思想特色[J];社科纵横;2011年05期
8 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期
9 陈满铭;;文本解析的专业化[J];湘南学院学报;2011年04期
10 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期
中国重要会议论文全文数据库 前10条
1 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
2 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
7 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
8 张清宇;;名辞逻辑系统MC[A];科学发展:文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集(下卷)[C];2009年
9 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年
10 王洪;;法律推理与法律逻辑——兼评道义逻辑的冯·莱特系统和安德森系统[A];1994年逻辑研究专辑[C];1994年
中国重要报纸全文数据库 前10条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年
3 陈波;逻辑学的2005年[N];光明日报;2006年
4 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年
5 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
6 造造 编写;鲁班软件实战练兵场(25)[N];建筑时报;2007年
7 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
8 北京大学医学部卫生法学教研室副主任 王岳;细化法规才能更好呵护生命[N];法制日报;2008年
9 鹏城;共享光纤虚拟路径保护方式[N];通信产业报;2000年
10 刘喜喜;欲引领未来布线技术走向 泛达发布UPI策略[N];中国计算机报;2008年
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 张立娜;个体词的逻辑语义[D];清华大学;2007年
3 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
5 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
6 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
7 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
8 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
9 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
10 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
2 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
3 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年
4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
5 王庆平;模糊推理中的三I算法研究[D];聊城大学;2008年
6 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年
7 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
8 茹永梅;经典逻辑系统(?)中的MT问题及公式的真度理论[D];陕西师范大学;2006年
9 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
10 萧瑶;信念修正逻辑初探[D];西南大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026