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

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

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

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

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

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

"词项"--命题的元素

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

墨子命题可以取代平行公理

本文证明了中国的墨子命题与平行公理的等价性．并给出墨子命题可以取代平行公理的几点理由．     

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

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

关于直言命题间的对当关系问题

在讲授传统形式逻辑直言命题间的对当关系时,应着力讲清直言命题间真假制约关系的理论依据,关于对直言命题主项认定的几种情形,以及命题间对当关系研究进展的概况等问题,才能对对当关系理论有较为全面而正确的解说和便于人们的理解。     

考试命题系统的研究

本文提出了科学的、智能化的考试命题系统的研究方法并给出相应的数学模型，介绍据此研制的《画法几何及机械制图》命题系统，该系统只需给出三个参数：试卷结构方案，考试时间、预测平均得分，系统即可按要求自动选题、自动赋分、自动排版，最后输出一份理想的试卷。     

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

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

数学证明方法的逻辑分析

章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析，为正确简便地运用数学证明方法提供了理论依据。     

论替换中项法下的直言三段论自然推理系统

替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索.     

关于正规模态命题逻辑系统的完全性证明

;模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环.从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点.对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法.     

关于《纲要》所涉及的现代大学制度命题

<国家中长期教育改革和发展规划纲要(2010-2020年)>明确地提出了建设现代大学制度的任务目标,其中涉及大学运行机制、教师管理制度、学生管理制度和研究生教育制度等几个基本命题.     

学术论文的逻辑范式

学术论文的逻辑范式,理想完备的论证结构,有三项基本要求:第一,论题明确.第二,论据充分.第三,论证合理.     

复合命题推理与立体逻辑方阵

立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系.即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系.这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性.     

永真公式形成系统初探

永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。     

论朱载堉的“舞学”体系

朱载堉（1536—1611年）,明代著名的律学家、历学家、数学家。他在《律吕精义.外篇》中,从舞蹈的社会功能到艺术功能,从舞蹈的内部结构到外部形态,从舞蹈教育到舞蹈表演,进行过较系统的论述,并提出了一系列很有意义的命题。这个＂舞学＂体系由一系列的专有名词组成,解读这些名词就是对该体系的重新建构,有较强的的理论和实践意义。     

卷取机EPC控制系统数学模型的确定及其动态特性

本文利用控制理论中的传递函数方法建立了EPC控制系统的动态数学模型,为研究该系统的动态品质提供了理论依据。同时,根据现场的测试情况,对该数学模型进行了验证和分析,其结果是可行的。     

三值逻辑系统的分析与比较

对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,反映了各自产生的背景与目的。