试论主项为空对传统逻辑基本理论的影响

从现代逻辑的角度看,传统逻辑在主项存在问题上存在有严重缺陷。去掉直言命题的存在含义后,将会给传统的词项逻辑理论带来很大影响。在主项为空时,关于直言命题的对当关系推理、换质推理、换位推理和三段论推理等许多推理形式不再普遍有效。     

解决四个技术问题,实现传统逻辑教材的现代化

传统逻辑教材现代化的进程中存在以下四个技术问题：把“如果非p那么非q”提升为必要条件假言命题的标准表达式;引入二元和多元斥取词以表达不相容选言命题;把主词存在问题由预设提升为明设;以现代逻辑为纲来安排普通逻辑教材的体系。解决了这四个技术问题,现代逻辑与传统逻辑即可相互融合,相得益彰。     

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

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

特称否定命题不能换位的辩护

近年来,有逻辑学工作者对传统逻辑中的特称否定命题不能换位提出质疑。有的认为在赋予若干条件后SOP能换位为POS;有的认为通过欧拉图可以证明O命题是能够进行同质等值换位的;有的认为以全称命题为前提的换质位法推理中O命题是能够进行换位的。通过对他们的文章进行仔细的分析,发现他们的看法偏离了传统逻辑的研究对象、有悖于演绎推理的逻辑特性,存在误解特称量词"有"、"有的"的逻辑含义等问题。特称否定命题是不能换位的。     

略论主项空类的直言命题问题

直言命题问题,自亚里士多德创立逻辑体系以来,一直是传统逻辑(或者称普通逻辑)的基础和核心。几千年来,人们对直言命题进行了大量的研究,使其理论不断成熟和完善。然而,这种研究主要是建立在其主项所指称的事物在现实世界是客观存在(即主项不是空类)的基础上,而对主项为空类(即主项所指称的事物在现实世界是不存在的,以下除了特别说明外,一般是此含义上使用)的直言命题问题的研究却显得不足,以致出现种种不正确的解释或处理方法。本文试图对主项为空类的直言命题问题作以下探讨。     

论谓项量化、主项质化理论在语言逻辑中的价值与影响

哈米尔顿的谓项量化理论揭示了量化命题中的简单换位规律，突破了原有三段论的规则，增加了大量新的三段论式。德摩根的主项质化理论给传统的逻辑方阵增添了新的内容，八个命题之间存在着紧密的内在联系，谓项量化、主项质化命题有着广泛的思维空间和运用价值，且语言表达灵活多样。哈米尔顿和德摩根都对联项“是”作了深入研究、赋予新的内涵。给逻辑注入了新的活力。     

三值逻辑的逻辑哲学反思

由于传统的二值逻辑无法解决诸多命题,三值逻辑乃至其他多值逻辑理论得到了迅速发展,其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和“困难”,这并非语义解释自身存在着矛盾,而是因为人们在解释三值逻辑时仍然惯常于使用形而上学的思维方式。     

哲学逻辑的对象和意义

哲学逻辑是一个新兴的逻辑学科群体,它们以命题逻辑和谓词逻辑为直接基础,以传统的哲学概念和一般方法论问题为研究对象,是关于传统哲学概念的形式理论。哲学逻辑可以分为四部分:1、基础部分:模态逻辑和多值逻辑;2、本体论的逻辑;3、认识论的逻辑;4、伦理规范的逻辑。哲学逻辑不仅在哲学上、逻辑上有重要意义,而且在科学技术特别是人工智能中有重要应用价值。     

摹状词理论的哲学探究

罗素的摹状词理论是二十世纪哲学发展中的一个重要阶段,对逻辑学、语言学和哲学都产生了广泛而深刻的影响。罗素从解决“存在”等哲学问题的目的出发,将摹状词在命题中化解为具有精确含义的命题函项,并以之为武器为他的哲学服务。但也应该看到,罗素认为逻辑句法可以消除哲学问题则是错误的,仅仅凭借逻辑技巧并不能解决哲学问题。     

传统逻辑教科书中的“概念”与“词项”之取舍

逻辑学界关于传统逻辑教科书中“概念”与“词项”的取舍问题一直存在分歧。从“概念”与“词项”内涵与外延的上 ,以及传统逻辑学的学科特征和研究方法来看 ,概念是思维的基本形式 ,属于哲学认识论的范畴 ,而词项是语词在命题中的逻辑内容 ,是构成逻辑形式的基本要素 ,属于逻辑学的范畴。传统逻辑教科书中用“词项”更准确。     

