非精确谓词逻辑推理

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:woxiangtoucai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来,以形成非精确谓词逻辑?为了让IP概率逻辑能够表达谓词,必须另辟蹊径。通过在状态描述上引入非精确概率,然后把非精确概率扩展到QFSL,进而通过IP推理的自然扩张扩展到SL上。这样就实现了非精确概率同谓词逻辑的结合,得出了非精确概率谓词逻辑推理。换言之,通过把主观主义嫁接在卡尔纳普的逻辑主义之上,可以实现这一步。
其他文献
科技的高速发展,让"互联网+"教育成为必然。如何在数学教学中融入互联网元素,培养学生的数学核心素养是当代数学教师亟待解决的一个问题。文章从教学软件、教学平台、趣味网
【摘 要】興趣是最好的老师,让学生带着兴趣展开学习活动可以取得事半功倍的效果。高中数学是基础教育阶段一门重要的课程,也是高考的重要内容,在新课程改革的环境下,教师要积极改变传统的灌输式、题海战术等教学方式,遵循高中学生在认知上的发展规律,重视起对学生的兴趣培养,激发学生主动学习数学的动力,在提升教学质量的同时落实对学生数学核心素养的培养。  【关键词】高中数学;兴趣培养;教学策略  【中图分类号】
【摘 要】本文在研究中以幼儿学习品质为核心,探究幼儿园教学中的问题反思与支持策略,不断优化幼儿园教学结构体系,培养和提高幼儿学习品质,进而达到幼儿园教育的最终目的。  【关键词】幼儿;学习品质;问题反思;支持策略  【中图分类号】G610 【文献标识码】A   【文章编号】2095-3089(2019)11-0252-01  幼儿学习品质主要指反映幼儿学习需求的心理品质,在实际幼儿的健康成长中,学
众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题"。为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(S
【摘 要】地方戏曲的传承以及发展是我国文化繁荣发展的一部分。校园是文化传播的重要场所,所以让地方戏曲进入校园是地方戏曲发展中重要的一个环节。本文对地方戏曲进入校园的现状進行了初探,对地方戏曲进校园的途径和形式进行了探究。  【关键词】地方戏曲进校园;做法;问题;途径  【中图分类号】G622 【文献标识码】A  【文章编号】2095-3089(2019)12-0250-02  引言  地方戏曲是地
甲骨文“同”本义为“聚集到一起”,常用于句尾作不及物动词。在语法化的过程中,“同”在本义基础上的引申有三条路径:一是与其他动词连用,引申为表“共同、一起”义的副词,