复合命题之间的真值关系及其直接推理系统初探

传统形式逻辑对直言命题的基本形式A、E、I、O之间的真值关系进行了研究,总结出了它们之间的对当关系,并将其应用于对当关系直接推理,但对于复合命题的基本形式则只分析其与肢命题之间的真值关系,对于不同的复合命题之间的真值关系并未加以系统地研究,充其量只是对复合命题各基本形式的负命题与其等值命题作了一定的探究,但还不足以形成复合命题之间的直接推理系统。因此,可以说传统形式逻辑对于复合命题及其推理的研究相当肤浅,形不成完整严密的复合命题推理系统。     

复合命题的逻辑方阵

1982年秋,我在讲授以复合判断为前提的直接推理时,编制了“复合命题的逻辑方阵”。1983年1月,写成《复合判断的直接推理》,投寄《逻辑与语言学习》。该刊1983年第5期选刊此文第一部分时,标题为《复合判断的逻辑方阵》。1984年初,我对方阵的图式和说明,又作了若干补充,以求在一个方阵里,全面、系统、集中而又简明地,显示出基本复合命题之间种种复杂的真假关系。经用于教学,尚觉方便。现整理发表,希望得到各方指正。 方阵由下列两个图式组成(图见下页):图式说明:     

命题逻辑的证伪系统

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。     

模态复合命题真值关系考察

本文通过构造一个真值关系示意图，着重刻画了模态复合命题中模态联言命题、模态选言命题及其否定形式之间所存在的４个等值式、４个矛盾式和２８个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。     

一个限制排中律适用范围的命题演算系统

"一个命题与肯定该命题而形成的命题是等值的"只是逻辑学的一个公设,基于这一公设,肯定词在任何情况下都可以随意消除,人们在构造命题演算系统时根本无需引入肯定词。然而,值得提出的是,上述公设从未得到过系统外的预先证明。命题演算系统PC5在限制上述公设适用范围的基础上引入了0级命题变项和肯定词符号。PC5具有可靠性和完全性。在PC5中,对于任意的肯定和否定同一个n(n∈N且n≥0)级命题而形成的两个相反命题而言,不矛盾律都成立;对于任意的肯定和否定同一个n(n∈N且n≥1)级命题而形成的两个相反命题而言,排中律成立,但对于任意的肯定和否定同一个0级命题而形成的两个相反命题而言,排中律不成立。以PC5为逻辑基础,反证法适用于论证n(n∈N且n≥1)级命题的肯定或否定命题,但不适用于论证0级命题的肯定或否定命题。     

复合命题的量词与充分条件的逻辑性质

现代逻辑引入符号“(?)~x”和“(?)~x”分别表达全称量词和存在量词,以分析命题的形式,这是数理逻辑发展的一个突破口.量词在谓词逻辑中的地位和作用是极为显著和重要的,因而,有的逻辑学家干脆把谓词逻辑称为“量词理论”.传统逻辑曾按“量”把直言命题分为全称命题和特称的命题,也想研究量词的逻辑性质,但是,由于传统逻辑只局限于研究直言命题,不研究关系命题,即使对复合命题及其推理的分析,也仅着眼于构成复合命题的逻辑联结词,只根据联结词的逻辑性质进行推演,而根本忽视对量词的分析;更由于传统逻辑没有“(个体)变元”和命题函项的概念,以致对于量词的研究十分肤浅.本文的主要任务,在于探索复合命题中量词的性质及其作用,以澄清对复     

数理逻辑里的真值函项是复合命题的逻辑抽象

真值函项是数理逻辑的命题演算的一个重要部分,它是人们思维里复合命题的抽象.由于数理逻辑里的抽象进行得较为深远,这些抽象的来源及其本来面目不是很明显的.资产阶级唯心论的各种流派便对于数理逻辑的概念和理论进行各种各样的歪曲,真值函项也是经常被歪曲的一个.本文的目的是从辩证唯物主义的观点来阐明真     

基于破坏性表列的模态公理系统

表列适于作为模态定理机器证明的基础.在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础.沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑.称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同.为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖M,给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统.     

合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

关于模态命题公式的一种布尔值

文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。     

一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物,辩证矛盾是对象的运动之观念中所必然包含着的矛盾。前者是同时既肯定又否定同一个n（n∈N且 n≥1）级命题而形成的矛盾,后者是同时既肯定又否定同一个0级命题而形成的矛盾。经典命题演算没有区别辩证矛盾和逻辑矛盾, 它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合乎逻辑地表达对象的运动。命题演算系统PC6区别了辩证矛盾和逻辑矛盾,具有拒斥逻辑矛盾并容纳辩证矛盾的特征,且具有可靠性和完全性,可以合乎逻辑地表达对象的运动。     

也谈复合命题之间的等值转换

本文较全面而系统讨论了普通逻辑中联言命题、相容选言命题、不相容选言命题、充分条件假言命题、必要条件假言命题和充要条件假言命题之间等值转换的一般形式,从而深化了复合命题之间的等值转换理论,同时指出了等值转换理论研究方面的不足。这对加强人们的逻辑思维训练、语言训练以及学习现代逻辑方面都具有重要的现实意义。     

真、假与命题真假意义的诠探

真和假两个概念在逻辑学中有不同的含义：一是在命题的特征中它们表达主体对客体的认识是否和客观实际情况相一致的问题；二是在同素材的四种性质命题A、E、I、O之间的真假制约关系中,它们表达主体对任何一个性质命题的赞成或反对从而相应的就是对其他三种命题的反对或赞成；三是在复合命题中,复合命题的真假是指肢命题的真假是否反映了由于逻辑联结项的不同所形成的不同逻辑关系的正误。     

联言推理新探

联言推理是复合判断推理的重要内容。我国目前出版的逻辑著作,只介绍了联言推理的组合式(即合成式)、分解式二种推理形式。这未免过于简单。人们知道,凡是一个正确的复合判断的推理形式,必须是一个永真式。而联言推理组合式的推理公式:p,q→P(?)q不是永真式。因而它不具有联言推理的逻辑性质;它只具有联言判断的逻辑性质。所以它实质上是一个联言判断,不是联言推理正确的推理形式。联言推理的分解式的推理公式:q(?)q→p,或p(?)q→q,是一个永真式,它是一个有效的联言推理形式。它是以一个联言判断为前提直接推出一个直言判断为结论的联言直接推理形式。联言推理除了联言分解式的推理形式,还有联言间接推理形式。     

儒家政治秩序构建的本体论依据

儒者的任务是要重建人间的政治秩序,期盼至善政治秩序的价值归依。为此,他们建构了一个以德治、礼治为基本治理模式的君主政治秩序样式,形成了自己独特的政治秩序理论。以天命、人性、阴阳三个基本的哲学命题为本体论依据,儒家推演和建构出一套完整的价值系统。     

论证直言命题的正确推理形式

传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为: 前提1∧前提2……∧前提n→结论     

关于Soma聚焦——偏转复合系统相对论象差公式~[1]的错误

Soma~[1]所导出的聚焦,偏转复合系统相对论象差公式(19)中存在着错误,本文证明这一点。     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

扎尔塔的二阶模态对象演算

扎尔塔所构造的的二阶模态对象演算[1]（P249-279）是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架。扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力。     

模态系统T的Herbrand定理

模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.