命题性质对大学生条件推理的影响

本研究旨在探讨命题性质对大学生条件推理的影响。研究结果显示:男生在抽象命题的MP形式和AC形式以及具体命题的DA形式上的判断成绩显著地高于女生;具体命题的4种推理形式(MP、MT、DA、AC)的成绩都极其显著地高于抽象命题;大学生在抽象命题和具体命题中的AC形式成绩显著地高于MP形式,也极其显著地高于DA形式。本研究的结果不支持规则理论和心理模型理论。

否定副词“不”的逻辑功能——试论自然语言中性质命题的规范化

在性质命题中,否定副词“不”具有促进命题性质转变的重要功能。在由自然语言向标准逻辑命题规范化的分析整理中,需遵循逻辑规律和在不改变命题原意的原则下进行还原。

试论性质命题主、谓项周延性的量词方法

性质命题主、谓项周延性“含糊”的问题如何解决,产生过表解法、图例法、与欧拉圈分析法等等.文章在诸多方法之外,提出了性质命题的量词方法,并阐述了量词方法的特征、规则及运用方式.

论性质命题形式项的周延性

周延问题是我国逻辑学界讨论了较久的一个理论问题.笔者以为,现有的某些周延理论需要精确,需要完善.本文所作的工作是:将传统逻辑的欧拉图扩充成性质命题形式的语义解释,严格区分性质命题形式的主项或谓项与性质命题的主项或谓项这两个不同层次的概念,并从语义角度论述性质命题形式项的周延性;剖析某些周延理论中隐藏的逻辑矛盾,并说明本文的周延理论是怎样消除逻辑矛盾,完善现有的周延理论.一性质命题形式的语义解释定义1.1:性质命题形式(或公式)指的是SAP、SEP、SIP、SOP这四种形式,在本文中有SHP代表这四类公式,S是性质命题形式的主项,P是性质命题形式的谓项.定义1.2:性质命题是指对性质命题形式的主项和谓项代入具体的词项所形成的有意义的命题.例如,将SAP的S的代入“白马”,将P代入“马”得到“所有白马是马”是一个性质命题,其中“白马”是主项,“马”是谓项.

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

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

模态性质命题真值关系考察

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

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

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

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

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

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

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

三角形与三棱锥的两个性质命题的逆命题

文[1]讨论了三角形的一个向量性质并将其推广到三棱锥中．命题1如图1所示，已知△ABC及其内部一点P，若λ1^→PA＋λ2^→PBλ3^→PC=^→0,λ1,λ2,λ3都是正实数，过点P作直线与AB、AC两边分别交于M、N两点，且^→AM=x^→AB,^→AN=y^→AC,则λ2/x＋λ3/y=λ1＋λ2＋λ3.

单称命题及其推理

一般逻辑书对单称命题仅在讲命题或判断的分类问题时,一提而过。至于单称命题的逻辑特性、有关单称命题的推理等,则略而不讲,或语焉而不详。这对普通逻辑来说,是一种缺憾,因为日常思维中经常地使用着单称命题。为了使逻辑不脱离思维实际,对于这些问题,有加以探讨的必要。

如何正确把握肯定命题谓项的周延性

项的周延性是性质命题形式中对主项、谓项外延数量的断定情况。本文从肯定命题的逻辑形式、肯定联项“是”

关系命题及其推理三题

我国普通逻辑学著作中流行的关系命题及其推理的有关理论 ,至少有三个问题值得商榷 :( 1)如果说性质命题有联项 ,则就不能否认关系命题也有联项。实际上 ,它在汉语中有三种表现形式 ;( 2 )纯粹关系推理的有效形式应该包括反映或指称某关系具有某逻辑性质这种客观内容的命题的形式 ,后者始终隐含地作为前提参与推理 ;( 3)关系推理和一切推理一样 ,其推演依据在于所有作为前提和结论的命题的逻辑性质 ,而根本不是“关系的逻辑性质”

圆的一个切线性质在圆锥曲线上的推广

本文通过圆的一个切线性质,类比出椭圆的一个切线性质,并加以证明和推广,完成一次特例、类比、证明、推广的思维操作过程。

普通逻辑中的真假概念辨析

本文揭示了以往普通逻辑中真假概念界说的疑难及其根源，依据普通逻辑的学科性质及研究特点．对真假概念作出了新的界说，使其与普通逻辑的体系内容达到协调一致，利于普通逻辑的教学与研究。

含负词项的三段论研究

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

传统逻辑的对当关系及其推理与主项是否为空词项无关

传统逻辑的对当关系及其推理，只与两个问题有关：１．Ａ、Ｅ、Ｉ、Ｏ四种命题是否为同素材的命题？２．它们是否既真在质上又真在量上？而与它们的逻辑变项是什么样的词项无关。现代逻辑在这两个问题上都存在着问题，其根本原因是不愿承认下面的事实：当主词Ｓ（或┓Ｓ）为空词项时，在Ｓ∩┓Ｐ和Ｓ∩Ｐ（或┓Ｓ∩┓Ｐ和┓Ｓ∩Ｐ）两个交集中，必有一个是有相同元素“φ”的特殊的存在集，并非都是没有相同元素的不存在集（或空集）。

论周延的语义解释

本文所作的主要工作 ,是将传统逻辑的欧拉图扩充成性质命题形式的语义解释 ,严格区分性质命题形式的主项 (或谓项 )与性质命题主项 (或谓项 )这两个不同层次的概念 ,从语义角度定义了周延、不周延这两个概念 。

试谈新课程标准下初中语文试题的命制

新课程的实施和推行对试题的命制提出了更新更高的要求。本文从初中语文命题的目标和性质入手,进一步明确了命题的基本要求,分析了命题双向细目表的构建流程,并通过语言积累与运用题、现代文阅读题、古诗文阅读题、作文题四种题型的命制例析详细探讨了初中语文试题编制的具体方法。