核证逻辑研究概观
核证(Justification)的概念自柏拉图以来就是认知研究中的一个重要部分.在现实中,我们通过给出一个证据,即一个核证来证实我们的知识.柏拉图对知识有三个准则:核证、真和信念.他将知识刻画成核证为真的信念.但是,尽管逻辑研究者在知识和信念的形式化的逻辑模型中处理了信念和真,核证这一概念却一直缺少相应的处理.这一不足最明显地体现在知识的模态逻辑的逻辑万能缺陷中,也成为了对证明的BHK语义的形式化以及给出哥德尔的可证明性逻辑S4和直觉主义逻辑的可证明性语义的障碍,同时使认知逻辑与主流认知理论之间产生了隔阂,直到核证逻辑出现后,核证才被引入到知识的逻辑模型中.核证逻辑的出现,以阿尔捷莫夫1994年提出证明逻辑LP为正式标志,从那时以来,逻辑研究者对核证逻辑进行了一系列研究,使其得到了长足的发展.
B81(逻辑学(论理学))
2014-01-09（万方平台首次上网日期，不代表论文的发表时间）
共5页
93-97
