读周文英主编的《逻辑教程》有感

关于逻辑教科书内容的改革一直是逻辑界普遍关心的问题,也曾经推出过各种教材改革方案,有的将传统逻辑和辩证逻辑分为两个互相独立的部分合在同一本教材中;有的将传统逻辑和辩证逻辑综合为一个体系内容;有的在传统逻辑中加上部分数理逻辑(如两个演算章节);有的将传统逻辑和数理逻辑作为两个相对独立的部分合写在一个教科书中;更多的只是就传统逻辑本身的体系和内容作些改革或增加了实用性内容,如经济逻辑、教育逻辑、法律逻辑等各种应用逻     

类型逻辑语法竖线算子的推广

逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句所有人是会死的,第二种模式对此抽象成逻辑公式(H→D),而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达所有(人,会死的)。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。     

应用于人工智能的逻辑学

导言非标准逻辑“非标准逻辑”这个名称通常用来指称那些不同于经典命题演算和谓词演算的逻辑。粗略地说，非标准逻辑可以被分为两类：相应于经典逻辑的逻辑和扩展了经典逻辑的逻辑。对于前者，我们以多值逻辑、模糊逻辑和直觉主义逻辑为例；对于后者，我们将阐述模态逻辑和时间逻辑。相应于经典逻辑的系统在所使用的语言上与经典的命题逻辑和谓词逻辑没有不同。所不同的是，经典逻辑的某些定理在非标准系统中是假的。最著名的例子是排中律，A或非A，它在经典逻辑中是可证的，而在直觉主义逻辑和3值逻辑的任何标准系统中都是不可证的。扩展…     

数理逻辑史节录

一、数理逻辑史分期 数理逻辑和一些学科都有密切的联系。关于数理逻辑的性质和范围,有狭义的理解,也有广义的理解。根据广义的理解,数理逻辑大致有以下几点特征。 第一,数理逻辑是边缘性的学科,在它的范围内,逻辑内容和数学的内容时常是交织在一起的。它和数学其它分支、计算机科学、人工智能及语言学等都有广泛的联系,并日益显     

存在图:逻辑和认知

作为"思维的动画",存在图是查尔斯·皮尔士在现代符号逻辑草创时期所建立的图式逻辑。20世纪初期,现代观念的符号逻辑出现之时,存在图在学界的研究有着完全相反的立场,其传播过程更是相当微妙。存在图的哲学方面对当前哲学研究具有重要的意义和影响,如镜像逻辑和图像之间的关系、逻辑常项的意义问题、镜像逻辑的认知经济性、弗雷格-罗素论题的失败以及思维语言假设的失败等。     

关于传统逻辑与数理逻辑的相互关系——人民大学逻辑研讨班讨论纪要

1987年2月至5月,人民大学逻辑研讨班围绕传统逻辑和数理逻辑的关系以及普通逻辑教材中引进数理逻辑的可行性和适度性问题进行了多次讨论。来自全国各地的数十位逻辑教师参加了讨论。大家一致认为,逻辑课教学改革的一个关健问题,是如何认识传统逻辑和数理逻辑(或现代形式逻辑)的关系。在这个问题上,大致有以下两种不同看法: 一种意见认为,传统逻辑和数理逻辑本质上是一致的。数理逻辑是传统逻辑的发展,它们都是透过自然语言去研究思维的形式结构的。但二者手段不同:传统逻辑用自然语言去研究自然语言,这是一个封闭的系统,是不完全的;而数理逻辑把自然语言符号化,     

一九八一年我国逻辑学界活动简介

一九八一年,我国逻辑界对科研和教学中提出的一些逻辑理论问题进行了讨论。兹将中国形式逻辑研究会、中国逻辑史研究会和部分省、市和地区有关逻辑学术活动简介如下。九月,在安徽屯溪召开了全国形式逻辑讨论会。在讨论如何改造传统形式逻辑体系时,出现五种意见:一是把普通逻辑、数理逻辑和辩证逻辑纳入一个体系的统一论;二是当代的数理逻辑就是形式逻辑的取代论;三是对普通逻辑和数理逻辑进行合取的合取     

