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

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

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

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

关于选言命题及其推理的有关问题

本文对一些逻辑学教科书和有关论著在两种选言命题的定义及其推理形式与推理规则的论述上存在的问题 ,从理论和实践上进行了辩说和探讨 ,指出了问题存在的原因 ,阐述了修正的意见     

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

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

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

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

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

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

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

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

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

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

关于选言肢穷尽的思维价值和具体要求

选言肢是否穷尽的问题是逻辑学未加以深刻讨论的问题,笔者认为原因是这个问题与具体的命题及形象思维有关,而形式逻辑的形式化特点一般是不讨论具体内容的命题的,更不讨论形象思维,所以未能得出有关理论,但逻辑理论对具体思维的规范化、准确化而言,要求选言肢穷尽是有一定价值的,选言肢是否穷尽也应该有一定的具体要求。     

逻辑方阵也适用于复合命题之间

逻辑方阵可以直观地显示命题之间的真假制约关系 ,可以由其中一种命题的真或假而推知其它三种命题的真假情况。但多少年来 ,人们还只是把逻辑方阵仅仅局限在简单命题范围之内。笔者认为逻辑方阵同样也适用于复合命题之间     

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

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

命题的一个新定义与命题的同一性问题

命题曾被定义为某些句子, 但句子没有固定的真值。 命题曾被定义为句子的意义, 但 “意义” 这个概念并不比 “命题” 更清晰。 还原论把命题定义为一种由可能世界、 可能的个体等组成的集合论性的构造物, 但这种理论意味着全部的逻辑真理表达的是同一个命题。 命题曾被定义为是一些态度 （如相信） 的对象和真值的承担者; 就是说, 命题是由它与其他对象 （如人, 真值） 的关系来定义的; 这种定义使人们有理由怀疑命题是否真正存在, 抑或是态度主体 （人） 的一种幻觉？ 命题的内容可以千变万化, 但命题的内容却有共同的形式, 不仅命题逻辑、 一阶逻辑所表达的命题, 而且二阶逻辑等高阶逻辑、 非经典逻辑的命题, 都能纳入这种形式。 根据这一点我们提出了一个新的对命题的定义。 这样定义的 “命题” 概念更加清晰, 能让我们解决命题的同一性问题。     

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

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

再论逻辑方阵也适用于复合命题之间

命题的一个显著特征在于它有真假,把握了真假关系即是把握了命题的实质。逻辑方阵已经突破了历史上仅仅适用于简单命题之间的局限性,通过逻辑方阵可以直观显示复合命题之间的真假制约关系。     

王延直逻辑思想述要

王延直是我国现代第一位吸收国外逻辑学研究成果，并自行撰写逻辑学教科书的著名学者。在他撰著的《普通应用论理学》一书中，关于名词即概念的划分理论；关于命题主、宾词充满与不充满的理论；关于命题对当的理论；关于逻辑误谬的理论等，有相当领先水平，对推动我国逻辑学的发展有不可磨灭的贡献。     

“越……越……”语句的逻辑解读

“越……越……”语句并非递进关系复句,而是表达充分条件假言命题的语句形式;两个“越”字并非关联词语,而是分别在前后分句中起限定或修饰作用的副词,因此“趔越辨越明”应该解读为“越理越辨”是“越理越明”的充分条件,而非真理辨是真理明的充分条件,正是由于解读失误,导致了97国际（华语）大专辨论会大决赛中首都师范大学代表队的失败。     

必然同一理论视角下的分析与综合

克里普克基于认识论、形而上学和语言哲学三个领域的划分提出必然同一理论,给出了一个陈述表征何种事态的合理途径,但克里普克并未始终贯彻三个领域的划分,依据必然同一理论重新界定分析陈述和综合陈述表征何种事态,反而径直接受了分析命题表征必然事态的传统观点。依照克里普克本意重新界定分析陈述与综合陈述表征何种事态,可以得出,并不是所有的分析命题都表征个体自我同一的逻辑必然事态,也并不是所有的综合命题都表征偶然事态,克里普克径直接受分析命题表征必然事态的传统观点是本可以避免的。     

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

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

性质命题及其对当关系审思

对性质命题的定义、种类、性质命题与性质命题形式、性质命题的对当关系做了全新的研究和解释。性质命题的定义不能以"性质"为种差,以"命题"为属概念;单称性质命题没必要与全称性质命题合并;性质命题与性质命题形式必须严格区分;主谓项分别相同的性质命题之间不存在真假不定的情况。     

论《知音》篇理论命题的类型、内涵及当代意义

＂命题＂是古代文论的重要构成形式。《知音》篇作为《文心雕龙》关于文学鉴赏和文学批评的专论,刘勰在文中提出了一系列有关文学鉴赏和文学批评的理论命题。这些命题从形式类型上看,主要有四种构成形式;从理论内涵上看,各有不同的思想内涵,构成了刘勰文学欣赏、批评论的基本内容;从价值意义上看,这些理论命题在今天仍然具有切实的应用价值和重要的理论意义。