经典逻辑相关论文
经典逻辑中的SAT问题是指布尔表达式的可满足性问题，它是计算机科学中的核心问题。SAT问题是NP完全问题，从理论上说，SAT问题不能在多......
多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的命题进行了讨论，指出传统逻辑难以处理这类命题，这种观点为多值......
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换ψ,且ψ保持逻辑等价关系不变,并且是同态映射;ψ自然导出......
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),......
经典逻辑与自由逻辑都涉及空词项问题.经典逻辑对空词项采取的是一种否定的态度,它要求命题的“主词非空”,在逻辑中排斥带有空词......
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......
逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份.像其现代形式的任......
弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可......
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命......
正确把握逻辑的研究对象、方法、范围、类型等相关问题的还需注意的一个问题是对逻辑本质认识的澄清。一般认为逻辑是关于思维形式......
对经典逻辑公式计算进行了深入的探讨, 结合神经网络理论提出一种动态神经网络的计算方法, 并分析了基于数据库串行实现的步骤.介......
经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明，经典逻辑既有其适用性，又......
揭示了卢卡西维茨创造三值逻辑的基本原则：严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区：a、当｜p｜=1/2时,｜（＊p） ｜=1/2......
亚相容逻辑致力于刻画“不相容”但“足道”情形下的逻辑机制，在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列，或视其......
弗协调逻辑是一种非经典逻辑,是现代逻辑中非经典逻辑方向的一个重要分支.第一,弗协调逻辑修改了经典逻辑中的矛盾律,在弗协调逻辑......
许多自然语言句子具有QAB的形式，这里Q是量化短语；A是普通名词短语；B是动词短语。自然语言语句表达量化的方式是多种多样的，这样在形式......
对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。......
逻辑学是一门古老的科学,从它产生至今已有两千多年的历史.逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段;而现代逻辑的发......
作为人类整体知识中的核心部分和一切知识的基础，经典逻辑在整个人类知识体系中具有最大程度的可靠性和可应用性。但同时，它的可靠性......
弗协调逻辑的产生，引发了我们对如下几个问题的思考：弗协调逻辑有无产生的必要？弗协调逻辑与经典逻辑的关系如何？弗协调逻辑对矛盾律普......
为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但......
构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否......
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主......
关于逻辑的性质，一般有三种观点：一元论，多元论和工具论，逻辑一元论把所有逻辑都归结为一种逻辑，这种分类方法往往导致只承认一种逻辑，即......
亚里士多德的矛盾律和经典的否定概念,历来被认为是逻辑学中不可动摇的支柱.可是,次协调逻辑在逻辑上首次以严谨的态度动摇了矛盾......
本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的......
在现代逻辑文献中,"哲学逻辑"是个多义词.作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑.哲学逻辑的崛起引发诸多的......
推理关系的形式化带来了“实质蕴涵怪论”问题，本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为......
20世纪60年代，经典逻辑发展相对停滞，非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后，人们对......
经典逻辑否定矛盾存在，坚持矛盾律的至上性。弗协调逻辑限制矛盾律的作用。相干弗协调逻辑主张存在真矛盾，这和辩证逻辑是一致的，否定......
模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对"罗斯悖论"的剖析中引入可能算子,通过对道义悖论作......
在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以......
<正>颠覆的品牌逻辑的整体思想是:在开源品牌化环境中,把品牌当作Hub,以品牌共创价值为理论核心,以平台品牌建设为基础,以品牌生态......
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系......
语言学研究要有恰当的逻辑思维做指导.经典逻辑、现代逻辑各分支和辩证逻辑所揭示的思维形式、思维方法、思维规律对语言学研究有......
The paper attempts to use the logic method to unify several abstracting methods under one model. It' s beneficial to......
语法学家对语法化现象的研究由来已久。对语法化现象的研究,认知学派和生成学派的观点截然对立。前者认为语言的各级阶没有本质区......
卡尔纳普等人提出的语义信息论旨在从语义方面考察语句所带有的信息,但矛盾式在该理论中有无穷大的信息量因而与直观不相符。上述......
自动知识获取的知识库一直面临因不协调引起的知识不一致问题.经典逻辑不具备处理不协调性的能力,而次协调逻辑是一个能够在不协调......
逻辑原子主义主张把所有命题分析为原子命题，原子命题之间没有内涵关系，只具有外延关系，以原子命题为基本层次的语言能解决所有哲学问......
<正>意义理论是20世纪语言哲学、逻辑哲学中的重要问题,戴维森、达米特是这一理论的两位领军人物,他们以相对的观点代表了意义理论......
<正> 直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规......
