梁 果（贵州大学 哲学与社会发展学院 逻辑学 550000）

认识逻辑与认知逻辑的比较研究

梁 果（贵州大学 哲学与社会发展学院 逻辑学 550000）

认识逻辑（Epistemic logic）是产生于非正规模态逻辑之下，是研究知识推理的逻辑，而认知逻辑（Cognitive logic）是研究认知规律的逻辑理论，它是认知科学与逻辑学学科交叉研究产生出来的新学科和新领域，其产生于认知科学之后、是晚于认识逻辑的。但当今国内学术界多数学者将Epistemic logic译为认知逻辑，或认为认知逻辑就是认识逻辑。如若继续混淆二者，即便是一字之差也会对日后的研究及发展造成一定的影响。本文从认识逻辑与认知逻辑的产生及内容等方面进行研究，以此阐释二者的异同，希望引起学界关注。

认知逻辑；认识逻辑；逻辑学；认知科学；哲学逻辑

一、认识逻辑的产生与发展

认识逻辑是研究知识推理的逻辑，指在对认识论概念进行分析和对认识过程的直观理解基础上用逻辑分析方法来建构的逻辑系统。进一步说，认识逻辑是在经典逻辑的扩充系统模态逻辑产生后才出现，是关于知识推理的模态逻辑的子领域。

认识逻辑是在经典逻辑的扩充的基础上产生的。经典逻辑的扩充促使模态逻辑的产生，模态逻辑则是在经典逻辑的基础上，对其增加新的、非真值的、表达必然性和可能性的模态算子而得来的。早在《工具论》中就曾记载过，亚里士多德在其三段论的基础上加入“必然”、“偶然”和“可能”三个算子，建立了模态三段论。……