传统逻辑直言命题对当关系推理成立之条件

传统逻辑直言命题对当关系的推理并不是在任何条件下都成立,而是有这样一个重要的预设：主项和谓项所反映的对象不是空类,都是客观存在的。     

试析性质命题与其负命题间的对当关系

目前,人们对对当关系的研究,主要在相同素材性质命题的对当关系、模态命题的对当关系、规范命题的对当关系以及复合命题的对当关系几个方面,性质命题与其负命题之间的对当关系从未涉及.事实上,相同素材的性质命题与其负命题之间也存在着对当关系,借助数理逻辑的真值表和逻辑方阵可知相同素材的性质命题与其负命题间共存在十六组对当关系.性质命题与其负命题间的对当关系的推断对简化思维程序、缩短思维时间具有一定的意义.     

直言命题变形推理特例分析

传统逻辑学的演绎推理是在一定的条件限制之下进行的。直言命题变形推理形式"SAP→SOP"的成立,超出了传统逻辑理论中"前提中不周延的项在结论中不得周延"这一普遍规律的限制。我们可以把"SAP→SOP"这一推理形式看成直言命题变形推理中的特例,但不应该把它看成亚里士多德开创的传统逻辑学的缺欠和不足。     

论直言命题的存在含义--对一个老问题的系统思考

词项逻辑有一个实质性假定：即直言命题的主项和谓项只能指涉由实存个体组成的一个非空非全的类。但它同时又试图发展成为一个纯形式的理论，该实质性假定不参加其具体的推理过程，由此导致一些奇怪的结果：如每一步都正确的一个推理过程，其最终结果却违反了它的推理规则。解决的办法就是去掉该实质性假定，像现代逻辑一样纯形式地发展其理论。     

复合命题对当关系直接椎理初探──兼论相同素材复合命题之间、复合命题与其支命题之间的关系

本文借助真值表首次归纳出同素材复合命题间的真假对应关系和复合命题与其支命题间的真假对应关系，这些对应关系的得出为复合命题对当关系直接推理提供了理论根据。复合命题对当关系直接推理的建立填补了复合命题演绎推理的一项空白。复合命题对当关系直接推理的运用对简化思维程序，缩短思维时间有重要意义。     

关于直言命题谓项周延性的教学

对于直言命题谓项周延性的教学,教师感到棘手,学生很难理解。如能根据学生“直观→实践”的学习心理活动方式和语言逻辑的实际能力,采用添加法、换位法、图示法等直观教学法,则可有效突破这一教与学的难点。     

用现代逻辑方法证明直言命题变形推理的有效性

直言命题变形推理是否有效,引入现代逻辑CS系统可以对直言命题变形推理进行构造和证明。它改变了我们传统依赖变形推理规则考察变形推理能否成立的做法,丰富了形式逻辑的教学内容。同时,通过对CS系统的引入,能够证明A、O命题是可以进行同质等值换位的。     

"词项"--命题的元素

逻辑学中构成命题的元素"词项"与其它学术范畴中的思维的细胞"概念"是两个不同的对象,词项大于概念,是概念与表达概念的符号的统一体.二者不是同一个事物,不能共用同一个名称.但某些逻辑学教材仍将二者等同,本文主要谈它们的区别.     

系词“是”的涵义的现代逻辑辨析─—兼论直言命题的逻辑与关系逻辑的关系

系词“是”的涵义问题是直言命题的逻辑的一个重要问题，学术界一般认为在自然语言中东词“是”有着多种涵义，在笔者看来这一观点颇值得商榷。木文以现代逻辑为工具，对直言命题进行了深入的分析，并以此认为，系词“是”是有着统一的涵义的，它毫无例外地表达等同于关系。由此出发，本文进而认为，直言命题的逻辑应建立于关系还辑的基础之上，从关系逻辑的观点来研究直言命题及其推理，必定会深化直言命题的逻辑理论。     

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

目前,人们对对当关系直接推理的研究,主要是同素材的性质命题、模态命题、规范命题以及复合命题间的对当关系直接推理,而相同素材的性质命题与其负命题间尚未涉及。事实上,根据相同素材的性质命题与其负命题间对当关系也能进行有效的直接推理。     

