达米特的直觉主义数学哲学观——访英国哲学家、牛津大学哲学系迈克尔·达米特教授

迈克尔·达米特(M ichael Dummett)是20世纪英国最著名的哲学家之一,他的主要贡献在分析哲学、数学哲学、语言哲学和逻辑哲学等领域,尤其是他关于弗雷格哲学的研究奠定了他的整个哲学生涯,他是20世纪反实在论和数学哲学中直觉主义的主要代表人物,其主要著作有:《弗雷格:语言哲学》(1973);《直觉主义的成分)(1977);《弗雷格哲学的解释》(1981);《弗雷格和其他哲学家》(1991);《弗雷格:数学哲学》(1991);《形而上学的逻辑基础》(1991);《分析哲学的起源》(1993);《语言的海洋》(1993)等。2005年12月~2006年5月作者在英国牛津大学访问期间对他…     

弗雷格的《算术基本规律》

弗雷格被看作是分析哲学的奠基人和数理逻辑的创始人,然而,他的毕生工作都致力于建立一种被称为逻辑主义的数学哲学。他在《算术基本规律》一书中给出了执行逻辑主义方案的形式系统。然而,由于罗素悖论的发现,很少有人关注弗雷格的《算术基本规律》。本文将主要介绍《算术基本规律》一书,包括其符号系统的说明,公理、规则、定义和定理的说明,罗素发现的悖论以及弗雷格的补救措施。     

论弗雷格的索引词理论

索引词普遍存在于每一种自然语言中,存在于我们的日常语言中,对索引词的哲学思考及逻辑研究既是语言哲学不可缺少的一个构成部分,也是自然语言逻辑以及语义学、语用学不可或缺的一个要件。弗雷格作为现代逻辑的创始人、语言哲学的代表人物,其关于索引词的理论无疑具有重要的学术价值。本文将通过"索引词"与"指示词"的用法入手,在论述弗雷格迷题的索引词理论的基础上,分析弗雷格关于"我"的不可交流的思想,并评说其学术贡献。     

《算术基本规律》序言

弗雷格在两卷本的《算术基本规律》中以严格形式化的方式完成了逻辑主义的任务,即用逻辑符号定义算术符号,然后从逻辑公理推出算术公理。在该书的序言中,弗雷格首先重申了逻辑主义的目标及其哲学意蕴;其次,他介绍了《算术基本规律》一书的主要内容和阅读方法,并且说明了他的形式系统从《概念文字》到《算术基本规律》的转变过程;最后,他以埃德曼的《逻辑学》一书为靶子,激烈地批判了逻辑学中的心理主义思潮。     

哥德尔的遗产及哥德尔百年启示

2006年4月28日是伟大的逻辑学家、数学家和哲学家库尔特&;#183;哥德尔（Kurt Godel）诞辰100周年纪念日。为了纪念他对逻辑学、数学、计算机科学和哲学的贡献,北京市逻辑学会于2006年4月29日在中国人民大学隆重举行了主题为“哥德尔的遗产及哥德尔百年启示”专题报告会。中国科学院系统所胡作玄研究员、中国科学院软件所杨东屏研究员和北京师范大学哲学院刘晓力教授分别以“哥德尔对数理逻辑的影响”、“哥德尔对可计算性理论的影响”和“国外哥德尔思想研究的一些新进展”为题向与会学者和研究生们作了大会报告。会议由北京市逻辑学会会长、北京大学哲学系周北海教授主持,中国社会科学院哲学所张尚水研究员、上海社会科学院哲学所朱水林研究员和北京大学哲学系宋文坚教授等国内哥德尔研究、逻辑史研究专家以及国内一些著名逻辑学专家也参加了这一纪念活动。     

弗雷格关于意义和意谓的理论

在现代的逻辑哲学、语言哲学和分析哲学中,意义理论是一个十分重要的问题。围绕这一理论的讨论,许多重要的思想和论题都追溯到弗雷格关于意义和意谓的论述,甚至有人据此称弗雷格是语言哲学之父,是分析哲学的创始人。与此同时,也有许多人从不同角度和方面对弗雷格的论述提出批评。无论这些桂冠是否名符其实,不管这些批评是否合乎实际,它     

弗雷格,他的逻辑和他的哲学——迈克·比尼访谈录