广东讨论逻辑教学改革问题

广东逻辑研究会1984年年会,于1985年1月25日至28日,在中山市举行。参加年会的近50人,提交论文39篇。年会注意到,1984年本省约有七万人比较系统地学习过形式逻辑,预计今后两年还会增加。但是逻辑教学与这种新形势的要求是不相符的。因此,改革逻辑教学,已是势在必行。现就年会对该问题的讨论,综述如下。普及与提高问题一些人认为,改革应包括普及和提高两个方面。对于全日制本科主要应抓提高;而一般高等成人教育,如电大、业大、函大以及专修科的学员,则主要抓普及。“提高”应与逻辑发展史联系起来,才能看清方向。此外还要使逻辑学与哲学结合起来。目前,我国的逻辑教学主要还是普及的问题。怎样正确对待传统逻辑和数理逻辑问题一种意见认为以数理逻辑取代传统逻辑的“取     

苏联召开关于逻辑问题的协作会议

1983年2月,在列宁格勒举行了关于逻辑问题的第二次协作会议。会议由俄罗斯联邦高教部哲学理事会组织。莫斯科、列宁格勒、第比利斯、基辅和伏尔加格勒的逻辑学方面的著名专家出席了会议。会上讨论了相干逻辑和似协调逻辑(Paracon-sistent logic)问题。会议开始的第一天,E.A.西多连科和E.K.沃伊什维洛作了导论性的报告。报告分析了相干逻辑和似协调逻辑产生的原因,它们的哲学意义以及它们同辩证法和认识论的关系。     

奥卡姆的模态三段论——其对亚里士多德模态逻辑的发展与转化

亚里士多德的模态三段论缺乏他实然三段论的严谨和系统性。亚氏三段论建立在词项逻辑的基础上,模态词附着在"属于"关系上。奥卡姆的逻辑融合了命题逻辑和亚氏以词项逻辑为基础的三段论逻辑。他对亚氏模态三段论进行了大量和广泛的扩充和完善,并试图对照着亚氏在实然三段论中所使用的换位法将不完善三段论化为完善三段论的归化法,来系统化证明模态三段论的有效式,同时结合使用了他模态命题逻辑的法则。本文将利用关于"必然"的模态三段论来阐明奥卡姆在上述几个方面对亚氏模态三段论所作的扩展和革新。     

一部富有创新精神的因明专著——评郑伟宏教授的《汉传佛教因明研究》

因明是世界三大逻辑源头之一．是一门辩论术、逻辑和认识论三结合的学问．对于研究中国逻辑史、中国佛教史、印度佛教史、印度逻辑史、敦煌学、论辩学来说,都是不可或缺的重要学科．但从明末到清末数百年间几乎成为绝学。     

不可超越的无穷：关于直谓性和后继公理的关系

本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证明,（2）对休谟原则和二阶逻辑的哲学辩护与反驳,（3）对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理V的一致性,（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。     

经典逻辑、自由逻辑与空词项

经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的命题出现在逻辑系统中,并试图给包含空词项的命题以恰当的语义解释。自由逻辑对空词项的这一积极态度,带来了一系列逻辑和哲学上的好处。     

我国比较哲学研究(三)

一○中西逻辑比较傅季重、蒋弋为认为亚里士多德逻辑和墨辩逻辑的差异是:(1) 前者主要是学术探讨的工具,后者则是用来解决社会政治、认识事物、学术探讨一切问题的工具,其作用范围比前者大得多;(2) 前者和后者在形式和内容方面也是不同的。冯契、陈正夫、张立文等都不同意中国哲学长于伦理而忽视逻辑的观点,认为从逻辑思维领域来说,在中国的先秦与西方的古希腊,都已建立了形式逻辑科学和提出朴素的辩证逻     

也谈逻辑与语法的关系——兼与江显芸同志商榷

