论作为证据逻辑的核证逻辑

On Justification Logic as Evidence Logic

哲学逻辑的蓬勃发展显示出现代逻辑在分析和澄清哲学问题方面的巨大优势,其中一个表现便是认知逻辑与知识论的结合成为研究热点。证据是哲学知识论领域极为重要的概念,相关研究已经颇为丰富,然而对它的逻辑学考察则相对较晚。在为数不多的几个证据逻辑中,核证逻辑具有独特的语言特点和系统性质,在分析哲学问题时显示出以往认知逻辑所不具有的优势。对核证逻辑的发展历史、哲学背景和技术方法进行探讨,有助于理解它为何能被视为证据逻辑。

The prosperity of philosophical logic highlights the power of modern logic in analyzing and clarifying philosophical theories,an example of which is the rising of the convergence of epistemic logic and epistemology.Evidence is rather important and widely studied in epistemology,but evidence logic has just emerged.Justification logic,with its language features and system properties,shows its advantages over the existing evidence logics.An investigation into its history,philosophical background and techniques will be helpful in justifying justification logic as a kind of evidence logic.