皮尔士研究专题

<正>编者按:在逻辑史上,查尔斯·皮尔士和弗雷格都是现代逻辑的主要奠基者,他们为量词设计了记法并几乎同时各自独立地建立起量化理论。19、20世纪的哲学伟人弗雷格、皮亚诺、罗素、维特根斯坦等已在"逻辑万神殿"中居于统治地     

论“必然地得出”

联合国教科文组织明确规定逻辑是与数学、物理、化学、天文、地理、生命科学等学科并列的基础学科。这里的逻辑指的是现代逻辑。可见现代逻辑在教学中所处的地位是十分重要的，应该得到足够的重视。然而在我国，对现代逻辑的教学和研究却重视得非常不够，至今也没有几所高校把现代逻辑列为本科生的必修课。我认为，造成这种状况的原因有许多，其中一个比较主要的原因存在于我们从事逻辑教学和研究的人本身，这就是许多人对逻辑的性质认识不清。如今我们在“逻辑”的名义下进行的教学和研究的内容主要包括普通逻辑、数理逻辑、归纳逻辑、辩证…     

试谈认识论逻辑

现代逻辑学以传统逻辑与正统的现代逻辑以及非正统的现代逻辑(模态逻辑、多值逻辑等)为基础,正在朝着数学方向、技术方向、语言学方向和哲学方向迅速发展着。然而,长期持久的数学顷向掩盖了逻辑学在晚、近年代的许多具有重大意义的发展。例如,以传统的哲学概念和一般方法论问题为研究对象的哲学逻辑。本文拟谈谈作为哲学逻辑的     

二十世纪的逻辑学

逻辑主义、直觉主义和形式主义二十世纪初,当罗素申言,算术是逻辑的延伸时,他从意大利数学家和逻辑学家皮亚诺的早期研究成果中颇有受益。皮亚诺不相信,算术的初始概念即零、数和一个数的后继能化归为逻辑的术语。然而,他认为值得想望的是把算术建立在公理基础之上。含有这个意思的建议初次发表在他的《用新方法说明的算术原理》     

试论现代数学中的经验主义思潮

本文认为,现代数学发展中出现的经验主义思潮的历史背景是由于那种将数学完全置于逻辑相容性基础上的努力的落空,现代数学中的经验主义思潮克服了过去经验主义忽视逻辑作用的局限,在强调经验的同时也肯定数学的抽象化、形式化和公理化的作用,因而值得我们重视和作进一步的研究。作者认为,现代数学中的经验主义思潮,明确地把“感觉”和“经验”加以区别,把数学的历史发展分为欧几里得模式和经验主义模式,标志着数学界里唯物主义现实精神的增长,但也受到实证主义、实用主义很大的影响。     

休谟原则与弗雷格定理

弗雷格《算术的基本规律》中二阶逻辑理论FL是不一致的,在语法上可以推演出罗素悖论,在语义上,矛盾于康托尔定理,进而是不可满足的。通过仔细考察弗雷格的逻辑系统FL、FL的子系统FA以及算术还原为逻辑的推理过程,可以看出弗雷格在用公理五与概念的数的显定义推演出休谟原则后,不再实质依赖于公理五与概念的数的显定义。休谟原则与带完整二阶存在概括规则的二阶逻辑组成的系统FA是一致的,并且足以推出戴德金皮亚诺系统的五条公理,这实质上给出了不同于皮亚诺公理系统的另外一种算术公理化系统。根据自然数的定义,弗雷格实质上利用数学归纳法证明了每个自然数都有后继存在,加上后继的唯一性,弗雷格就保证了无穷多的自然数的存在。     

“南京大学现代逻辑与逻辑应用研究所”在南京大学哲学系成立

