基于证据的怀疑CSSCI

文章从对怀疑的哲学讨论出发,在总结了已有的关于怀疑的定义、怀疑的形式化研究后,主张继续以形式化的方法来研究基于证据的怀疑。本文借助邻域语义证据模型,分别从两个方面对怀疑的逻辑性质进行考察:第一,将怀疑作为一种静态的认知态度,考察了信念、证据和怀疑之间的关系,阐述了怀疑的相关逻辑性质;第二,将怀疑作为一种动态的认知过程,考察了初始认知状态为相信某个命题,在引入该命题否定的证据集后,认知状态所发生的变化,并且给出了动态算子的归约公理及其有效性的证明。