传统逻辑协调化、经典化和自动化的实现

传统逻辑主要指亚里士多德的三段论,它能否被一阶语言表达并被自动证明,长期以来是不清楚的。通过研究证明传统逻辑经典化(一阶语言表达和数理化)的障碍在于它的不协调性,进而消除了传统逻辑的不协调性,建立了改进的三段论推理的数学模型,同时改进了一阶逻辑,使之能够表达改进后的三段论。这些工作使得传统逻辑完全实现了协调化、经典化和自动化。     

无“是”即无三段论：语言主义的逻辑迷误——答王左立先生

王左立先生的基本观点是:无"是"即无三段论。但其观点远离事实,若按他的说法包括亚里士多德的无"是"的三段论与严复的无"是"的逻辑翻译而言,也是一个逻辑神话。王先生的症结是执迷于来自张东荪的语言主义逻辑观,把逻辑当语言规则,把逻辑的载体当本体;背弃了现代逻辑对三段论的正确解释。正确的解释是:三段论是类逻辑,类之间的基本关系及其规律才是三段论的研究对象。     

弗雷格逻辑思想的来源、内容及面临的困境

弗雷格认为须把逻辑研究从心理主义的影响中解放出来,为了达到这个目的,他确立了算数演算的基本规则,建立了初步自足的命题演算系统和量化理论,提供了现代意义下的数理逻辑体系,这为后世语言哲学的发展奠定了逻辑基础。由于受到社会发展的局限,弗雷格逻辑思想里面也存在一些令人们费解的东西。尝试从逻辑思想渊源、学术内容以及面临的困境三个方面来探讨弗雷格的逻辑思想。     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

费雷格逻辑观中的"真"

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖.他创造性地研究了关于逻辑的一系列哲学问题,其中,关于"真"的理论在他的逻辑哲学中具有核心地位.弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学.他的逻辑观是紧紧围绕他的"真"之理论展开的,"真"之理论是弗雷格逻辑观的理论基石.     

论莱布尼茨的哲学逻辑观

阐述被称为17世纪的亚里士多德的莱布尼茨的逻辑哲学思想,分析他的逻辑观对形而上学的哲学意义,探讨他的概念理论、定义理论的基本内容及其对逻辑哲学的贡献,阐释他的"可能世界"理论,阐述他对西方哲学的发展具有深远影响的微知觉理论的本体论意义。莱布尼茨的逻辑哲学思想对西方哲学的发展影响深远,尤其是他所处的17世纪,是被黑格尔抱怨为"贫瘠的"哲学时代,因而他的思想尤显弥足珍贵。     

对亚里士多德三段论的认识

分析了亚里士多德三段论,论述了亚里士多德三段论与传统逻辑三段论的区别及其自身的一些特点。     

早期维特根斯坦对逻辑命题的思考及其意义

现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。     

论弗雷格的概念

弗雷格将数学中的函数概念扩展到自然语言中并且称之为概念,从而在概念的基础上开启了他的逻辑主义事业。在数学中,函数有着严格的定义,但是,在自然语言中如何来理解弗雷格的函数呢?通过将数学中的函数与自然语言的概念进行比较,分析了弗雷格概念的逻辑结构以及概念的前域和后域,并概述了弗雷格概念的哲学意义。     

李贽的“儒学情结”——李贽的民本思想初探

李贽从儒学阵营中走出 ,不断超越儒学束缚 ,成为历史上有名的反儒专制先驱。李贽继承儒家民本思想 ,同时又对儒家传统民本思想有飞跃性突破。他的反叛有着历史发展的必然性 ,同时也受多方面因素的影响     

例说逻辑三段论的复合类型

三段论是一种常用而古老的推理。早在二千三百年前,亚里士多德就创立了这种推理理论,而且当时一提出来就相当完备,以致今天没有多大的增补。黑格尔对此有所评价:“亚里士多德是考察并描述三段论的各种形式和所谓格的主观意义的第一人。他做得那样严密和正确,以致从来没有人在本质上对他的研究成果有所增加。”(黑格尔:《小逻辑》三联书店1954年版第364页)的确,对由三个直言     

试论莱布尼茨的自然法体系

莱布尼茨自然法三原则暗示了其法学思想与其哲学思想及其所处时代的联系。此外,莱布尼茨自然法体系三原则每一原则都成立,但作为一个体系却构成冲突。对此莱布尼茨尝试运用其＂可能世界＂理论背景下的道义逻辑对这一冲突进行解决。运用莱布尼茨法律思想,可以发现当代法学研究可能存在的一些新的视角。     

再论教育社会学的历史分期与发展特点

国内关于教育社会学发展史的论述大多盛行三段论，即萌芽时期、传统教育社会学时期和新兴教育社会学时期。本文提出这种认识过于简单化，更难反映学科何以演变的逻辑轨迹。因此，必须按照一门学科发展的逻辑进程加以认识。故可以将教育社会学的发展史划分为四个阶段，每个阶段有其自身的特点，并往往成为下一个发展阶段的契机。     

地理信息系统技术在环境科学中的应用

弗雷格从逻辑的角度考察"真",认为"真"不可定义,并认为句子是"真"的作用对象;"真"具有客观性和完全性,它是不可感觉到的存在,其表达只存在于断定句的形式中。弗雷格关于"真"之本体论基础的解读促使他将命题作为逻辑研究的对象。弗雷格求"真"的进路给语言学、哲学和逻辑学的研究带来启迪,而其思想也有不足之处。     

充足理由律及其与矛盾律的关系——从笛卡尔、斯宾诺莎到莱布尼茨

笛卡尔和斯宾诺莎虽然把矛盾律作为最高思维法则,但实际上已经在矛盾律的框架内使用了充足理由律.而莱布尼茨发现仅靠矛盾律作为推理基础是不够的,于是他明确提出了充足理由律,并把它放到与矛盾律同等重要的位置,甚至更重视充足理由律.在实际应用中,莱布尼茨辩证地处理二者的关系:充足理由律的内涵更丰富,包含着矛盾律;矛盾律依然是观念世界的基本法则,同时也是充足理由律应用的前提和逻辑基础;二者对有些命题而言都是适用的.     

亚氏三段论与传统三段论之比较

传统三段论和亚里士多德的三段论在概念、内容、命题的表述以及规则的作用等方面都有区别,传统三段论发展了亚氏三段论的部分理论。     

联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点，本文对传统直接推论和传统直言三段论作出系统化处理，证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理。     

李大钊教育思想初探

李大钊是中国共产主义运动的先驱,伟大的马克思主义者,杰出的无产阶级革命家和中国共产党的主要创始人之一,同时也是我国著名的教育家。在他的许多马列主义论著中,对教育问题,进行了探索和科学分析,提出了许多独创的精辟的见解,对中国当代教育科学的发展具有深刻的指导意义。本文试就他的教育思想作一初步的探索。     

试论因明学与三段论之异同

因明学和三段论是世界逻辑史上的两大瑰宝,是逻辑三大源流之二,是古代人民留给我们的优秀遗产,既有其相同点也有其不同点。通过探讨其相同点和不同点来分析其各自的优点和不足,取其精华,弃其糟粕,使因明学和三段论两者相互补充、相互发展,对逻辑学的发展具有重要意义。