信念逻辑的逻辑全知问题

发布时间：2018-04-18 00:34

  本文选题：逻辑全知问题 + 信念逻辑　； 参考：《求是学刊》2007年06期

【摘要】：正一、逻辑全知者问题逻辑学研究的对象是人的思维,现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人,由于受其所在环境、所接受的知识、所掌握的资源的限制,其推理能力必然是有限的。例如,假设从理论上讲,某人从其当前所掌握的知识出发,能够推出一个命题α。实际上,他仍可能推不出α。也许推出α过于困难,超出了此人的能力。
[Abstract]:First, the object of logic study is human thinking, while modern mathematical logic and philosophical logic are devoted to the study of human reasoning behavior and mode.Because of the limitation of the environment, the knowledge and the resources, the reasoning ability of the individual is bound to be limited.For example, suppose, in theory, someone can deduce a proposition from what they currently know.In fact, he may still not be able to deduce 伪.Perhaps it is too difficult to launch an alpha, beyond the person's ability.
【作者单位】： 中山大学逻辑与认知研究所 中山大学逻辑与认知研究所
【分类号】：B812

【相似文献】

相关期刊论文 前9条

1 姜成林;应用逻辑——现代逻辑的新发展[J];社会科学辑刊;1988年05期

2 李小五;1993年国外哲学逻辑研究新进展[J];国外社会科学;1994年06期

3 胡泽洪;信念逻辑二题[J];华南师范大学学报(社会科学版);1994年03期

4 苏开乐，，丁德成;关于Levesque的信念逻辑的完备性[J];数学年刊A辑(中文版);1995年03期

5 鞠实儿,赵艺,傅小兰;自我欺骗的认知机制[J];中山大学学报(社会科学版);2003年05期

6 赵艺;论自我欺骗问题的解决方案[J];自然辩证法通讯;2004年02期

7 潘天群;建立在“笛卡尔公理”上的一个怀疑逻辑系统[J];湖南科技大学学报(社会科学版);2004年05期

8 潘天群;认知命题集合的逻辑构造及其相互关系[J];哲学研究;2005年03期

9 潘天群;三分的认知世界与怀疑逻辑的独立性[J];湖南科技大学学报(社会科学版);2005年05期

相关博士学位论文 前1条

1 李金厚;iRobot——一种基于类自然语言人机交互系统的初步研究与实现[D];浙江大学;2005年

相关硕士学位论文 前1条

1 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年

本文编号：1766040