逻辑、逻辑哲学、元逻辑

按照我的理解,逻辑哲学的任务是要研究由逻辑所引起的哲学问题,正如科学哲学的任务是要研究由科学所引起的哲学问题,数学哲学的任务是要研究由数学引起的哲学问题一样。逻辑的一个主要职责是要辩别有效与非有效的推论;众所周知的命题演算与谓词演算之类的形式逻辑系统,就是要给有效性提供精确规则与纯形式标准。由逻辑这一职责所引起的特殊哲学问题是下面这些:说一个推论是有效的,一个陈述句是由其他陈述句推出,一个陈述句是逻辑的真,它们各自的意思是指什么呢?有效性可被解释为是相对于某个形式系统的吗?或者,是否有形式系统力求表达的一种系统外的概念?有效的推论与一个好的推论有什     

试谈认识论逻辑

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

哲学分析与诠释：方法的反省

由于我经常被视为当代新儒家的代表人物之一,由方法论的角度检讨半个世纪以来我对中国哲学的理解的演化过程,或者不是全无意义的事吧！ 1951年我进台大哲学系,很快就意识到这是一个重视方法的世纪。当时英美流行哲学分析,特别是逻辑实证论(Logical Positivism)的思想。我颇为这一时潮所吸引,也相信传统的中国哲学的观念每失之于模糊,要进一步发展中国哲学,必须学习哲学分析的技巧。根据逻辑实证论的主张,只有形式科学,如逻辑、数学,与经验科学,如理     

归纳逻辑与人工智能相结合的研究问题

自然科学技术与哲学社会科学相互渗透、相互结合的趋势是近半个世纪以来科学技术革命向纵深发展的一个突出特点。这不仅与种种学科各自发展必然导向相互间辩证联系的强化有关,尤其与横断性、交叉性的系统科学之形成与发展有关;与数学的研究对象与适用范围逐渐由自然界扩展到社会与人类思维、智能领域,从而由一门自然科学逐渐发展成为一门具     

理解数学:代数式的进路——访英国利物浦大学哲学系玛丽·兰博士

玛丽.兰(Mary Leng)是英国当代数学哲学界的青年代表人物之一,她的主要研究兴趣包括数学中的虚构主义、数学反实在论以及数学应用中的哲学问题等,其即将出版的著作为《数学与实在》。2006年5月她专程到山西大学科学技术哲学研究中心讲学访问,在此期间,笔者对她就当代数学哲学中的各种代数式观点进行了专访。问:传统的数学哲学最关注数学基础问题,哲学家与数学家们都试图为数学找到一个坚实而明确的公理基础。逻辑主义、形式主义以及直觉主义者三大基础纲领已经被发展起来,但学界就这一问题始终未达到共识。请问,数学基础问题的研究在当代西…     

论逻辑语义

符号、由符号构成的某类表达式及其语义是语言哲学和符号哲学研究的一个重要方面 ,逻辑符号、由逻辑符号构成的某类表达式及其逻辑语义则是逻辑哲学研究的一个重要方面。逻辑 ,特别是现代逻辑 ,通常是用形式语言和形式系统表述的。但逻辑学家建立逻辑的目的是为了刻画人的思维规律和推理能力 ,这必然要涉及形式语义和形式系统的逻辑语义。逻辑语义可以分为两大类 :直观语义和形式语义。很少有论文专门论述逻辑语义中的直观语义以及它们与形式语义的关系。本文主要讨论这些问题。给定一个形式语言L。我们知道 ,从本质上说 ,L由一堆抽象符号…     

论逻辑学、数学和哲学的结合

作者是日本著名的分析哲学家和现代逻辑学家。本文着重谈在逻辑学领域如何应用数学和哲学(特别是分析哲学)知识的问题。虽然日本逻辑发展比欧美迟缓,但是他们勇于引进和不断革新,这一点值得我们学习和研究。这也是我们要介绍日本逻辑现状的一个目的。     

西方逻辑哲学研究述介

西方逻辑哲学研究述介陈波总的说来,即使在当代西方,逻辑哲学也是一门正在形成和发展中的学科,目前并没有完全成熟和定形。这点可由下述事例印证：其一,在一本１９９１年出版的英文新书《真理的准则──逻辑哲学引论》中,作者巴斯卡·恩格尔（ＰａｓｃａｌＥｎｇｅｌ）在引言部分指出：“这本书是逻辑哲学的引论。但‘逻辑哲学’是一个保护伞式的词,它容纳了各种不同的问题和不同的研究风格。我认为,（关于逻辑哲学的）主题不存在一个单一的既定看法。”其二,有一些所讨论的问题及其内容大同小异的英文出版物,却被冠以不同的名称：“逻辑哲学”,“哲学逻辑”,“现代逻辑中的哲学问题”,等等。这足以说明,逻辑哲学作为一门学科,即使在当代西方也未完全成熟。现选择几本我认为是比较有代表性的英文逻辑哲学专著作一些简要评价,读者或许能从中窥见当代西方逻辑哲学研究的“全豹”。维特根斯坦写有一部《逻辑哲学论》,虽然也讨论了一些逻辑中的哲学问题,但更多的是一部传统意义的哲学著作,并不真正属于这里所说的逻辑哲学专著。但美国著名逻辑学家和哲学家Ｗ·Ｖ·蒯因却写有一部真正意义的《逻辑哲学》（１９７０）,该书的中译本已由三联书店出版。全书分七章,分别题为意义与真、语法     

