核证逻辑视野中的葛梯尔反例  

Gettier Example:Form a Justification Logical Point of View

作　　者：刘新文[1] 

机构地区：[1]中国社会科学院哲学研究所,北京100732

出　　处：《毕节学院学报（综合版）》2012年第12期32-34,共3页Journal of Bijie University

基　　金：国家社科基金项目"可能世界的名字"研究成果之一;项目编号:12BZX061;中国社会科学院重点课题"可能世界的名字"研究成果之一;项目编号:YZDB 2012-7

摘　　要：概述核证逻辑是用来分析葛梯尔反例所用到的原理,由此而得出的一些初步结论:葛梯尔推理在形式上是正确的,它属于处理部分核证的核证逻辑领域,但是与事实性核证和知识的核证逻辑系统不协调。目的在于向国内同行介绍核证逻辑这一新兴逻辑分支及其在哲学中的应用。Aimed at introducing the Justification Logics to native community of philosophy, this paper surveys the principles from Justification Logics and its application to Gettier example. Based on the analysis is the conclusion that the Gettier reasoning is formally correct and belonging to the area of justification logic that deals with partial justification but being inconsistent with the justification logic that deals with factual justifica- tion and knowledge.

关 键 词：葛梯尔反例 核证逻辑 

分 类 号：B81[哲学宗教—逻辑学]