本文是对国际知名的弗雷格学者迈克.比尼的访谈录,访谈从弗雷格的生平、性格特征开始,然后基本上按年代顺序,涉及有关弗雷格的学术贡献和学术思想的诸多话题,通过本访谈,我们可以对弗雷格其人和他的逻辑和哲学贡献获得轮廓性了解,并且获知有关弗雷格思想的各种新争论和新研究。     

悼念奎因(1908-2000)

威拉德·冯·奥曼·奎因在去年圣诞节的时候过世了.他是深刻影响20世纪哲学的关键人物之一.早期的百科全书把他归入逻辑学家之列,但人们很快就把他当作普遍意义上的哲学家看待了,开始是逻辑和语言哲学家,但最终是一位形而上学家.他关于本体论、认识论和交往的基本思想在哲学的所有主要的领域中都引起了反响.他早期的著作,从1932年的博士论文到1943年间,主要是关于逻辑学的.其中贡献最大的是1937年发表于《美国数学月刊》上的11页论文《数理逻辑的新基础》.这篇篇幅不大的文章启发人们进行大量进一步的研究,直至今天仍然是人们研究和讨论的热门主题.     

弗雷格，他的逻辑和他的哲学——迈克·比尼访谈录

本文是对国际知名的弗雷格学者迈克·比尼的访谈录，访谈从弗雷格的生平、性格特征开始，然后基本上按年代顺序，涉及有关弗雷格的学术贡献和学术思想的诸多话题，通过本访谈，我们可以对弗雷格其人和他的逻辑和哲学贡献获得轮廓性了解，并且获知有关弗雷格思想的各种新争论和新研究。     

台湾逻辑学发展及研究

捅要:台湾逻辑学经历了百年发展历程,共四个阶段,第一阶段:日据时期(1945年以前),台湾逻辑学萌芽期;第二个阶段:光复时期(1945年-1964年),台湾逻辑学的初建期;第三个阶段:宪政时期的戒严期(1964年-1987年),台湾逻辑学发展期;第四个阶段:宪政时期的民主化期(1987年至今),台湾逻辑学高涨期,各个阶段具有不同的特点。台湾逻辑学的数理逻辑与哲学逻辑建树颇丰,其中数理逻辑主要包含:集合论、证明论、模型论、递归函数等;哲学逻辑包含模态逻辑、知态逻辑、规范逻辑、语言逻辑等。而中国古代逻辑与因明学研究虽有成果,但其一直处于缓慢低谷期。本文通过全方位梳理台湾逻辑学不同时期的不同特征与成果,总结其发展规律与趋势,对大陆逻辑学的发展有重要的借鉴意义。     

意义理论

意义理论是语言哲学的核心,美国著名哲学家戴维森和英国著名哲学家达米特是这个理论的两个最主要的代表人物。本文将围绕他们的一些论述来探讨意义理论,主要目的不在于这个理论本身,而是要揭示其中所牵涉到的逻辑方法,希望由此不仅可以说明意义理论的主要思想及其特征,而且可以说明逻辑与哲学的关系。一、达米特的意义理论1973年,达米特发表了其代表作《弗雷格的语言哲学》,其中多次谈到弗雷格的意义理论,并提出了一个基本框架。在这以后,他以“什么是意义理论?”为题发表了两篇文章,尤其是在《什么是意义理论?(II)》(1976)中,他基于弗雷格…     

弗雷格在哲学史上的地位

假如弗雷格于1880年去世,作为现代数理逻辑的奠基人,他在哲学史上的地位依然是稳固的。事实上,他的重要意义远大于此。下面的事实可以部分地说明这一点:他开创了数理哲学的新纪元;给这个重要课题带来一种结果,从那时起,数理哲学常常从这个结果学到许多东西。但是,这仅仅说明了弗雷格的意义的很少一部分。在《算术基础》中,他对逻辑哲学或意义理论中基本观点的讨论,似乎从属于数理哲学的研究。但是任何人读了他后     

《逻辑学研究》征稿启事

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

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。自2011年起,中英文分开隔期出版。《逻辑学研究》征稿的内容将主要包括下述方向：符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。《逻辑学研究》不但欢迎原创的高水平的逻辑学研究论文,而且提倡逻辑学与其它学科的交往互动;不但主张对逻辑学的各传统基本领域如数理逻辑、数学基础、逻辑哲学、     

