知己知彼,发展逻辑学——介绍《今日逻辑科学》

三中全会以来,出版的逻辑著作,可以说是琳琅满目的了。但是,还缺少一种全面介绍国内外逻辑研究和教学现状的工具书。最近,天津教育出版社出版了《今日逻辑科学》一书,它正好为我们了解世界及中国逻辑科学的近况提供了一把钥匙。当我们在争论“充足理由律”是不是形式逻辑基本规律,有没有“扩充三段论”之余,不妨了解一点国际逻辑学界在关心什么样的问题。《今日逻辑科学》由崔清田任主编,潘道江任副主编;它是20多位执笔者共同劳动的结晶。《今日逻辑科学》共分5个部分,合计40余万字。该书第一部分题为“逻辑科学概观”。     

略论逻辑的多种类型

一般认为,逻辑科学是一门多分支的学科。这是对的,例如逻辑科学中的数理逻辑,人们就常说它有若干分支。其实,逻辑还是一门多类型的学科,而且首先是一门多类型的学科。现在,单就“逻辑”一词是指称科学而言,人们也很难给这个词规定一个确切的含义.对逻辑所作出的任何一个定义,都很难适用于用这个词所指称的所有科学上。原因在于,逻辑科学已经没有统一的对象域,它辖属的是一些对象域有别的、研究方法有别的,作用和意义都不同的逻辑。     

20世纪语言逻辑的发展:世界与中国

语言逻辑(The Logic of Language)又叫自然语言的逻辑(The Logic of Natural Language),是以自然语言中的逻辑问题为研究对象的一门新兴学科。逻辑是研究推理的科学,语言逻辑就是研究自然语言中的推理问题的科学。它与一般逻辑之间的区别就在于它以自然语言为研究对象,是自然语言的语形学、语义学、语用学三者的综合。研究自然语言中的推理问题,既可以用描述的方法,说明推理的过程,阐述推理的机制;也可以用形式化的方法,构建形式系统和语义模型,证明形式系统的一致性和完全性。用前一种方法形成的语言逻辑可以称为描述的语言逻辑,用后一…     

逻辑的范围

科学的范围是科学哲学的问题:哪些知识领域(或“知识”)可以视为科学呢?例如,应将炼金术、占星术、社会学或者心理学视为真正的科学吗?凭什么来包括或排除一个给定的研究领域?类似地,逻辑的范围是逻辑哲学的问题,因此逻辑哲学的范围问题也是逻辑哲学问题,它包括:逻辑是什么?哪些形式系统是逻辑系统?是什么使得它们如此?     

走向实践优位的科学哲学——科学实践哲学发展述评

一、导言: 新兴的科学实践哲学研究若干进路从最近新兴的科学实践哲学的观点看, 以往的科学哲学都可以被称为传统科学哲学。而在传统科学哲学中, 我们知道, 按照历史进程它又可以被划分为两个大的阶段, 即逻辑主义和历史主义两个阶段。逻辑主义的科学理性研究将理论理性和实践理性分开, 认为对理论理性的逻辑分析是理解科学理性的唯一途径, 并把实践理性归入伦理学、社会学、心理学等其他学科的研究中。许多历史主义科学哲学家在否定逻辑主义方向的前提下, 因为未能将理论理性和实践理性重新整合, 从而对科学理性不可避免地采取了怀疑主义态…     

逻辑科学方法论的哲学反思

逻辑科学方法论的哲学反思沙青逻辑科学方法论的对象乃是理论思维中带普遍性的认知观念与认知规范。它是一种历史的科学,存在着旧观念、旧规范同新观念、新规范之间的竞争与演进。逻辑科学方法论的发生与发展,导源于科学的发生与发展。离开科学,逻辑科学方法论就失去生存的基地和发展的动力。另一方面,逻辑科学方法论又总是作为一种哲学工具,它的发展也同社会的某种哲学思潮的兴衰相关连。它既是科学的工具,又是哲学的工具。可以说,逻辑科学方法论乃是科学与哲学的中介;科学的发展为哲学的发展提供新的思想资料,哲学的发展则又为科…     

现代形式逻辑的科学方法论

科学探索在它的发展进程中,由于它坚持运用它所特有的探索方法,因而扩展了人们对世界的认识,取得了科学预见和技术应用的巨大成功。然而,科学方法是任何活动的必要因素,只要活动成为认识或意识的对象,它就表现为思维方法的源泉,而思维方法的发展,就必然导致思维方法的逻辑。因此,科学通过方法的发展而促进逻辑的发展。同时,逻辑从科学认识活动中总结出来的思维形式和规律,又为科学提供方法,从而促进科学的发展。列宁     

