确证逻辑:一种基于证据的认知逻辑

被引：2

作者：

朱建平

机构：

[1] 苏州大学政治与公共管理学院哲学系

来源：

深圳大学学报(人文社会科学版) | 2014年 / 31卷 / 03期

关键词：

确证; 确证逻辑; 认知;

D O I：

暂无

中图分类号：

B815.3 [认知逻辑];

学科分类号：

010104 ; 010105 ;

摘要：

在当代知识论中,柏拉图"确证的真信念"(justified true belief)的知识的三元定义仍是知识论的核心定义。在形式语义学中,这个定义中的"真信念"成分通过模态逻辑和可能世界语义学,已经给出了一种形式的刻画。但与此同时,柏拉图定义中的"确证"要素长期以来却缺乏一种形式的表征。于是,将"确证"引入形式认识论之中而构建的逻辑系统成为一种新型的认知逻辑。具有确证的认知逻辑连同通常的知识算子□F(F是可知的)包含了对确证的形式处理(断定t:F意味着t是对F的确证)。同时,该系统还为这种逻辑提供了可能世界语义学,该语义学扩展了具有确证断定的t:F的菲廷类型的克里普克模型。

引用

页码：65 / 70

页数：6