20 0 3年 10月 9日 ,“南京大学现代逻辑与逻辑应用研究所”在南京大学哲学系举行了成立大会。出席大会的有中国逻辑学会会长张家龙教授 ,江苏省逻辑学会会长张桂岳先生、副会长崔文琴教授 ,南京大学哲学系主任徐小跃教授 ,南京大学哲学系李廉教授、郁慕镛教授、张建军教授及南京大学哲学系逻辑学专业全体师生。南京大学校长洪银兴和莫少揆教授虽因故未能出席 ,但都表示了对本研究所成立的衷心祝贺。南京大学哲学系张建军教授介绍了“南京大学现代逻辑与逻辑应用研究所”的基本情况。南京大学哲学系逻辑学专业已经具备硕士、博士学位的授予…     

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

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

“现代逻辑引论”评介

朱水林的《现代逻辑引论》一书1989年11月已由上海人民出版社出版。拜读之后,觉得该书很有些特色,就此谈谈一些想法。第一,现代逻辑发展迅猛,正象书中引言所说,现代逻辑的触须已伸向四面八方,与数学、计算机科学、自然科学、哲学、语言学、社会科学互相渗透,产生了许多综合成果,确立了不少边缘分支,形成门类纷繁的新体系;它的主流是沿着数学及其应用的方向前进的,但是在哲学逻辑、自然语言逻辑等方面,都形成了新的令人注意的发展趋势。然而由于种种原因,现代逻辑的研究在我国仍比较薄弱,出版的这一方面的专著也很少。前些年出版的王宪钧的《数理逻辑引论》,胡世华、陆钟万的《数理逻辑基础》,莫绍揆的《数理逻辑教程》,近几年出版     

法国哲学的昨天和今天--访克劳德·安贝尔

2001年9月 5日-19日,巴黎高等师范学校哲学系主任克劳德·安贝尔（Claude Imbert）教授应邀在复旦大学哲学系作为期两周的学术讲演,内容涉及“20世纪法国哲学概貌”、“现当代法国人类学”、“法国艺术哲学”和“认识论与现代逻辑”等。安贝尔教授是从事数理逻辑、艺术哲学、语言哲学研究的著名哲学家,著有《现象学与程式语言》、《逻辑史》、《梅洛-庞蒂、马     

论我国的逻辑教学

１９７８年，我国逻辑学界提出“逻辑现代化”的口号，但是对如何改革逻辑教材至今仍存在着两种不同意见：一种是取代论，主张在大学里教授现代逻辑；另一种是吸收论，主张在传统逻辑的基础上吸收现代逻辑的一些内容。后一种意见占绝对优势，其后果是形成了所谓的“普通逻...     

现代知名逻辑学家——汪奠基

汪奠基先生(1900～1979)原名三辅,号芟芜、山父等。湖北鄂城人。他是我国现代知名的逻辑学家。汪奠基先生是最早著书向国内传播现代逻辑的中国学者之一早在1927年,年轻的教授汪奠基先生就出版了《逻辑与数学逻辑论》一书,该书用极为简明的历史叙述方法闸明了形式逻辑的历史发展,第一部分介绍了亚里士多德逻辑的基本内容,叙说传统逻辑的发展历史;第二部分则着重介绍近代数理逻辑的基本原理,闸述数理逻辑产生的历史必然性。     

现代逻辑学发展片断的哲学思考

现代逻辑学产生的根本内在动力是数学基础问题,解决数学基础问题的三种主要方案虽然并不充分,但是在数学、逻辑、哲学上具有深远意义。西方传统的哲学理论无法合理解释逻辑的必然性问题,本文用“语言范式论”去回答这一问题。     

可证性的逻辑

这篇文章的主题是说明这样一种方法,就是用亚里士多德首先研究并称为模态逻辑的一个古代的逻辑分支来阐明一个现代的逻辑分支,即由 D.希尔伯特开创而由 K.哥德尔实现的对于数学自身的数学研究。模态逻辑研究的基本概念是必然性和可能性:一个陈述称为“必然的”,如果它必定是真的,称为“可能的”,如果它可能是真的。比如,因为在2000年可能有一场战争,陈述“在2000年将有一场战争”是可能的,但它不是必然的,因为那时可能没有战争。另一方面,“在2000年将有一场战争     