概率归纳逻辑的三大流派

以培根和穆勒为代表的古典归纳主义者宣称,归纳逻辑既是科学发现的方法,也是科学验证的方法;并且归纳推理的结论可望达到必然性。不过,他们的归纳逻辑仅仅是一些定性的和不成系统的推理模式。与之比较,现代归纳逻辑有两个鲜明的特点。第一个特点是把科学理论的发现过程和验证过程严格区别开来。科学理论的发现过程被看作想象和猜测,是一种有关直觉和灵感的心理过程,因而它不属于逻辑学研究的范围。只有科学理论的验证过程才遵循一定的逻辑程序。归纳逻辑所要研究的仅仅是科学验证的逻辑,而不是科学发现的“逻     

数理逻辑的方法论意义初探

数理逻辑是古典形式逻辑的发展,它是用数学的方法研究推论有效性的判定方法和原则的科学,也被称为符号逻辑、现代逻辑。数理逻辑的创立起源于十七世纪的数学家莱布尼兹所提出的宏大构想:建立一个“普通的符号语言”,即类似数学符号的“通用语言”,利用它来进行“思维的演算”。十九世纪初,英国数学家布尔发表了《逻辑的数学分析》一书,他用代数方法处理逻辑问题,建立了逻辑代数。     

传统逻辑的局限

逻辑主要是研究推理和证明的科学,它有悠久的历史。到了近代,也常常叫做形式逻辑。一百年前形式逻辑发展到了一个转折点,新逻辑——数理逻辑(符号逻辑,逻辑斯蒂)的基础开始奠定。旧逻辑现在习惯上叫做传统逻辑(古典逻辑);而新逻辑也称作现代逻辑。本世纪卅年代中叶现代逻辑已经完全成熟。传统逻辑究竟有哪些局限?为什么传统逻辑必然要发展到现代逻辑?底下我们试图通俗地来说明这个问题。第一,传统逻辑没有考虑到存在问题。     

逻辑学在人工智能中的应用及其前景研究综述

一、人工智能科学诞生的逻辑渊源1 “思维与计算”同一的思想是人工智能科学兴起的重要的思想根源自从电子计算机面世 ,人工智能的研究就有了强力的支撑。追溯它的历史 ,我们发现历史上一些伟大的科学家和思想家为今天人工智能的研究作了充分的准备。古希腊伟大的哲学家、思想家亚里士多德开始采用符号组合的方法表示逻辑推演 ,并为形式逻辑奠定了基础。1 2世纪末 1 3世纪初西班牙神学家和逻辑学家赖蒙德·卢里 (ＲａｙｍｏｎｄＬｕｌｌ)试图得到一种逻辑演算 ,他设计了历史上第一台能把基本概念组合成各种命题的原始逻辑机。这种逻辑机是…     

普通逻辑教学改革中一个不容忽视的问题

近几年来,国内许多讲授普通逻辑的教科书都引进了一些数理逻辑的内容,例如在概念部分增加了一些集合论的知识,在判断和推理部分引入了真值表和命题逻辑的公式等等,对于充实和丰富普通逻辑的内容,起了一定的作用。数理逻辑是在传统逻辑的基础上发展起来的一门新兴科学,它对于思维的逻辑形式方面的研究是卓有成效的。     

辩证逻辑推理与形式逻辑推理

逻辑主要是研究推理的科学,辩证逻辑推理与形式逻辑推理有什么区别?有的讲到以下两点:第一,辩证逻辑是“动态”的逻辑,它用唯物辩证法的发展观看待事物之间的逻辑关系;而形式逻辑是“静态”的逻辑,它用相对静止的观点看待事物之间的逻辑关系。第二,辩证逻辑是“内容”的逻辑,推理是内容的推理;形式逻辑是“形式”的逻辑,推理是撇开了思维具体内容的推理。按照以上两点,能否区分辩证逻辑推理     

数理逻辑的基本特征与科学意义

