必要条件假言命题若干问题新探

就必要条件假言命题的汉语表达式及其分类、判定真假依据、负命题的等值式，以及以此类命题作前提的反三段论等问题，作出了全新的探讨。归纳出16种汉语表达式，并加以分类；认为：必要条件假言命题的真假只能依据其前、后件之间客观上是否具有必要条件关系之标准来判定；认为p←q实即→p→□→q，其否定式是“→p∧→□→q”，而不是“→p∧q”；揭示了必要条件反三段论的内涵、逻辑结构，并给出了它的有效推理式。     

性质命题推理有效性的欧拉图解法判定

凡性质命题推理有效式。就是在欧拉图解中证明为前提真结论必然真的推理形式;凡性质命题推理无效式．就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点：准确画图、准确识图和准确判定。判定三段论的有效性。要能根据假定前提为真时的大、小前提命题形式的欧拉图．准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性,必须把S、P两个主、谓项的欧拉图。改造成S、P、S、P四个主、谓项的欧拉图,并能准确识别四种性质命题形式欧拉图中S与P、S与P、S与P、S与P这四种外延关系分图。     

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

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

论排中律在演绎推理中的作用──兼论“可真可假”(真假不定)蕴涵的有效推理形式

虽然每一本逻辑教材都在普通逻辑基本规律的概述中论及逻辑基本规律普遍适用于各种思维形式,但在每个规律的具体介绍中却较多关注时概念、判断的适用.很少看到这些规律适用于推理的详尽论述。排中律的公式是选言判断,因此,它是选言判断和选言报理的逻辑基础。问题是：排中律在演绎推理中的作用仅限于此吗？答案是否定的。排中律在演绎推理中还有另外两个重要的作用：丰富有效推理形式;有助于识别无效推理形式。一、丰富有效推理形式现代逻辑认为：某一命题变元及其否定均出现的简单析取式是永真简单析取式。永其简单析取式是重言式。排…     

数学命题证明形式的逻辑分析和判定

数学命题的证明步骤是由已知备件逐步推演形成的系统。我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提，然后把这些前提合取并与之导出的结论构成数理逻辑蕴涵式。如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。     

复合命题推理逻辑方阵类型研究

复合命题推理逻辑方阵的类型分为基本类型和派生类型.从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间.     

含负词项的三段论研究

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。     

主范式在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。     

假言+选言推理的逻辑构造,判定和使用

“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。     

谈谈词项逻辑的几个问题

传统词项逻辑预设直言命题主项非空,尽管可以使包括单称命题在内的对当关系全面成立,但是又带来词项逻辑不再具有普适性等诸多问题。因此,现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则,而不是推理规则,那么,被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外,还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。     

谈归纳原理和数学归纳法

数学归纳法是数学中的一个最基本的工具。归纳公理是一个基本的归纳原理 ,第Ⅰ与第Ⅱ数学归纳法具有等价性。只有递归命题才能运用数学归纳法 ,而判别一个与自然数相关的命题是不是递归命题 ,则是运用数学归纳法的前提     

论"立君为民"在民本思想体系中的理论地位

在民本思想体系中,"立君为民"这个命题处于极其重要的理论地位.从历史过程看,"立君为民"观念的产生早于"民为国本"观念;从理论价值看,"立君为民"是"以民为本"的终极依据;从思维逻辑看,"民为国本"、"政在养民"是"立君为民"的推论;从影响范围看,"立君为民"比民本思想的其他命题获得更广泛的认同.这个命题从政治本体论的角度论证了民在政治生活中的地位,即国家、社稷、君主皆为民而设.是否认同"立君为民"是判断是否属于民本论者的最重要的尺度.     

模糊限制语在商务英语中的应用研究

模糊限制语在商务英语中的应用是一种有趣的语用／话语现象。模糊限制语可以对命题进行修正．可利用语言手段策略达到特殊的交际目的，使言语礼貌、含蓄、语气缓和等。在商务交际中，模糊限制语可具有不同的语用功能。通过使用模糊限制语，能使话语更加得体、委婉、可信、确定或含糊、灵活等，并为他人判断其真值留下空间。     

关于必然命题种类的探讨

必然命题是逻辑学中一类重要命题，自从有了可能世界的理论．关于必然命题种类的探讨越来越深入，具体。本文初步探讨了关于必然命题的一些主要种类。     

墨家与亚里士多德命题论之比较

命题理论是逻辑学的重要内容。墨家和亚里士多德都讨论了命题的本质、命题的类型及关系、模态命题等基本问题,形成了丰富的命题理论。但他们对这些问题的讨论又有很大差异。比较二者的同异,有利于进一步认识中西方古代逻辑的相同本质和不同特点。     

邓小平的关于不要争论“姓社姓资”命题的内涵

在改革的许多重大问题讨论中,有人常提到邓小平的不要争论“姓社姓资”的命题,其实,这是对邓小平的“姓社姓资”命题的误解。这个误解的出现有解释学的根源。邓小平的这个命题的真正内涵在于强调如何争论,体现了邓小平理论的精髓。要正确理解邓小平的这个命题,必须从马克思主义的基本观点出发,从该命题提出的时代背景出发,从邓小平理论的整体性出发;要把该命题看作生动的时代的鲜活理解,不是超越时空的、呆板的冰冷结论。     

尽举选言命题及其推理

尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。     

高中教学中的作文命题现状

作文命题研究作为作文教学研究的重要环节,关系着作文训练的成效.但是长期以来,高中教学中的作文命题研究却明显缺位.鉴于此,在分析当前高中教学中的作文命题现状,探讨其中存在的主要问题,并剖析其原因,以期对提高中学作文教学质量有所启示和帮助.     

高中化学命题内容及程序的研究

以高中化学命题思路为研究重点,从研究教材、研究高考考试走势、以及命题的基本要求和程序中总结出命题的方法,以期服务于高中化学教学,优化教学方法,提高教学质量.     

实质蕴涵与自然语言中的相关蕴涵命题分析

实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。提出“相关蕴涵,,概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。