共查询到20条相似文献，搜索用时 421 毫秒
1.
传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。 相似文献
2.
马雷 《淮阴师范学院学报(哲学社会科学版)》2006,28(2):176-179
希尔柏特和阿克曼并没有解决传统性质判断及其构成的推理式在联合演算中的等价表述问题,而克劳斯对传统推论的理解和翻译则有更大的偏差。一个能够刻画所有传统推理式的统一的模式,必须同时限之以主项非空类,谓项非全类。在这一模式下,传统直言判断的逻辑方阵在联合演算中可以找到等价的描述,不仅如此,传统词项逻辑的所有有效式在联合演算中无一例外地是永真式,而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。传统意义上翻译的传统推论表明,传统词项逻辑在其自身所把握的范围内是封闭的和完备的,但一旦超出这一范围,即扩展为现代意义上的,就不再是一个严密的体系。 相似文献
3.
霍书全 《中山大学学报论丛》2009,2(1)
鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑.本文将对推广的命题逻辑系统L*建立一种一阶谓词系统,并证明其可靠性、完全性. 相似文献
4.
从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。 相似文献
5.
模糊有效公式 总被引：1，自引：1，他引：0
赵正波 《渭南师范学院学报》2011,(10):54-57
对命题演算理论应用的局限性进行分析,并结合一阶谓词演算系统理论,对模糊一阶谓词演算系统理论做了初步的探讨,结合实例,给出了模糊满足的概念和相关的一些概念,说明了引入模糊一阶谓词演算系统理论的必要性,对实例的分析说明了引入模糊满足的概念和相关的一些概念的可行性．一个论断正确与否取决于所涉及的变元被怎样赋值,以及引出模糊有效公式．同时,通过例题更好地解释和说明了文章中的定义和定理,从而对模糊一阶谓词逻辑有效公式有了更好的认识．为我们建立模糊一阶谓词演算理论做了初步的准备工作． 相似文献
6.
韩光辉 《数学学习与研究(教研版)》2010,(17):94-94
本文结合命题联结词及谓词和量词，将“数学分析”中的基本概念：“极限”“连续”“一致收敛”，用谓词演算式来刻画，进一步将其写成逻辑等价的斯柯林范式． 相似文献
7.
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 相似文献
8.
《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。 相似文献
9.
冯棉 《中山大学学报论丛》2011,4(2)
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是：采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑R及其线性片段、直觉主义逻辑及其BCK片段等,并借助典范框架和典范赋值,证明了这些逻辑系统的可靠性和完全性。 相似文献
10.
弗雷格认为，逻辑研究真，是关于实真的最普遍规律的科学；逻辑的任务是仅仅说明最普遍的东西，对后有思维领域都有效的东西。弗雷格运用逻辑与语言相结合的分析方法探讨“真”，通过严格的形式语言和系统的逻辑演算的方法求真。他的论述涉及逻辑研究的对象及方式，逻辑和心理学的区别，这些论述反映了他对逻辑这门学科性质的独特认识，他的观点对现代逻辑和20世纪哲学的发展造成了重大影响。 相似文献
11.
王玉红 《赤峰学院学报(自然科学版)》2011,27(2):66-67
数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.数理逻辑包括两个最基本的组成部分,就是"命题逻辑"和"一阶谓词逻辑".其中命题逻辑又被称为二值逻辑,它的运算特点同电路设计中的开与关、高电位与低电位等现象完全一样,都只有"0"、"1"两种不同的状态,因此,它在电路设计分析中有着广泛而重要的应用. 相似文献
12.
实质蕴涵与自然语言中的相关蕴涵命题分析 总被引：5，自引：3，他引：2
王健平 《华南师范大学学报(社会科学版)》2005,3(3):11-18
实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。提出“相关蕴涵,,概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。 相似文献
13.
在西方哲学中，逻辑和知识的关系是一个根本问题。理论理性的根本问题之一就是运用逻辑阐明人类知识的来源及其性质。逻辑是思想的语法形式。西方传统的形式逻辑是关于判断及其诸形式的学说，即命题逻辑或陈述逻辑，其核心是述谓判断。康德把经验直观的内容(质料)排除在逻辑之外，胡塞尔则认为逻辑的东西必须到直观内在体验中寻找其隐秘的起源，这就把逻辑的东西的范围延伸到了前述谓经验的领域，并试图通过澄清逻辑的起源方式以便对述谓判断的本质作出解释，找到真正通往真理本身之起源的道路。 相似文献
14.
谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多．文章主要论述在一阶谓词逻辑描述下，归结推理的方法和步骤，以及其中主要的定理和定义，最后通过具体例子来说明方法的使用。 相似文献
15.
知识蕴涵模态逻辑系统 总被引：3，自引：1，他引：2
使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现. 相似文献
16.
曹飞 《河南师范大学学报(哲学社会科学版)》2007,34(6):48-51
本文在严格区分逻辑矛盾与辩证矛盾的基础上建构了一个辩证逻辑的命题演算系统PC2,证明了PC2的可靠性和完全性,简要地讨论了几个与PC2相关的系统--形式逻辑的命题演算系统PC1、形而上学逻辑的命题演算系统PC3、怀疑论逻辑的命题演算系统PC4,并以此为基础进一步探讨了逻辑矛盾与辩证矛盾以及形式逻辑、辩证逻辑、形而上学逻辑、怀疑论逻辑之间的关系. 相似文献
17.
逻辑学：从“是”到“蕴涵” 总被引：1，自引：0，他引：1
张留华 《华东师范大学学报(哲学社会科学版)》2005,37(3):18-24
“是”是逻辑学研究的一个核心概念,探究“是”这一系词所表示的明晰的逻辑关系一直是逻辑学家们所努力的工作。本文通过对于“是”与“蕴涵”之间联系的历史探索,试图澄清传统逻辑与现代逻辑的历史连续性和内在一致性。 相似文献
18.
罗翊重 《昆明师范高等专科学校学报》2005,27(3):27-34
作者分析了命题之真与假的逻辑意义，并通过n个合取与析取命题，分析了蕴涵命题的模态意义，由此，揭示出多种蕴涵命题的真值函项意义。基于此，讨论了诸多逻辑关系词的经验背境及其与对象世界的关系，并说明逻辑真理并非全是必然真理，可能真理也是逻辑真理。 相似文献
19.
弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元. 相似文献
20.
永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。 相似文献