一引言数理逻辑(或称数学逻辑,符号逻辑,逻辑斯諦)在科学研究中是一个新兴的重要部门。到现在,它已经是一门内容十分丰富,与其他科学部门联系很多的学科。它有着十分宽广的发展前途。它在科学研究中的重要性已经日益显示出来,而在它的发展中将更加广泛地显示出它的重要性。数理逻辑在一定的意义上是一门数学科学,然而,它不止就只是一门数学科学而已。从数理逻辑研究的对象及对象的性质看,从它所处理的部问题及问题的性质看,它是一门边缘科学。不少门边缘科学是处于两门科学之间的,如物理化学,如生物化学等。数理逻辑是处于多门科学之间的中间性的,边缘性的科学。作为一门边缘性科学,数理     

科学逻辑——新的逻辑分支之一

随着现代科学的不断发展,人们对逻辑学的研究不断深入,在国外,许多学者已对“科学逻辑”开展了研究,并不断地取得了显著的成果。在国内,近几年来也有一些哲学工作者、逻辑工作者、自然科学方法论的学者开始探索这一科学领域,并取得了初步的研究成果。由全国十一所高等院校集体编写并由张巨青主编的《科学逻辑》,已由吉林人民出版社出版了,这必将推动我国逻辑学界对科学逻辑的研究。     

辩证法和辩证逻辑

科学之所以为科学,是因为它有自己特定的研究对象。任何科学都是通过其研究对象来定义的,而且任何科学的研究对象都是存在的某一特定领域的发展规律。逻辑辩证法的问题,如同一个相对独立的哲学规范,可以仅仅通过发现相对于辩证思维的发展规     

論形式邏輯作为認識現实方法的职能

一马克思列宁主义是唯一的科学真理,它无疑地毫无例外地适用于任何知识的领域。对于逻辑科学来说,它和马克思列宁主义的关系更为密切,离开了马克思列宁主义的思想指导,它就将陷入于唯心主义和形而上学。这是完全可以肯定的。但是,目前在我国逻辑问题讨论中,却明显地存在着唯心主义和形而上学的倾向,他们公然以马克思列宁主义经典作家没有看到现代逻辑的发展为理由,①拒绝马克思列宁主义经典作家有关逻辑问题的指示。他们公开宣扬康德的唯心主义逻辑理论以及现代资产阶级的逻辑理论,把这     

科学发现研究概述

科学发现是科学哲学的一个基本理论问题。有关这个问题的研究,国外曾于1978年在美国内华达大学举行了纪念莱昂纳特会议,会议的中心议题就是科学发现,与会者就科学发现的逻辑在科学哲学中的地位、发现逻辑与证明逻辑、科学发现的逻辑的主要方法等问题作了较为深入的探讨,会后,于1980年出版了《科学发现,逻辑和理性》、《科学发现的实例研究》二本论文集。国内,1983年在香山举行的第三次科学哲学讨论会的中心议题之一,就是科学发现。会后,邱仁宗等组织编写了《成功之路》,对科学发现的模式进行了案例分析。有关科学发现的深入研究,一方面,得到了自然科学家的热心关注。自然科学家为科学发现的研究提供了思想素材;科学发现研究也对科学研究具有启发作用。另一方面,科学发现的深入研究,也为认知科学和哲学研究提供了思想基础。     

可拓逻辑研究展望

可拓学是由我国学者自主创立的一门新学科,它研究以形式化的模型分析事物拓展的可能性和开拓创新的规律,形成解决矛盾问题的方法。中国科学院权威杂志《科学通报》在评论文章中指出:“可拓学是一门充满生命力的新学科,它的创立是中国人的骄傲,它不仅属于中国,更属于世界。”[1]经过30年的不断开拓,可拓学已经发展成为一门横跨哲学、数学与工程学的交叉学科,我们哲学界也可以积极对相关问题进行科学的研究和探索。本文拟从逻辑的角度谈谈可拓逻辑的研究设想,以期能够引起哲学界、逻辑学界对可拓学研究的关注。一可拓逻辑的研究价值人类的历史…     

情感逻辑纲要

众所周知，逻辑学是研究思维的科学。但是，逻辑学却片面地发展了几千年，它专职地研究理性思维而成了理性的代名词。人们已习惯于以言说是否符合逻辑来评价一个人的头脑是否正常。严密的理性思维成了逻辑学追求的基本品格。这样，逻辑学的偏执发展也使其丧失掉了一半的内容。如果说逻辑学真正是以思维规律为研究对象的话，它还应该包括情感逻辑。在西方经典的传统逻辑中，概念、判断与推理构建起了理性思考的大厦，那么，情感逻辑是怎样构创的呢?它亦有其最为基本的组织元素，即情境、感受与悟觉。