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

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

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

关系命题及其推理三题

我国普通逻辑学著作中流行的关系命题及其推理的有关理论 ,至少有三个问题值得商榷 :( 1)如果说性质命题有联项 ,则就不能否认关系命题也有联项。实际上 ,它在汉语中有三种表现形式 ;( 2 )纯粹关系推理的有效形式应该包括反映或指称某关系具有某逻辑性质这种客观内容的命题的形式 ,后者始终隐含地作为前提参与推理 ;( 3)关系推理和一切推理一样 ,其推演依据在于所有作为前提和结论的命题的逻辑性质 ,而根本不是“关系的逻辑性质”这种东西     

从关系逻辑的观点看直言命题换位律的一般意义

长期以来，人们习惯于把直言命题与关系命题并列起来，并因此把直言命题的推理与关系命题的推理并列起来，似乎它们是不同种类的命题或推理。这在客观上阻碍了人们对直言命题及其推理的深入研究。本文从“直言命题是关系命题”这个观点出发，刻划了换位律的一般形式结构，并以此说明了换位律的一般意义，从而从一个侧面揭示了直言命题及其推理与关系命题及其推理在形式结构上的统一性。     

浅谈论辩中简单命题矛盾关系的表现形式

简单命题间的矛盾关系在论辩中须通过一定推理形式表现 ,三段论第一格的AAA式和EAE式 ,第三格的EAO式和AAI式是论辩中简单命题间一真 ,则另一必假矛盾关系的主要表现形式。充分条件假言推理否定后件式 ,假言联言推理否定后件式及二难推理破坏式是论辩中简单命题间一假 ,则另一必真矛盾关系的主要表现形式。肯定命题谓项不周延及换位 ,负命题及等值命题理论是简单命题矛盾关系在论辩中表现的理论基础。特称命题“特称量项”的不确定性只有在论辩中通过以上推理形式体现 ,这也是特称量项“有些”和日常用语“有些”的根本区别。     

论命题形式断定的确定性与真值容量及断定范围的关系

本文通过论述命题形式的本质──命题形式断定的一般关系，校正了逻辑界对断定的误解，然后通过实例与理论分析，阐明了命题形式断定的研究性与真值容量及断定范围的关系，从而使命题形式的外延（真值）有了相对应的内容──内涵，由此进一步阐明了推理有效性的必然根据及其它一些逻辑问题。     

论《墨经》中的"止"式推理

在《墨经》中,"止"作为一种重要的推理形式共出现四次:一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎出的个别结论;四是反映模态矛盾命题之间的对当关系推理。     

换质法不是直接推理──对一个存疑问题的新解释

现行的普通逻辑教材把演绎推理分为直接推理（仅有一个前提的推理）和间接稚理（有两个或两个以上前提的推理）两种，并认为换质法是直接推理，这种观点引起严重的疑难问题：命题变形推理即使遵守了推理规则也不能保证前提中不周延的词项到结论中不周延。因此，换质法不是直接推理，而是间接推理。因为它除包含被换质命题作为其前提外，还包含着一个必然为真的前提。     

对当关系直接推理外延的新扩展

目前 ,普通逻辑的对当关系直接推理仍然局限在简单判断之间。本文认为 ,复合判断之间也能进行有效的对当关系直接推理。联言判断、选言判断、假言判断以及各自负判断的等值判断之间的相互推演 ,均可构成对当关系直接推理新的有效形式     

模糊取式推理的R0方法

用R0蕴涵算子描述了模糊命题“若A则B”,并通过一个例子给出了运用模糊取式推理的R0方法进行推理的具体操作过程．结果表明,运用该模糊推理得到的结论是与人们的思想相吻合的．     

休谟论习惯的本性与作用——基于感性情感分析

休谟哲学坚定地贯彻了经验原则与怀疑原则,最为显著的是他立足于习惯、情感、信念等人的自然本性来怀疑理性的权威,探求人的认识能力的限度。习惯在休谟的人性哲学中是一个尤为重要的概念,对于整个休谟认识论思想的构建起到了关键性作用。从休谟的著作中不难发现,习惯作为人的一种自然本性呈现出感性特性,并且在因果推断中发挥主导作用,从而使因果推断具有可然性而非绝对必然性,这就将感性情感推到了首要地位,凸显了一条感性经验推断路线。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

CAPP专家系统主要推理条件的建立

针对一些CAPP专家系统存在的整体推理功能和实用性差的问题,本文从工程实际出发,提出了CAPP专家系统的一种推理模块,并对其相应的主要推理条件等作了分析讨论。     

逻辑方阵的普适性探讨

2 0世纪 90年代以来 ,逻辑学界对逻辑方阵的研究取得一定成果 ,打破了逻辑方阵仅适用于简单命题范围之内的狭隘认识。认为逻辑方阵适用于一切命题。但仍显不足。笔者以为 :逻辑方阵不仅适用于命题之间 ,还适用于推理与推理之间、命题与推理之间 ,具有真正意义上的普适性特征。     

图式理论对语用推理的影响

语用的推理是动态性的,具体语言交际中参与语用推理的因素是不确定的。关联理论对语用推理的影响已被大量研究,却很少有人从图式理论这一角度进行探讨。文章探讨了图式理论对语用推理的影响,期待能进一步探讨语言形式与内容实体之间的关系,以达到更好交际的目的。在生活实践中,尽量避免因图式对语用推理的消极影响而受欺骗。     

从关系逻辑的观点看三段论

从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。     

法律推理的两个有效性——法学与逻辑学的追问

法律推理的目的是依据一定的法律前提得出一个有效的判决结果。因此 ,有效性是法律推理的一个重要课题。法律推理的有效性包括两个方面 :一是形式有效 ,即逻辑上有效 ;一是内容有效 ,即法律上有效。     

语言哲学视野:论文学实践本性

文学实践性是马克思主义文学理论固有的题中之义。本文在汲取当代语言哲学理论成果的基础上，力图对文学实践本性作出新的阐述，认为从话语的基本特性──主体间性和对话性出发，可以合乎逻辑地推演出话语的实践性。