论科学知识社会学及其哲学任务(续)

四、“逻辑必然性的苛刻”如果要理解作为维特根斯坦晚期哲学基础的哲学概念,无理解他在《逻辑哲学论》一书中表述的早期概念是有好处的。《逻辑哲学论》试图为弗雷格和罗素最近阐明的一种新型数理逻辑展示哲学基础：“逻辑命题描述世界的脚手架。或者不如说,它们展示世界的脚手架。它们不“论及”什么。它们假定名称具有指谓。基本命题具有意义,这就是它们同世界的联系。显然,符号（它们本质上具有确定的特性）的一定结合是重言式,这种情况必定指示着关于世界的某种东西。这是关键所在。我们说过,在我们使用的符号中,有些东西是随意…     

逻辑学应当研究思维的实现形式

思维的逻辑形式和逻辑规律是逻辑学最富有成果的课题。逻辑学在后来两千多年的发展中,其理论视野基本上未超出逻辑形式和逻辑规律的范围,人们正是根据逻辑科学发展的这一事实将逻辑学定义为“关于思维的逻辑形式和逻辑规律的科学”的。数理逻辑将普通思维的主要逻辑规律刻画成了有效演绎推理形式,因此,我们可以将上述逻辑学的定义简化为“关于思维的逻辑形式的科学”。但是,这个传统定义限制了逻辑理论研究的范围,使逻辑学越来越难以满足实际思维的需要。逻辑学不能仅仅研究思维的逻辑形式(及逻辑规律),还应当研究思维的实现形式。     

贺麟与黑格尔研究

贺麟先生很早就对黑格尔产生兴趣,开始研究黑格尔。他从1941年开始翻译和研究黑格尔的《小逻辑》,约十年后出版。该书影响了几代人,对中国的黑格尔研究、德国哲学研究乃至整个哲学研究,产生了极其重大的影响。贺先生认为,黑格尔哲学是一个整体,它可以分为三部分,其中最主要的是逻辑学,包括《逻辑学》《小逻辑》等著作,这部分是其哲学体系的核心,而自然哲学、法哲学、历史哲学等都是应用逻辑学。所以,贺先生推崇和强调《小逻辑》,体现了他对黑格尔哲学最核心部分的认识。而且,这不仅是贺先生对黑格尔哲学的认识,也是他对德国哲学的认识,是他对哲学本身的认识。     

现象学与逻辑学

无论在胡塞尔思想中还是在海德格尔思想中,现象学与逻辑学的关系都构成一个核心问题。本文首先再现了胡塞尔前后期在此问题上的相关研究,并指出他的超越论逻辑学的要点在于对本质的前逻辑直观,也是最有可能为逻辑学提供哲学支撑的因素。其次,在海德格尔方面,根据律概念成为讨论现象学与逻辑学关系的切入点,由此导出他的“存在理解”、“无蔽”和“自由”的概念解释。他们的共同点在于：把形式逻辑看作陈述逻辑,并试图用前谓词判断的哲学逻辑学来为它奠基。     

弗雷格定理:一个导言

戈特洛布·弗雷格是现代数理逻辑的奠基人,也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学———逻辑主义:算术真理都是逻辑真理。长久以来,哲学家一直认为,罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是,在弗雷格那里隐藏着另一个证明:算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说,概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理,它引发了一种新的逻辑主义的兴起。     

逻辑和哲学─—读张家龙著《数理逻辑发展史》

在古希腊，人们把逻辑看作是鸡蛋的蛋壳，把哲学看作是蛋黄，因而逻辑和哲学属于一体。到了本世纪，随着现代逻辑的发展，逻辑从哲学分裂出来，成为一门独立的科学，并且得到越来越普遍的应用。我国第一部数理逻辑史专著，张家龙的《数理逻辑发展史—一八莱布尼兹到哥德尔》一书（社会科学文献出版社1993年版；以下简称《史》）系统地洋细地研究介绍了从莱布尼兹提出建立“普遍语言”和把推理转变成“演算”的设想，经弗雷格建立第一个一阶谓词演算系统，到哥德尔建立不完全性定理，数理逻辑这三百多年来，特别是近一百多年来形成和发展的波…