基于证据的怀疑
发布人：网站编辑
发布日期：2023-09-04
逻辑学研究 2020 年第 5 期， 61–80 文章编号： 1674-3202(2020)-05-0061-20
作者：桂海斌
摘 要： 文章从对怀疑的哲学讨论出发，在总结了已有的关于怀疑的定义、怀疑的形式化研究后，主张继续以形式化的方法来研究基于证据的怀疑。本文借助邻域语义证据模型，分别从两个方面对怀疑的逻辑性质进行考察：第一，将怀疑作为一种静态的认知态度，考察了信念、证据和怀疑之间的关系，阐述了怀疑的相关逻辑性质；第二，将怀疑作为一种动态的认知过程，考察了初始认知状态为相信某个命题，在引入该命题否定的证据集后，认知状态所发生的变化，并且给出了动态算子的归约公理及其有效性的证明。
关键词： 信念；证据模型；静态怀疑；动态怀疑
中图分类号： B81 文献标识码： A