量化核证逻辑QLP概观

QLP是第一个量化核证逻辑,它允许对证明项的量化。菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性。迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析。QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展。

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

概述核证逻辑是用来分析葛梯尔反例所用到的原理,由此而得出的一些初步结论:葛梯尔推理在形式上是正确的,它属于处理部分核证的核证逻辑领域,但是与事实性核证和知识的核证逻辑系统不协调。目的在于向国内同行介绍核证逻辑这一新兴逻辑分支及其在哲学中的应用。

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

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