共查询到19条相似文献，搜索用时 343 毫秒
1.
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。 相似文献
2.
在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。 相似文献
3.
4.
贾青 《科学技术哲学研究》2021,38(4):21-26
连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂.文章在给出连续行动的三个主要特点的基础上,我们将分析造成连续行动刻画复杂性的具体原因并利用文德勒关于动词的体理论给出连续行动的分类,进而利用STIT逻辑给出不同种类连续行动的逻辑刻画方式. 相似文献
5.
陈慕泽 《湘潭师范学院学报(社会科学版)》2001,23(1):22-24
空间状态集比时间状态集高一个基数。因此,时间状态和空间状态的对应,不是一对一的关系,而是一对多的关系。这就为“运动着的物体每一瞬间既在这儿又不是这儿”这样的以往只能以哲学思辩来把握的辩证命题,在相关的形式刻画和逻辑模型的基础上,提供了一个形式证明。 相似文献
6.
时间——因果逻辑是现代过辑中时间逻辑的一个基本理论,即因果关系的逻辑问题。在“时间与因果解释”中,阐述了因果关系的时间条件、顺序、间隔;在“因果过程的时间模型”中,阐述了原因的时间模型与结果的时间模型。 相似文献
7.
逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新.逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用.为此给出了逻辑信息系统的规则以及建立在系统基础上的程序.在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准. 相似文献
8.
根据逻辑方阵的表记对象和范围不断扩大的现实,需对逻辑方阵的图示方法进行复合化研究。构造一个反映八个逻辑形式的真值关系示意图——立体逻辑方阵,它和传统逻辑方阵极为类似,便于识记,也具有普适性特征。立体逻辑方阵还在拓宽推理类型、丰富和完善逻辑永真公式的形成系统等方面有重要的理论意义。 相似文献
9.
叶广文 《河南师范大学学报(哲学社会科学版)》1990,(3)
以英国数学家、逻辑学家德·摩根名字命名的德·摩根定律是命题逻辑中重要等值式,这两个等值公式,不仅在数理逻辑的定理推演以及计算机的逻辑设计中,起着重要作用,而且公式形式被引进普通逻辑学教材中关于负判断等值内容加以使用,这无疑对普通逻辑学的改革是个推动和促进。但是在分析德·摩根定律中关于析取判断的否定等值式中,普通逻辑流行教材中绝大多数只回答“否定选言判断,就要否定它的所有选言肢而成为一个联言判断”(比如,中国人民大学1984年出版的《形式逻辑》 相似文献
10.
针对时下流行的关于思维规律前三律在三值逻辑中失效的观点，本文从辩证法关于普遍性与特殊性的辩证关系原理出发，认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用，不会在三值逻辑这一具体的思维科学领域内失效；但刻画这三条规律的人工语言表达式具有特殊性，在不同的思维科学中应用不同的表达式去刻画。二值逻辑中刻画中这三个规律的语言表达式在三值逻辑中失去永真式的特殊地位，不能证明这三个思维规律在三值逻辑中失效。 相似文献
11.
;模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环.从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点.对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法. 相似文献
12.
董英东 《毕节师范高等专科学校学报》2013,(8):1-7
通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。 相似文献
13.
中国逻辑元研究的成果,是学术探索继往开来的新起点。西方学者的元研究理论．可作为中国逻辑研究的借鉴。《公孙龙子·名实论》、《荀子·正名》和《墨经》的名辩学说,是先秦第一层次的名辩元逻辑。《公孙龙子·名实论》和《墨经》总结正名的逻辑规律,《小取》的“推”式论证和《墨经》的“止”式论证,是先秦第一层次名辩元逻辑的范例。诸子百家争鸣辩论的应用逻辑。是升华先秦第一层次名辩元逻辑的对象逻辑。现代学者以先秦第一层次的名辩元逻辑为对象逻辑,经过创造性诠释和改造转型。建构第二层次的名辩元逻辑。创造性诠释和改造转型,对原生态的先秦名辩来说．是必要的。先秦学者用古汉语表述的名辩,不经创造性诠释和改造转型．不便今人认知与应用。对先秦名辩的创造性诠释和改造转型。融会贯通古今中外逻辑,建构适用于全人类的世界同一逻辑。汲取中国学者独创的逻辑精华。 相似文献
14.
经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。 相似文献
15.
16.
本论文在对相关数字逻辑电路、TTL集成电路和VisualBasic数据库知识作简要介绍的基础上 ,用VisualBasic数据库语言设计数字逻辑真值表 ,利用查真值表对电子线路类制作测试模拟实验课中PCJK部分的地址译码及缓冲锁存电路的线路分析部分进行模拟逻辑分析其原理 ,最后通过逻辑信号的时序图来显示其运行结果 ,实现数字电路逻辑仿真 相似文献
17.
自从亚里士多德提出归纳逻辑的理论开始,归纳逻辑的发展已经有两千多年的历史。弗兰西斯.培根(Francis.Bacon)发表《新工具》,归纳逻辑进入了古典时代。休谟提出"归纳法问题"后,归纳逻辑面临种种疑难和阻碍。到逻辑贝叶斯派创立概率逻辑理论,归纳逻辑走出困境,进入了现代的发展。 相似文献
18.
对于话语交流中知识与信念变化的研究主要采用两种技术路线：一是数值方法。数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的形态、动机、过程等问题,为其提供切实可行的逻辑语言表述与结构模型．必然会拓宽用符号逻辑方法研究知识与信念变化的途径。 相似文献
19.
潘沁 《毕节师范高等专科学校学报》2014,(2):27-29
冯·诺伊曼是第一个把注意力从研究自动机的机械制造转移到研究自动机逻辑形式上的计算机专家,他认为在当前还没有真正拥有自动机理论,即恰当的数理逻辑理论。他对自动机的数学与现存的逻辑学做了比较：1．自动机数学中使用分析数学方法,而形式逻辑是组合的,2．自动机逻辑理论是概率的,而数理逻辑是决定的;并提出了自动机新逻辑理论的特点,指出了缺乏恰当数学理论所造出的后果。 相似文献