20世纪国外道义逻辑研究进展

一、道义逻辑及研究的缘起道义 ,来源于希腊文“ｄｅｏｎｔｉｃ” ,即“义务”、“应该”等含义。道义逻辑 ,就是关于“应当” ,“允许”等规范模态的逻辑 ,有人称之为规范逻辑 ,或义务逻辑。它是广义模态逻辑的一个分支 ,属于哲学逻辑的范畴。波兰哲学家马奇舍夫斯基在《现代逻辑词典》里将之定义为“关于‘某某是应当的’、‘某某是允许的’以及‘某某是禁止的’等表达式出现于其中的语句公式系统”。美国印地安那大学教授卡斯特纳达 (Ｈ Ｃａｓｔａｎｅｄａ)认为 ,道义逻辑 ,作为一种研究的学科 ,是处理有关义务、禁止、权利、自由、制裁…     

数学抽象度的哲学分析

数学抽象度概念和抽象分析法,是我国数学家徐利治教授与张鸿庆教授在数学方法论研究中获得的一项新成果。这项成果以辩证唯物主义认识论为根据,深入探讨了数学抽象思维活动的规律性,提出了许多新见解,具有重要的理论意义和学术价值。本文对数学抽象度概念和抽象度分析法的哲学性质和意义作初步分析。     

逻辑、语言和思维:不同理论态度的剖析

从十七世纪末叶莱布尼兹提出数理逻辑的最初设想起,至今已有大约三百年的历史。其间,现代逻辑大致经历了三个主要的发展阶段。首先,逻辑学家通过引入数学方法研究和处理传统逻辑而建立起逻辑代数和关系逻辑,继而,又应研究数学基础问题和数学思维     

科学认识逻辑的某些问题

“科学认识的逻辑”,或者简单地说“科学的逻辑”,乃是研究运用逻辑手段和方法去进行科学认识的哲学学科。在研究科学认识逻辑的许多问题的时候,除辩证逻辑的方法之外,还可以顺利地运用形式逻辑的手段。本文就是专门研究这些问题的。现代的形式逻辑就其广义而言,包括两种研究:第一,研究形式逻辑本身的工具及在句法和语义方面的各种演算;第二,研究如何运用“纯粹的”形式逻辑中所制定的逻辑工具去分析科学知识。这种研究,即所谓的“应用”逻辑,构成“科学的逻辑”。必须强调指出,“科学的逻辑”在这个意义上与科学的方法论密切联系着,并且在科学认识的方法     

《哲学大辞典·逻辑学卷》辞条选登

冯契教授主编的《哲学大辞典》是上海市“六五”计划的重点项目。其逻辑卷由傅季重教授主编、彭漪涟教授副主编,即将由上海辞书出版社出版。本卷收词目二千余条,涉及传统逻辑、数理逻辑、中外逻辑史、辩证逻辑及因明诸学科。正文六十万字。另附录有“逻辑学名词外汉对照表”、“符号表”等十万字。本辞典特点是收词多而不滥;释文科学、准确,朴实简炼,使用辞书的规范文体。注意从现代逻辑着眼,释文有新义。现选登数条以飨读者。     

国内现代逻辑研究和教学近况--全国现代逻辑研讨会综述

2005年7月25～27日,由中国逻辑学会现代逻辑专业委员会主办、北京书生公司协办的"全国现代逻辑研讨会"(中国逻辑学会现代逻辑专业委员会2005年年会)在北京召开,来自全国各地的30余位专家学者参加了会议.北京大学刘壮虎教授介绍了国内现代逻辑研究和教学的现状.他指出,从研究的独创性角度来看,目前我国的现代逻辑研究在某些领域提出了一些新问题,能以新的角度看待一些问题,研究上具有继承性,技术上有新的内容,这些都在一定程度上体现了我国现代逻辑研究的独创性.不能不承认,国内对前沿性问题的研究还很薄弱.