关于含有否定词语的命题的断定

含有“没有”、“并非”、“不”等否定词语的命题,在直言命题及其推理中经常出现,对其如何断定是一个难点。另外,本文认为直言命题联结项省略补出后,只能还原为肯定命题而不能同时又是否定命题。     

传统三段论的一个简明体系——基于直言命题语义与性质

传统逻辑中的直言命题其实是表达论域上两个集合外延关系、具有二元量化结构的命题的特例。直言命题的语义与对称性和周延的方向性等性质是三段论的根据,据此可以建立传统三段论简明体系。     

试论对当关系推理和联言推理的规则

几乎所有的普通逻辑教科书和辞书,都没有表述性质命题对当关系推理的规则、模态命题对当关系推理的规则、联言命题推理的规则。本文对此进行了探讨,试给出了各推理的规则,经检验是行之有效的。     

关系命题的语言问题探究

关系命题是反映事物之间具有某种关系的思维形式。本着眼于对称性关系命题的语言形式的研究,根据这种关系命题的谓项不同,把它分为三种语言形式：一、SVa形式,主语 相关动词;二、SVb形式：主语 交接动词;兰、SVcO形式：主语 互向动词 宾语。     

试析关于命题的困惑

读了《中学数学教学参考》2 0 0 2年第 1～ 2期上刊发的《关于命题的困惑》一文 (以下简称《惑》文 ) ,笔者认为的确有必要明确一下关于命题的概念 .本文针对《惑》文提出的问题试给出解析于下 .1　关于命题的定义《惑》文指出 ,初中数学教材将命题定义为“判断一件事情的语句” ,而高中数学教材将命题定义为“可以判断真假的语句” .《惑》文认为“两个定义含义不同” ,并举例说“4的平方根是 2”用初中的定义容易判定为命题 ,而用高中的定义却难以下结论 .笔者认为 ,初中的定义与高中的定义本质上是一致的 这是因为 ,判断必有真假之分 ,…     

关于命题教学中的几个问题

在全日制高中新教材中,"简易逻辑"是新增的一部分内容,有关命题教学中的一些问题,师生普遍感到在认识理解上存在着一定的困难,特提出来供大家参考.     

A命题的系统

直言命题可以归结为A、E、I、O四种基本类型。A命题就是全称肯定命题,在日常语言中可以表达为所有X是Y。A-命题可以推广成An-命题。全体有效的An-命题将形成一个系统An。在文献[1]中,莫斯给出了A0和A1的公理系统,并分别证明了它们的完全性。另将给出An的公理系统并证明它的完全性,从而统一了A0和A1的处理并推广了莫斯的结果。     

关于“命题”的学习与思考——兼答《关于命题的困惑》

高中数学新课程中增加了“简易逻辑”这一内容 .在教学中有些教师在此遇到不少困难 ,《中学数学教学参考》2 0 0 2年第 1～ 2期刊出的《关于命题的困惑》(以下简称《困惑》)一文提出了一个具有代表性的困惑 .笔者对此进行了相关的学习与思考 ,愿在此与同行交流 ,供参考 ,同时也     

关于“概念间的关系”的问题

“概念间的关系”是《普通逻辑》（或《形式逻辑》）中的一个不可忽视的重要问题，而现行各种版本的教科书都存在着对其种类划分不够科学严密和对此章节内容编写 环节存有缺陷的问题，本针对这些问题提出了建设性的弥补意见和措施。     

命题的否定与否命题

高中数学课本中《简易逻辑》内容,许多同学对其涉及到的命题的否定与否命题感到不易理解,以下就二者的联系与区别谈一下自己的认识。1.命题的否定命题之间有反对关系,也有矛盾关系。互为反对关系的两个命题之间具有不能同真,可以同假的逻辑关系;互为矛盾关系的两个命题间具有不能同真也不能同假的逻辑关系,即互为矛盾关系的两个命题间有且只有一个是真命题。一个命题的否定是指该命题的非命题,因此,一个命题的否定与该命题是矛盾关系,而不是对立关系。如下列命题:①“实数都是正数”与“实数都不是正数”;