转折与革命——逻辑经验主义的数学哲学:从《逻辑哲学论》到《逻辑句法》

与经验主义或实证主义之前的形式相比,逻辑和数学哲学是最具逻辑经验主义特征的。逻辑经验主义不仅因此得名,而且也为科学经验主义的成功点燃了希望。然而,经验主义者的心理主义与实证主义者的逻辑主义对数学本质的探讨始终不能达成共识。基于这种背景,维特根斯坦《逻辑哲学论》的发表对于维也纳小组的影响深远、意义重大。逻辑经验主义在20世纪20年代的数学哲学都是植根于《逻辑哲学论》的。本文在第一部分阐释了它何以成为该学派在"哲学上的转折点"。而维也纳学派从一开始就试图对《逻辑哲学论》进行革新,使之服务于其本身的纲领。本文在第二部分着重探讨了他们关于这些问题所展开的激烈讨论。这种状况一直持续到1931年卡尔纳普提出了"句法"纲领,该纲领从根本上超越了逻辑经验主义的原有框架。但由于当时欧洲逻辑经验主义者受到纳粹的迫害而四分五散,"句法"观点并未受到广泛关注。本文在第三、第四部分具体分析了逻辑经验主义如何由《逻辑哲学论》向"句法"思想转变的过程。     

思想的逻辑问题域与逻辑学的发展

弗雷格作为数理逻辑、逻辑哲学、数学哲学与语言学的大师,在他对上述学术领域的所有开创性的贡献中,至今仍发生重大影响力的,几乎都与关于思想的理论有关。弗雷格的数理逻辑系统和关于思想的理论,是引起哲学和逻辑学的历史性重大变革的理论根源和动力。弗雷格创造了哲学和逻辑学的崭新的概念和范式,他关于思想的理论,已经成为当代逻辑哲学和哲学逻辑（广义的）的一个基本理论问题,这个被弗雷格问题专家之一的D·贝尔称之为“最持久最具有革命性的贡献”,至今仍释放出源源不断的能量。在拙作《思想的逻辑哲学分析》（见《华南师大学…     

“现代逻辑引论”评介

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

编者导语

逻辑与哲学的关系不仅是方法论层面的问题,也是思想本身的问题。在西方哲学史上,逻辑与形而上学和认识论的关系极其密切,达米特曾言道：逻辑一直正确地被看做哲学的一部分。这种看法是正确的,不仅因为逻辑后承（logical consequence）这个概念是一种成功的哲学必定要加以分析的概念,而且因为对许多其它概念的分析,对语言的基本结构因而对思想的基本结构的理解,都依赖于以一种正确的形式拥有对句子的构造和句子之间的相互关系的解释,而这种解释正是逻辑要做的事情。1逻辑在19世纪后半叶转向现代发展阶段,同时哲学内部也发生了革命。如今的逻辑理论、技术和方法已经发展十分成熟,运用数学工具对逻辑理论的研究取得了相当丰富的成果。如何运用逻辑理论发展的成果,不被眼花缭乱的逻辑理论所迷惑,努力推进哲学问题的讨论,这是值得认真思考的问题。要运用逻辑理论,首先要掌握逻辑理论（不仅要学会逻辑的技术和方法,而且要理解逻辑理论的实质）,否则应用就是空谈。这里我们组织“逻辑与哲学”专栏,希望通过它向我国逻辑界展示逻辑与哲学研究的成果,逐渐推动我国学者在运用逻辑理论研究哲学问题方面不断取得进步。     

传统逻辑与数理逻辑

一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我们先就第一方面立论,关于数学基础的研究方面,待我们有机会时再另文讨论。     

哥德尔不完全性定理研讨会在苏州召开

由中国逻辑学会符号逻辑研究会、中国社会科学院哲学研究所、上海社会科学院哲学研究所和苏州市逻辑学会联合主办的全国哥德尔不完全性定理研讨会于10月9日至10月12日在苏州大学召开,共三十多位专家、教授、学者出席了会议。哥德尔不完全性定理是现代逻辑发展史上的一个里程碑。这个定理包含的深刻的思想内容,涉及到哲学、逻辑、数学、人类思维和计算机科学等领域。与会同志分别就哥德尔不完全性定理的内容和证明中包     

第八届逻辑与认知国际会议报道

