一个以实践确证论为基础的认知逻辑系统KjB

作者：闫景强

来源：湖南科技大学学报(社会科学版), 2008, (01): 32-37.

• 多模态认知逻辑
• 实践确证论
• 真可达关系
• 系统KjB典范模型 multi-modal epistemic logic
• knowledge theory of practical justification
• relation of proper accessible
• canonical model of the system KjB

国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。笔者以马克思主义实践论为基础,吸收了国外知识确证理论的先进成果,提出了一种知识的实践确证理论。在此基础上,构造了多模态认知逻辑系统KjB,并证明其可靠性和完全性。

• 单位
  中国人民大学