逻辑是研究思维形式结构及思维规律的,语法是研究语言结构规律的,它们既有密切的联系,又有明显的区别。逻辑和语法毕竟是两门科学。汉语语法是研究汉语的结构规律的,它主要讲各级语言单位组合的规则。汉语是非形态的语言,它各级语言单位的组合(语素和语素组合成合成词,词和词组合成词组,词或词组组合成句,单句和单句组合成复句,几个句子又组合成句群)不是依靠     

一种新的逻辑哲学——陈波与吉拉·谢尔的对话

吉拉·谢尔从基础整体论出发,对逻辑基础问题给出了新的回答。她认为逻辑既奠基于世界,又奠基于心灵。但在《认知摩擦》中,她更强调前者,尤其是逻辑的事实性特征。她进一步澄清了逻辑性标准如何能够容纳二阶逻辑和模态逻辑,以及在基础整体论的视角下逻辑与集合论的关系。她还讨论了逻辑的心理主义,以及汉纳和麦蒂的逻辑观、蒯因的逻辑可修正论题,并对《认知自由》一书的主要内容做了预告。     

句子的结构分析

句子的结构一般指句子的语法结构。句子的语法结构有广义和狭义的两种理解:广义的指句子中各种造句规则的总合;狭义的指句子中的语法规则。在语言学中,主要从句子的逻辑和语法两个方面对句子结构进行分析。1、句子的逻辑分析句法中的“逻辑”与逻辑学中的“逻辑”,生活中的“逻辑”是不同的概念。逻辑学中的“逻辑”指思维的规律性,生活中的“逻辑”指客观存在的规律性,     

论法称因明的逻辑体系

本文以汉传因明的研究成果为基础,论证法称因明的演绎逻辑体系与陈那因明的非演绎逻辑体系有根本的差别。本文以玄奘的“唯识比量”作为标尺,论述法称因明在认识论、逻辑和辩论术三方面全面改造了陈那因明。论述了法称建立因后二相的思路与陈那有根本差别,是导致体系差别的根本原因。通过分析近似于“所闻性”因的实例,指出陈那的不共不定因在法称因明中不复存在。这是法称对陈那因明作体系性变革的重要特征。从法称《滴论》和法上疏找到根据,批评百年以来流行的归纳说。本文还找到了藏传研究者误用法称因三相来解读陈那因三相的原因。简明扼要地阐明不可得因在逻辑上没有独立性。设立此因主要为方便建立论式。文章最后解释了法称因明异法式独自成立的逻辑依据。要之,本文对当今国内因明研究中的诸多重要问题作出了自己的回应。     

“反逻辑”艺术修辞的逻辑

形式逻辑是研究思维的科学,它要求人们必须遵循逻辑规律和思维形式的规则。然而,在言语交际中,由于社会的、心理的、美学的因素的影响,由于对象、语境的制约,人们却常常采用一些反常的表现方式,选取一些变形的修辞手段,造成言语材料表里语义的离异,以取得婉转曲折、生动逼真的表达效果。这些表现方式和修辞手段,由于往往人为的加上一些感情的晕圈或遮掩的纱幕,所以常呈现出违情背理、超越逻辑的状态,致使一些人得出“和逻辑不相一致”、“不能做逻辑的解释”的结论。其实,艺术修辞是并不违反逻辑的。下面从三个方面加以分析。一、转义修辞手段是逻辑和言语关系的问题。我们知道,语言是思想的外     

时间压力、任务难度对直觉性和控制性逻辑的影响

为了验证直觉性逻辑的存在及其与控制性逻辑的不同,以16例三段论推理题目为材料,采用喜好判断范式评估推理中的直觉性逻辑,并探讨时间压力、任务难度对直觉性逻辑和控制性逻辑的不同影响。结果表明:喜好判断的正确率(直觉性逻辑)显著大于机会水平,但显著小于逻辑判断的正确率(控制性逻辑),时间压力和任务难度对直觉性逻辑的影响均小于对控制性逻辑的影响。上述结果表明了直觉性逻辑的存在,且在量上和质上都不同于控制性逻辑。