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

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

关于纯粹文化对象的逻辑确证

文化定义作为研究对象的确定手段是文化研究的首要问题,但一直没有得到普遍接受的合理解决,其症结在于认识上的经验主义方法的逻辑局限性。对此,理性主义的替代策略为,直接以具有普遍认识效力的逻辑分析方法寻找文化对象,而这一工作可以分解为两个步骤:一般地抽象推定普遍文化的存在和具体地分析推导普遍文化存在的内涵。后者为描述确证,前者即所谓逻辑确证。

确证逻辑的研究困境及其解决原则

归纳逻辑在从传统向现代演进的过程中实现了从科学发现向度到归纳确证向度的转变。考察这一转变历程可以发现,归纳确证本质上是关于合理相信的确证逻辑研究。现有主要确证逻辑理论都遇到一些自身难以克服的难题,要克服这些难题,需要从方法论层面对确证逻辑研究进行系统反思,构建研究需遵循的一些合理性原则,包括:确证研究的行动论视角,避免方法论上的演绎主义,强调证据和假说的相关主题要保持同一,在假说的真理性和解释力之间保持必要的张力,聚焦证据的认识论本性和逻辑性质的研究。

贝叶斯确证模型与证据效用探析

贝叶斯确证逻辑是关于解释科学确证模式的概率逻辑理论。该理论较合理地描述了假说确证中证据效用的量化测度问题,但对这一问题的回答存在较大局限性,因而引起了诸多论争。本文在考察贝叶斯模型及其论争基础上指出,对证据效用的准确把握,仅靠贝叶斯模型是不够的,它需要多种逻辑方法以及科学认识论与科学方法论的结合。

理论确证与证据相关性

确证悖论的论争，仅在一阶逻辑框架内是不可真正解决的。对科学理论的确证，除了待证理论与证据之间的逻辑关系外，还取决于证据对理论关系的认识论分析，其中主要有证据对理论的正相关及其相关程度，证据与理论间的自然属性的对应性。