选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1▽p2▽p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况：或者是二元相容析取（∨）形成的命题形式（p1∨p2∨p3）,或者是三元运算形成的命题形式（p1△p2△p3）。     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把“自指代命题”从“自指命题”中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的“不可判定”命题,现在有3种不同的错误解释：是非不可分辨的命题（三值）、是非可分辨（二值）但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致“真理丧失说”和“数学丧失了确定性”,但还应充分肯定哥德尔的历史功绩。     

临界概念和临界命题

从逻辑的角度出发,通过对临界现象和临界表述的分析,给出了临界概念和临界命题的定义,并对临界 命题的逻辑演算进行了初步探讨。     

管窥充分条件假言命题

数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。     

自然语言中的直言命题及其否定命题

各直言命题及其否定命题在自然语言和词项逻辑中往往有不同的意义,弄清楚自然语言中各直言命题及其否定命题的意义以及各命题彼此之间的关系,有助于我们准确掌握词项逻辑的内容。     

基于逻辑的行动理论综述

行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础.对行动理论的研究现状进行了总结.首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点.接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇.     

亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析，指出亚里士多德在逻辑史上第一次引进词项变元，建立了对当方阵，为三段论奠定了基础。接着，比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析，在此基础上，提出了一种符合亚里士多德原意的解析。     

试驳高尔吉亚的三个命题

高尔吉亚关于存在的三个命题,对哲学的生存和发展构成了威胁。这种威胁至今尚未得到消除。通过对其三个命题的论证及其结论的分析和反驳表明,高尔吉亚的三个命题不论在其论证上,还是在其结论上都是有困难的,是可以反驳的。尽管如此,他的这三个命题却预言了整个西方哲学的发展轨迹。这是哲学中不得不发人深省的奇怪现象。     

“三卡悖论”与“说谎者”——解读文兰院士的《解一个古老的悖论》

依据常理,导致“说谎者悖论”的“本语句为假”无论如何算得上是一个句子,因而,文兰院士的说法——“不存在任何句自己说自己为假”似乎有悖常识。然而,这种“自己说自己为假”的“语句”毕竟不是命题（亦即不是非真即假的单义句）,而只不过是多义句。正因为如此,所谓“说谎者悖论”纯属源于语言误解之逻辑误用,根本不合逻辑。事实上,我们只消将文兰院士所谓的“句”解读为“命题”,将其上述说法解读为“不存在任何命题自己说自己为假”,该说法也就不再有悖常识,而易于为人们所接受了。     

一些命题逻辑的Groebner基算法

介绍了一种得到命题结论的新方法，即通过把逻辑命题的项转化成相应的多项式，然后计算Groebner基,从而得到命题的结论．     

论逻辑原子主义寻求确定性知识的价值

逻辑原子主义是从1899年开始的罗素哲学思想和维特根斯坦前期哲学思想的一个主要方面。它的主要目的是寻求确定性的知识。逻辑原子主义具有重要的价值:它发展了马赫的实证主义;直接影响了以维也纳学派为代表的逻辑实证主义和后来的语言分析哲学;开创了逻辑实证主义的科学求实精神和理性精神。     

亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础.接着,比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析,在此基础上,提出了一种符合亚里士多德原意的解析.     

基于CPDL模型检验的装配序列规划

模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点.由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配...     

实质蕴涵与互逆真蕴涵

对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。     

一些命题逻辑的Groebner基算法

介绍了一种得到命题结论的新方法,即通过把逻辑命题的项转化成相应的多项式,然后计算Groebner基,从而得到命题的结论.     

“得意忘言”论的美学转换考辨

魏晋玄学的“得意忘言”论对我国古典美学产生了深远影响。然而,一些学者在对哲学命题“得意忘言”论进行蔓学转换时,无视或忽视美学与哲学两个领域中言意问题的重大差异,明显表现出重意轻言、重意轻象的倾向。其实,“得意忘言”作为魏晋玄学命题之一,有其历史与逻辑的合理性,但从美学角度看,则“得意”既不能完全“忘言”,也不能完全“忘象”,因为在审美活动中,意、言、象三者是相交相融、不可分割的审美统一体。     

柔性逻辑零级运算模型的健全性

当广义相关系数在0~05时,证明了基于零级运算模型的逻辑系统PC（T）是健全逻辑系统;当广义相关系数在05~075时,构建了基于零级运算模型的健全逻辑系统PC（T）;当广义相关系数在075~1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC（T）,当命题P等于0和1时是一个健全逻辑系统;当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC（T）.     

一类对偶最值命题的内在关系

将对偶“最值”命题”在类型上作个初步概括,借一个反例对所提出的问题给出否定性答案。然后就两个同时为真的对偶命题从图像上加以考察和归纳,就对偶命题在“内在联系”给出直观解释。最后通过概括的叙述和严格的逻辑论证,给出一航性的结论。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→（B→A）和（A→（B→C））→（（A→B）→（A→C））。而要证明这两个公理模式其关键又在于证明若干重要的中间公式，如A→（（┐B→B）→B）以及皮尔士律、吸收律、段定律等。就此，在Lukasiewicz给出的证明的基础上，讨论了一种不同的、相对简单一些的证明过程。