经典逻辑相关论文
<正> 金岳霖学术基金会日前在武汉举行首次金岳霖学术奖颁奖大会。这是我国逻辑学界举行的首次颁奖活动。中国留美学生、匹兹堡大......
“哲学逻辑”词义探源和辨析陈波(北京大学哲学系)当年,奥格登(G.K.Ogden)在把维特根斯坦的大著《逻辑哲学论》译为英文时,曾拟采用《哲学逻辑》(Philosophicallogic)这......
直觉主义逻辑中的否定有直观而清晰的含义,意为“不可能”,其强于经典否定;而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地,非经典......
多值逻辑的合法性立足于两点:其一,真值数目可以超过两个;其二,逻辑联结词具有合理的解释。联结词的解释是一个更为棘手的问题,其中又以......
经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统,由统一的命题演算和谓词演算构成,叫做“一阶逻辑”,其特点是使用特制的......
逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份。像其现代形式的任......
词类问题历史悠久,至今争论不断.语言学既是科学主义的受益者,又是其受害者,词类研究自不例外.受超学科研究方法论启发,从四个维度......
1.引言《维特根斯坦论语法的任意性》(Wittgenstein on the Arbitrariness ofGrammar)一书,由普林斯顿大学出版社于2004年出版,作......
条件句语境理论是美国语言哲学家高克(Christopher Gauker)提出的关于条件句的语义学理论,也是一种较为系统的形式化的理论,对经典逻辑......
从Petri网被提出以来,Petri网就一直是一个不断被发展和充实的理论.作为一种形式化、直观化的建模工具,Petri网被广泛地应用于离散......
作为龙树中观思想重要的方法论,四句的应用非常广泛.它描述的是对任一命题X,都存在四种(是、否、双是、双否)可能性,从表面看四句......
针对Mamdani蕴含算子不支持经典逻辑的问题,采用与一型模糊逻辑系统类似的研究方法,讨论了基于Kleene-Dienes、Lukasiewicz、Zadeh和......
证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推......
本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由......
由于绩效考核中的考核标准和被考核者的实际情况都存在模糊问题,采用经典逻辑的数学方法存在一种"测不准"现象.为降低测不准现象的......
传统的可废除推理研究都是基于协调理论集,该文中我们基于一种超协调逻辑(极小化悖论逻辑LPm),提出了一种新的可废除推理框架。新的框架在......
针对发动机故障的特点,将最小割集诊断理论与模糊诊断理论相结合,建立了模糊最小割集诊断法.这种方法吸取了经典逻辑与模糊逻辑的优点......
该文针对格蕴涵代数中滤子的概念,讨论了滤子的一些性质。并且通过对经典逻辑在推理中存在的问题,讨论了在不精确性推理中运用滤子的......
经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念......
作者基于信度语义提出了算子模糊逻辑模型BAOFL,本文给出了计算BAOFL中公式(集)不可满足程度的λ-TABLEAU推理方法,并证明了其可靠......
在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的......
该文的主题是信念修正(belief revision)理论.狭义上,信念修正特指经典逻辑信念修正的AGM模型及其发展出的各种模型.广义上,信念修......
经典逻辑中的SAT问题是指布尔表达式的可满足性问题,它是计算机科学中的核心问题。SAT问题是NP完全问题,从理论上说,SAT问题不能在多......
多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的命题进行了讨论,指出传统逻辑难以处理这类命题,这种观点为多值......
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换ψ,且ψ保持逻辑等价关系不变,并且是同态映射;ψ自然导出......
一、模糊逻辑的研究对象rn欲弄清模糊逻辑的研究对象首先必须得清楚逻辑的研究对象,因为模糊逻辑只不过是在经典逻辑的基础之上发......
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),......
经典逻辑与自由逻辑都涉及空词项问题.经典逻辑对空词项采取的是一种否定的态度,它要求命题的“主词非空”,在逻辑中排斥带有空词......
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......
逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份.像其现代形式的任......
弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可......
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命......
对经典逻辑公式计算进行了深入的探讨, 结合神经网络理论提出一种动态神经网络的计算方法, 并分析了基于数据库串行实现的步骤.介......
经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又......
“实质蕴涵怪论”问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中......
近十余年来,在我国出现一个新的逻辑分支,叫做“语言逻辑”,精确一点说,应该叫做“自然语言的逻辑”(在国外也有称之为“自然逻辑......
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出......
揭示了卢卡西维茨创造三值逻辑的基本原则:严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区:a、当|p|=1/2时,|(*p) |=1/2......
亚相容逻辑致力于刻画“不相容”但“足道”情形下的逻辑机制,在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列,或视其......
<正> 本世纪中叶以来,西方哲学和逻辑学界关于不相容逻辑的研究,已愈来愈引起广泛的关注。本文拟简要地介绍不相容逻辑的两个重要......
普特南是在世的几个最为著名的哲学家之一,被称之为“坚定的实在论者”。他的逻辑哲学思想是其整体哲学体系的有机组成部分,与其整体......
弗协调逻辑是一种非经典逻辑,是现代逻辑中非经典逻辑方向的一个重要分支.第一,弗协调逻辑修改了经典逻辑中的矛盾律,在弗协调逻辑......