《复合命题及其推理的若干理论问题辨要》的辨要

就复合命题的判定问题、相容选言命题和不相容选言命题的逻辑特性问题、联言推理对前提的要求问题、假言推理的依据问题、“不是……就是……”能否当作某一复合命题的联结词使用的问题提出与《复合命题及其推理的若干理论问题辨要》一文不同的意见。     

复合命题及其推理的若干理论问题再辨——答王跃平先生

本文就复合命题中是否存在着命题联结词、“孙勇是江西人是可能的”等命题属于何种命题、相容和不相容选言命题的选言支是否可以同假,以及其选言支之间具有何种关系、联言推理的前提中是否必须有联言命题、假言推理是否只是依据假言联结词的逻辑性质、“不是……就是……”是否具有固定逻辑涵义等问题,全面反驳了《<复合命题及其推理的若干理论问题辨要>的辨要》对拙文《辨要》所提出的批评意见。     

谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。     

复合命题及其推理的若干理论问题辨要

本文从匡正谬误、维护逻辑学理论的科学性出发，对广为流行于我国的多种普通逻辑教材和辞书关于复合命题的定义、关于两种选言命题的定义、关于“不是……就是……”表达何种命题、关于负命题是否只有一个等值命题，以及关于联言推理的定义、关于假言间接推理的另一前提和结论是何种命题等问题所持的错误观点，从理论和实践上进行了简要的辨驳     

现行形式逻辑中推理理论存在的问题

随着科技的发展和人类的进步,传统形式逻辑的局限性日益突出。为了走出这一困境、发展传统形式逻辑以便适应现代社会的发展需要,在一些流行的形式逻辑中出现了"吸取数理逻辑"的改良法。但是这种简单、机械的结合,不仅没有达到发展传统形式逻辑的目的,而且还产生了无数的问题。在当代形式逻辑的科学理论指导下,从推理的逻辑特征出发,客观地指出并分析流行形式逻辑推理理论中出现的弊端,这一工作对于传统形式逻辑的当代发展有着重要的意义。     

二难推理需要遵守选言推理的规则吗?

无论是从推理机制还是从前提构成看，二难推理实质上都属于充分条件假言推理因而需要遵守充分条件假言推理的规则。所谓二难推理属于选言推理因而需要遵守选言推理规则的说法是不能成立的。     

二难推理新探

二难推理是一种特殊形式的假言选言推理 ,不能将二难推理简单地等同于假言选言推理。同时 ,二难推理也是一种揭示、表达内心思想冲突的思维工具 ,具有强大的认识功能。     

也谈二难推理——兼与邓强、万殳平同志商榷

可以用假言选言推理来概括“二难推理” ,把选言前提看成相容选言判断     

几种推理定义之商榷

本文具体分析了几种类型推是的定义中所存在的问题，同时提出了正确表述这些定义的意见。     

关于二难推理的几个理论问题

本文论述了二难推理的三个理论问题:一是构成式和破坏式的内涵界定问题;二是构成式和破坏式的等值转换问题;三是选言前提的种类问题。深入研究这三个理论问题。在不断完善二难推理理论方面有一定的现实意义。     

二难推理与假言选言推理关系新说

二难推理与假言选言推理这两个概念之间，既不是逻辑学界多数人所认定的种属关系，更不是少数人所坚持的同一关系，而是一种“体”与“用”的关系：即假言选言推理是“体”，是逻辑上的普遍形式；而二难推理则是“用”，是假言选言推理这一“逻辑上的普遍形式”在论辩场合的具体运用。换句话说，二难推理是由两个假言前提和一个二肢选言前提组成的假言推理的一种最常见的运用形态，而决不是推理形式。故任何时候，形式逻辑都不应围绕“二难推理”正面展开。据此，国内现行逻辑教材尚有重新审视的必要     

论选言推理在侦查工作中的运用

选言推理在侦查活动中具有重要的作用。本文分析和探讨了选言推理的特征及其在侦查工作中的运用情况,阐明在逻辑上进行有效的推理,可以为迅速查明案件真相、提高办案效率提供思维保证。     

“……也行，……也行”的逻辑意义分析

“……也行,……也行”的逻辑意义是非常明确的。从推理的形式上讲,“……也行,……也行”表达的是假言选言推理简单构成式,是不相容的;从推理的语义上讲,“……也行,……也行”表达的是两可推理。     

模态联言、选言命题与联言、选言模态命题

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。     

关于对当关系推理的界定

对当关系推理在逻辑学中一般被作为性质命题直接推理的重要组成部分，但是其推理形式与对当关系推理的内涵并不完全一致，有些推理形式甚至出现在负命题推理部分，存在前后矛盾的现象。对对当关系推理的内涵和外延的重新界定表明，对当关系推理包括性质命题的对当关系直接推理和性质命题的负命题推理两大类型。     

重释"李约瑟命题"(续)——论因果和选言命题的二难推论问题

“李约瑟命题”除了在语义的逻辑结构上存在着三个二难推论外,在命题的表述形式上也存在着若干二难。它们由线性的因果决定和不相容选言命题的形式构成。本文尝试性地分析了这些命题的形式结构,尤其是当它们联用时所内含的二难推论的意义,并将之置于历史语境中作对比分析;最后,在方法论层面上概括其形成的原因,揭示其内在的转换方向的可能性。     

正确认识不相容选言命题--对于德礼、倪荫林二先生争论的介入

不相容选言命题是对客观事物间不相容选择关系的反映,同反映客观事物间相容选择关系的选言命题应该是并列关系,而不是种属关系.断定一命题形式是不是独立命题形式应遵循以下几个原则这一命题形式反映的是不是客观事物间最基本的关系;这一命题形式是否具有典型性和代表性;对于不同的逻辑体系,命题的独立性具有相对性,普通逻辑的性质和特点决定了断定一命题形式是否具有独立性的一个标准是是否有典型的语言形式与其对应.     

论不相容选言命题的真值表及其逻辑特征

许多传统（普通）逻辑的教材对不相容选言命题定义的表述存在着一些问题，使人们在用真值表对不相容选言命题进行判定时并没有了解其潜在的局限性。再加上人们忽略了不相容选言命题联结词是一个二元关系联结词这种性质以及在构造真值表时错误地省略其步骤，从而导致认为不相容选言命题的真值表未能反映其逻辑特征。事实上，不相容选言命题的真值表如实地反映了其逻辑特征。     

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

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

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

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