期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

核证逻辑研究概观

原文传递
导出
摘要 核证（Justification）的概念自柏拉图以来就是认知研究中的一个重要部分。在现实中，我们通过给出一个证据，即一个核证来证实我们的知识。柏拉图对知识有三个准则：核证、真和信念。他将知识刻画成核证为真的信念。但是，尽管逻辑研究者在知识和信念的形式化的逻辑模型中处理了信念和真，核证这一概念却一直缺少相应的处理。这一不足最明显地体现在知识的模态逻辑的逻辑万能缺陷中，也成为了对证明的BHK语义的形式化以及给出哥德尔的可证明性逻辑S4和直觉主义逻辑的可证明性语义的障碍，同时使认知逻辑与主流认知理论之间产生了隔阂，直到核证逻辑出现后，
作者 李娜 李巍
机构地区 南开大学哲学院
出处 《哲学动态》 CSSCI 北大核心 2013年第11期93-97,共5页 Philosophical Trends
关键词 逻辑研究 概观 直觉主义逻辑 认知研究 逻辑模型 模态逻辑 认知理论 认知逻辑
分类号 B81 [哲学宗教—逻辑学]
  • 相关文献

参考文献26

  • 1S. Artemov, "Explicit Provability and Constructive Semantics", Bulletin of Symbolic Logic, 7 (1) , 2001, pp. 1 -36.
  • 2B. Renne, "Tableaux (or the I,ogic of Proofs", Technical Report TR-2004001 , CUNY Ph.D. Program in Computer Science. 2004.
  • 3M. Fitting, " A Semantics fnr the [,ogic of Proofs" , Technical Report TR-2003012, CUN Ph. D. Program in Computer Science, 2003.
  • 4M. Fitting, "The Logic of Proofs, Semantically", Annals of Pure and Applied Logic, 132 ( 1 ) , 2005, pp. 1 -25.
  • 5S. Artemov, "Symmetric Logic of Proofs", In A. Avron, N. Dershowitz and A. Rabinovieh eds. , Pillars of Computer Science, Essays Dedicated to Boris ( Boaz ) Trakhtenbrot on the Occasion of HIS 85th Birthday, 2008, vol. 4800 of Lecture Notes in Computer Science, pp. 58 - 71.
  • 6M. Fitting, "Realizations and LP", Annals of Pure and Applied Logic, 161 (3), 2009, pp. 368 -387.
  • 7S. Artemov, "The Logic of Justification", The Review of Symbolic Logic, 1 (4) , 2008, pp. 477 -513.
  • 8S. Artemov, "Evidence-based Common Knowledge", Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, 2004.
  • 9T. Yavorskaya ( Sidon ), " Interacting Explicit Evidence Systems', Theory of Computing Systems, 43 ( 2 ), 2008, pp. 272 - 293.
  • 10B. Renne, "Dynamic Epistemic Logic with Justification", PhD thesis, The City University of New York, 2008.
哲学动态
2013年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部