【摘 要】
：
文章从对怀疑的哲学讨论出发,在总结了已有的关于怀疑的定义、怀疑的形式化研究后,主张继续以形式化的方法来研究基于证据的怀疑。本文借助邻域语义证据模型,分别从两个方面
论文部分内容阅读
文章从对怀疑的哲学讨论出发,在总结了已有的关于怀疑的定义、怀疑的形式化研究后,主张继续以形式化的方法来研究基于证据的怀疑。本文借助邻域语义证据模型,分别从两个方面对怀疑的逻辑性质进行考察:第一,将怀疑作为一种静态的认知态度,考察了信念、证据和怀疑之间的关系,阐述了怀疑的相关逻辑性质;第二,将怀疑作为一种动态的认知过程,考察了初始认知状态为相信某个命题,在引入该命题否定的证据集后,认知状态所发生的变化,并且给出了动态算子的归约公理及其有效性的证明。
其他文献
毕业设计的思维过程是抽象和具体结合的过程。它是以感性的具体为起点,经过抽象的中间环节,最后达到理性的具体的过程,也是将设计中抽象的灵感转变为具体实物的实现过程。此
研究甘薯渣多糖的提取,分离纯化的方法,并分析其体外抗氧化活性。结果表明:超声辅助水浴法提取甘薯渣多糖的最佳工艺为料水比1∶17、超声时间57 min、超声功率209 W、超声温
高校档案工作重点是利用．利用工作是档案事业发展的动力，通过分析档案利用情况．提出档案利用中存在的问题，做好利用工作应采取的措施，提高档案的利用工作。
文章调查分析了怀仁县耕地土壤存在耕作层薄、结构性差、养分含量低、多为"三跑田"的现状。提出了加厚活土层逐步培肥地力,变"三跑田"为"三保田"的7项措施。
电源变换技术是DC/DC、DC/AC、AC/AC、AC/DC的总称.当前的DSP技术,广泛应用于DC/DC DC/AC变换模块,已经解决了很多原来不能解决的客观问题,产生了积极的效应.本文结合燃料电
为了进一步改善拖拉机机械变速箱换挡平顺性和提高操纵舒适性,在中小功率拖拉机上逐步采用同步器换挡。对同步器的结构型式、作用和基本原理进行了简要介绍,重点对中小功率拖
介绍了一半埋式长方形钢筋混凝土酿酒池的水压爆破拆除的工程实例。文中分析了水压爆破药量计算时经验公式和理论公式产生差异的原因,并阐述了水压爆破药量确定的方法和步骤
文章就当前在实施新一轮退耕还林工程中存在的具体问题进行了分析,并提出了解决问题的有效途径,希望能够为新一轮退耕还林工程建设的顺利实施提供有效参考和借鉴。
艺术设计作为高等教育中的一门应用学科，在社会生活中正发挥着越来越重要的作用。艺术设计专业教学的特殊性表现在艺术性、技术性与观念性同时并存，强调在适应社会需求的前提下