管窥充分条件假言命题

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

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

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

论句式修辞的逻辑手段

一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。     

浅析离散数学在计算机科学中的应用

数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算，其在计算机硬件设计中的应用更为突出。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理(充分条件假言推理、必要条件假言推理、充分必要条件假言推理)、尽举选言推理(尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理)、非推导逻辑定理(不矛盾定理、排中定理)等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

窥探充分条件假言命题及其推理的思维张力

充分条件假言命题是从类似"如果……那么……"作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。     

对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理。假言推理研究的进程大致可分为两个阶段：第一阶段是从20世纪60年代至70年代末——问题提出阶段,第二阶段是从80年代初至现在——理论发展阶段。纵观假官推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题。     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如:在全国有广泛影响的《普通逻辑)就认为:"并非(要么P要么q)"的等值命题是"(q并且q)或者(非q并且非q)",即qVq什(pAq)V(户八万)O;"并非(当且反当p才q)"的等值命题是"或者(p并且非q)或者(非p并且q)",即灭了万0(pAl)V(lAq)O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值命题我们知道,一个不相容选言命…     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如：在全国有广泛影响的《普通逻辑）就认为："并非（要么P要么q）"的等值命题是"（q并且q）或者（非q并且非q）",即qVq什（pAq）V（户八万）O;"并非（当且反当p才q）"的等值命题是"或者（p并且非q）或者（非p并且q）",即灭了万0（pAl）V（lAq）O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值…     

论辩证法、认识论在逻辑基础上的统一－－普通逻辑十论

普通逻辑是思想解剖学的论证逻辑，同一律是论证的规则。本文对虚概念与实概念，同一律与定义，因果与条件、类比、归纳与演绎、联言、选言与假言、概念、判断与推理等一系列关系，在辩证法指导下，从认识过程作贯通的考查；并据此证明，普通逻辑转化为认识逻辑（辩证逻辑）的必要性与可能性。认识逻辑是对黑格尔、恩格斯、列宁逻辑思想的直接继承与弘扬。     

自然语言充分条件句的逻辑分析

自然语言中的充分条件句从逻辑上分析,包括了两种不同的情况。一种充分条件句两个分句之间具有"有前件就有后件"的蕴涵关系,因而表达逻辑上的充分条件假言命题;另一种充分条件句两个分句之间具有共存关系,不具有蕴涵关系,因而不表达逻辑上的充分条件假言命题。这两种充分条件句在交际和论证中有着各自不同的功能。弄清其区别和不同功能,就能够更好地为我们的思维实践服务,从而提高我们的思维能力和语言表达的效率。     

充要条件假言命题也可作二难推理的前提

现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断，而把充要条件假言判断排除在外，从而遗漏了一部分有效式，本文在这方面作一定的探讨，并总结出了二难推理的全部有效式。     

数学推理规则及其应用

§1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基础分支,它的功用之一是研究数学中使用的演绎推理的性质,并建立判定推理有效性的准则。在命题演算中采用五种逻辑联结诃     

直言命题的运用并非纯逻辑的——评逻辑教材自身的逻辑矛盾

普通逻辑(或称形式逻辑、传统逻辑)所研究的命题形式(或称判断形式)之所以具有抽象的概括的与纯形式的性质,是因为逻辑学研究思维形式(或称思维的逻辑形式)时,要暂时撇开思维内容。而现行逻辑教材中,谈及“正确运用直言命题”时,却不顾这一特性,将命题的形式与命题的内容“相提并论”。既然逻辑学只研究逻辑问题,就不该涉足非逻辑问题;命题运用既涉及逻辑问题,也涉及非逻辑问题,就不能推给逻辑学去解决,否则,必然出现逻辑矛盾:逻辑学的研究对象只是思维形式,同时,它又不仅限于思维形式。     

试论数学推理方法的逻辑根据

数学的基本特征之一,是逻辑推理的严格性以及它的结论的确定性。那末逻辑推理的确切涵义与根据是什么呢?本文试用逻辑代数的观点给以阐述。数学中推理的有效性数学中的命题,大都具有“如果…,那么…”的形式,或者,更简单些可以表为“若p则q”,其中p,q是命题。命题“若p则q”称为“条件命题”或“假言命题”,在逻辑代数中表为“p→q”,p称为前提(条件),q称为结论(终结)。命题p→q的真假由下表给出:     

近十余年贵州普通逻辑研究概述

1980至1993年是贵州省逻辑工作者研究普通逻辑成果最多的时期，先后出版了一批教材和教参，发表了甘多篇论文。现将比较重要的观点归纳介绍于后：一、学科名称。有的同志赞成将“形式逻辑”，改为“普通逻辑”。使用“普通逻辑”这个名称，有助于人们把它既和真正的形式逻辑即数理逻辑区别开来，又和以辨证思维形式及其规律为研究对象的辩证逻辑区别开来。为了名符其实，有同志建议也可改称为形式逻辑与科学方法论。二、体系和内容。有的同志提出既要从符号化与概括现代语言材料两方面探索，又不能只局限于在这两方面。还要注意研究思想基本…     

裁判推理的四种有效模式——以否定式裁判推理为中心

当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理,其缺陷在于忽视了法律规定的多样性和事实不明的可能性,特别是不能说明否定式裁判推理之有效性。重建裁判推理的有效模式,须以整体适用的思维反映裁判推理的实际,将所有那些或明或暗地起着实际作用的法律规范都纳入大前提之中,并且注意证明责任对裁判的特殊影响。由此,可以确立以充要条件假言规范命题为大前提的四种裁判推理有效模式。