由中山大学逻辑与认知研究所主办的逻辑与认知国际研讨会自2001年开始每年举办一次,内容涉及逻辑学、计算机科学、数学、认知科学和哲学,共同的目的在于发展中国的逻辑学研究及促进中国与国外逻辑学家的交流与合作。第八届逻辑与认知国际研讨会于2009年11月2日至4日在广州举行,由中山大学逻辑与认知研究所与澳大利亚墨尔本大学哲学系联合主办。本次会议邀请了来自澳大利亚、新西兰、日本、印度、中国香港、中国台湾和中国大陆的学者。会议录用了13篇论文作为发言稿,其中5篇特邀发言分别来自Edwin Mares、Greg Restall、Hiroakira Ono、Mark Reynoldsand、Mihir Chakraborty。会议内容涵盖了证明论、逻辑与代数、博弈论、语言学和哲学逻辑。例如Greg Restall的论文从确证与否证的角度来理解证明,并且考察这样的观点如何影响对证明结构及证明论的理解。在逻辑与代数的主题上,Hiroakira Ono教授着眼于在保持无穷交并下的代数完全性。哲学逻辑方面的论文有时态逻辑、信念逻辑、动态逻辑、条件句逻辑、模糊逻辑等。博弈论方面有对偏逻辑的博弈语义的考察。另外还有对论证理论的形式模型探讨。会议受到了与会者的高度肯定,为加强亚太地区逻辑学的交流与合作提供了一个很好的平台。会议主委会包括鞠实儿教授、Greg Restall、Hiroakira Ono和Mihir Chakraborty教授一致认为这样的合作与交流应该继续深入下去。期待在不久的将来可以建立起所谓的亚太逻辑研究圈,从而更好地推进逻辑学在亚太地区的发展。     

第十三届国际逻辑学、方法论和科学哲学大会综述

今年8月9—15日,由联合国教科文组织下属历史与科学哲学联盟(IUHPS)及逻辑学、方法论与科学哲学分会(DLMPS)和清华大学联合主办的第十三届国际逻辑学、方法论和科学哲学大会在北京友谊宾馆举行,来自40多个国家和地区的500多名学者参加了本届盛会。本届大会共设逻辑学、一般科学哲学、特殊科学的哲学问题、科学与社会4个大的主题,主要有4个专题研讨会以及16个分组:A.逻辑学:包括数学逻辑,哲学逻辑和应用逻辑,逻辑与计算;B.一般科学哲学:包括方法论与科学推理的一般问题,方法论的形式化进路,科学哲学中的历史与社会学面向;C.特殊科学的…     

实证主义思潮(二)——西方现代哲学认识论问题述要

三分析哲学:罗素与维特根斯坦(上)分析哲学是一个概称,指的是由于本世纪初数学、逻辑学和物理学等学科的重大突破而兴起的一种哲学运动,但其中的各个流派的主张是不同的,其共同点是方法上而不是内容上的。分析哲学认为哲学是“语言分析”的活动,通过语言分析,澄清哲学问题。就它强调“科学”并承袭经验主义的传统来看,它是实证主义思潮的延续和发展;在认识论上,则表现为物理主义、心理主义、通过语言上的逻辑演算对思维进行定量分析和精确化的倾向。将认识问题归结为语言和逻辑判断问题,康德就已经开始做了,但直到本世纪才由于同数理     

逻辑哲学简介

逻辑哲学(又称哲学逻辑)是新近十几年国外发展很快的一个学科。在1972年重版的美国《哲学百科全书》中尚无“逻辑哲学”这一个条目。但目前,西方许多大学都先后开设了这方面的课程,有关的论著也很丰富。不过,逻辑哲学尚未完全定型,笼统地说,它的研究对象是逻辑中产生的哲学问题。     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。自2011年起,中英文分开隔期出版。《逻辑学研究》征稿的内容将主要包括下述方向：符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。《逻辑学研究》不但欢迎原创的高水平的逻辑学研究论文,而且提倡逻辑学与其它学科的交往互动;不但主张对逻辑学的各传统基本领域如数理逻辑、数学基础、逻辑哲学、中外逻辑史等展开深入研究;也欢迎对哲学逻辑各分支的探究,以及有关人工智能逻辑、归纳逻辑、语言逻辑、非形式逻辑等各方面的工作。不但关注逻辑学在认知科学、数学、计算机科学、法律推理、决策理论等相关学科中的应用;也探究逻辑学与认识论、语言和心灵哲学、符号学等领域的沟通,同时还欢迎对逻辑学与思维方式、逻辑与文化及社会的关系等方面具有真知灼见的思考。     

对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》

直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规律和方法,特别是数学归纳法,是可靠的出发点,其它一切数学对象和理论都应该从自然数构造出来。所谓“构造”出来,是指:(1)对存在命题“有X具有A性质”的一个证明,必须根据该证明能找到一个特殊的对象X,X满足A;(2)只有在有一个方法能判明一命题或其否定中有一个是真的条件下,才能承认该命题或者其否定为真,不承认任一命题非真即假。直觉主义哲学家不一定建立一套构造性数学;从事构造性数学研究的数学家也不一定信仰直觉主义哲学。构造性数学是数学的一个部分。直觉主义逻辑,也称构造逻辑,是从事构