否定命题与负命题辨析

在传统逻辑中,否定命题和负命题有其相似之处:语句表达上都带有否定词,命题内容即命题所反映的事物情况上,或是对事物情况具有的性质的否定,或是对事物情况存在的否定。如何辨析否定命题与负命题的逻辑特征,无疑对正确掌握这两种命题形式及推理是大有裨益的。     

判断真假的相对性与绝对性

辩证逻辑的判断理论要不要研究判断的真假?这是被我国逻辑学界长期忽略了的问题。国内辩证逻辑专著出了十多本,几乎都没有讨论这个问题。难道形式逻辑、教理逻辑都要研究判断(命题)的真假,并且成为该门学科判断理论的重要内容,同为逻辑学科的辩证逻辑却可以不管判断的真假吗?作为普通思维类型的抽象思维尚且要考虑判断的真假,难道作为人类高级思维类型的辩证思维倒可以不考虑判断的真假吗?我们认为,三门逻辑科学的区别不在于是否研究判断和命题的真假,而在于从什么角度去研究判断和命题的真假。 传统形式逻辑从真假二值的角度研究判     

从谓词逻辑的观点看传统词项逻辑推理中的空词项

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。     

对课程文化品性的反思

在传统课程理论探究与课程发展实践中,对于课程与文化的关系问题,始终秉承着课程是文化承传工具的观点。这样的命题与逻辑无论是在理论上还是在实践中都造成了课程的文化品性缺失,使课程只是作为社会文化的一种工具存在。基于对这个命题的质疑以及课程文化品性缺失的表现,重建当代课程的人文性、建构性、教育性、民族性和超越性的文化品性就有着重要意义。     

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

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

对罗素摹状词理论的另一种解释

罗素利用现代逻辑对包含摹状词的语句进行了分析,并揭示了它们所表达的命题的真实的逻辑形式.与对罗素哲学的传统看法相反,罗素摹状词理论的初衷,既不在于解决存在悖论,也非对其<数学原则>中所谓迈农式的实在论观点作自我批判,但其目的仍在于消解此类实在论观点所引进的多余形而上学实体.与其早期指谓理论相比,该理论显示了逻辑分析对于解决哲学问题的重要性,标志着分析哲学的正式诞生.     

马克思主义基本原理同中华优秀传统文化相结合的内在逻辑北大核心

“两个结合”是我们党在百年历史交汇点首次明确提出的具有重大原创性价值的新命题,是党的二十大对马克思主义中国化时代化根本途径的新定位。其中,“马克思主义基本原理同中华优秀传统文化相结合”的命题,拓展了马克思主义中国化时代化的文化内涵。新时代新征程,深入探究马克思主义基本原理同中华优秀传统文化相结合的内在逻辑,对于准确把握习近平关于“两个结合”命题的理论要义和话语逻辑,继续推进马克思主义中国化时代化,深刻理解中华民族伟大复兴的发展逻辑具有重要理论价值与实践意义。     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上,通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较,研究其异同点,从而更好地指导大学离散数学的教学。     

略论预设的逻辑定义及其性质与作用

一般说来,命题都有其基本义之外的附加义,预设是命题附加义的一种重要形式,它是指命题与其否定命题可共同推导出的命题。预设在逻辑与语义方面均有其自身特点。预设的存在,不仅解决了非陈述句的逻辑问题和某些特殊命题的真值问题,也使语言表达变得更加简明经济。     

概率衰减的另一种解释

朴素的概率衰减论是把逻辑和心理混同的产物,由心理活动中可能存在衰减而推断命题的真假有程度的不同,进而要求或者为了保全真的高程度而少推理,或者为了构造更复杂的理论而放弃真理概念。这种观点对逻辑推演、理论构造和科学发展都是障碍。就命题的真值以及推演的逻辑结构看,它们都是逻辑事件而不是随机事件,因而推理链条越长结论为真的概率越低之说就是语词误用。逻辑方面不存在概率衰减,只有心理方面才可能存在概率衰减。逻辑方面和心理方面尽管事实上不能分割开,但理论上必须有某种程度的区分。