什么是逻辑?

逻辑研究的对象是什么？国内流行的观点认为逻辑研究的对象是“思维形式”、“思维的一般形式和一般规律”或“思维的形式结构”等等。诸如此类的定义非常多，也不能说一点道理没有。但笔者认为这些说法至少有两个缺点：（1）不易把握。什么是思维形式、思维的一般形式、一般规律或形式结构？要么就是根本说不清楚，要么就是难于说清。（参见王路：《弗雷格思想研究），社会科学文献出版社1996年版，第222页）（2）定义过宽。思维形式或思维的一般形式等不能完全由逻辑来研究，逻辑也研究不了。例如，通常人们说的理性思维有概念、判断和推…     

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

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

论数学的真理困境——从实在论的角度看

贝纳塞拉夫于1973年发表《数学真理》一文,讨论了数学的两种基本哲学思考必然相互冲突的问题:一种思考强调数学解释需要一种齐一的语义学理论,另一种思考则认为数学解释需要一种合理的认识论;由于二者互不相容,选择其中一种必然以放弃另一种为代价,从而形成数学真理的困境。解决这一困境已经成为当代数学哲学工作者不可回避的课题。30多年来,它始终是实在论和反实在论论争的中心,是双方维护自身、批驳对方理论的双刃剑。对这一困境的深入思考,为“数学真理”这一传统问题的研究注入了新的活力,尤其是后哥德尔主义、后奎因主义的哲学家都提出…     

《算术基本规律》序言

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

弗雷格定理:一个导言

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

哥德尔的概念实在论及其辩护策略

哥德尔从数论的客观主义出发,逐步将实在对象从抽象的数扩展到集合和类上,直到扩展到抽象概念上,最终形成他的柏拉图式概念实在论。哥德尔为他的概念实在论提供了三类辩护策略:第一,不可或缺性论证,承认抽象数学对象对于建立物理学理论是必不可少的;第二,以概念实在论在做出重大数学发现过程中所起的助探作用提供辩护;第三,诉诸抽象数学直觉的不可消除性的辩护。论文将从以下五个侧面给出具体分析:哥德尔概念实在论的基本立场;哥德尔的三种辩护策略如何与他的数学发现紧密相关;诉诸抽象直觉的策略如何与胡塞尔的现象学产生共鸣,以及这种共鸣的根源又如何与哥德尔建立"作为严格科学的哲学"规划相连。最后指出,哥德尔的辩护策略未能免除概念实在论最终遭遇的认识论困境的根源。     

什么是逻辑哲学

逻辑哲学是逻辑与哲学相互渗透的产物,是哲学的新分支之一。主要是由于近几十年来,逻辑的新形式、新分支不断涌现,因而带来了一系列的哲学问题。例如为什么会出现多种的逻辑?逻辑是否对任何论域都一概地正确?还是各种特殊论域需要有自己的逻辑?还是逻辑只是方便的思考工具而已?     

分析哲学、维特根斯坦和马克思

从洛克、贝克莱和休谟对知识和理念问题所提出的典型的英国经验主义学说,到康德和黑格尔的唯心主义,再到社会研究的释义唯心主义同宣布哲学终结的马克思的社会科学唯物主义之间的分歧点,这一历史的转变过程,同20世纪说英语国家的文化、分析哲学活动和科学哲学的某些主要哲学思潮的发展,有着明显的相似之处。分析哲学活动发端于本世纪初罗素和穆尔对英国黑格尔主义的抨击以及罗素和维特根斯坦的逻辑原子主义的发展。罗素融合了两种思潮:沿着休谟、边沁和穆勒而延续下来的英国经验主义,和因弗雷格而复兴的19世纪的形式逻辑。罗素的逻辑原子主义是经验主义的,逻辑实证主义则把它加以发展,使经验上的可证实性成为意义的标准。维特根斯坦的贡献在于他提出了一种逻辑学和逻辑哲学的学说。根据这一学     

关于语言哲学的几个问题

当代西方语言哲学在许多重要问题上都产生意见分歧,例如:语言意义是什么?意义在哪里?意义和理解是什么关系?等等。这些分歧表明基本哲学观点是对立的。但在各种对立观点中间,根本的对立是什么?哲学家对此又有不同的看法。比较明显的对立如:实在论的直值条件语义学和反实在论的意向主义(intentionalism)、复现表象主义(representationism)     

意义、意义范畴与本体论框架——兼对Noema的形而上学身份的解释

意义概念的解释决定着逻辑形式和逻辑理论的形而上学,以David Smith为代表的西岸解释通过对胡塞尔的意义理论的解释提出了一种柏拉图主义意义概念,哥德尔对胡塞尔的研究也加强了这种对意义的实在论理解。相反,John Drummond则反对意义与对象的本体论差异和意义实在论,但东岸解释缺乏对逻辑有效性的具体说明。本文认为,胡塞尔在其逻辑研究中初步刻画的部分论与意义理论存在关联。运用部分论的分析,本文将反驳柏拉图主义意义概念,并通过部分论来说明意义、逻辑形式和对象的关联。     

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

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

理性之维:牟宗三逻辑哲学思想探要

牟宗三是我国现代逻辑史和哲学史上较早地深入系统讨论"逻辑是什么"这一逻辑哲学根本问题的人之一。他在表述对逻辑学是什么、逻辑的研究对象、真理的二分、中国古代有无逻辑学等逻辑哲学问题的观点和主张时,均是沿接康德哲学的精神路向,对逻辑的根本问题作了理性主义和先验主义的解释,从而在其逻辑哲学问题上重开了"逻辑之门",也就为自己重开了"哲学之门"。理性之维是理解和进入牟宗三独具创发精神的逻辑哲学思想的关键所在。     

哥德尔的一阶逻辑完全性证明的原始版本

哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。     

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

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

连续统问题与薄实在论

哥德尔对连续统问题的独立性的柏拉图主义回应作为一种"厚实在论"招致麦蒂(Penelope Maddy)的一个批评。作为一种可能的替代,麦蒂提出了所谓的"薄实在论"。本文试图论证麦蒂对厚实在论的批评并不像表面上看来那么有力,而薄实在论作为一种本体论立场涉嫌一种自相矛盾,并且后者也不能像厚实在论那样赋予连续统问题以客观意义。     

从表象到会话实践——罗蒂语言实用主义析论

西方哲学传统中一直存在实在论和反实在论之争,伴随争论的是知识基础、语义来源等问题。争论各方都无法彻底驳倒对方。在知识构建上,弗雷格、罗素试图用现代逻辑技术清除心理主义,却预设了各种非推论的"所与"。罗蒂坚持治疗型的哲学立场,反驳实在论及其相关问题,发展出新的语言观。在罗蒂那里,语言就是本体,世界即语言,其语言实用主义消解了形而上难题,指向运用语言进行会话的社会实践。     

哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述

近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑中的很多问题也都...     

连续统问题与Ω猜想

自从哥德尔和科恩证明了康托连续统假设相对于集合论公理系统ZFC的独立性之后,围绕着连续统问题,形式主义者和柏拉图主义者展开了持久争论。我们在本文中试图论证,武丁有关连续统假设所取得的最新进展有力地支持了柏拉图主义的立场。另一方面,我们把这些新进展看作是在哥德尔纲领下进行的工作,因此,作为一种哲学立场,柏拉图主义也推动着对集合宇宙的日益深刻的理解。     

从使用和提及的视角看蒯因的逻辑观

西方逻辑学界或哲学界似乎只有弗雷格、卡尔纳普、塔尔斯基以及蒯因等为数不多的几个人严格区分了表达式的使用和提及,不少逻辑学家或哲学家,甚至连罗素、刘易斯、马库斯以及赖尔之类的大家都将其混为一谈。使用和提及的区分自始至终贯穿于蒯因的逻辑研究之中,充分体现了他在逻辑研究中对精确性的不懈追求,可以说它是一把打开蒯因逻辑观之门的钥匙。本文明确地指出,单独词项(包括变元)在暧昧语境中是被提及的,而在透明语境中是被使用的,并从使用和提及的独特视角,以哲学的眼光重新审视了蒯因的逻辑观,从而全方位地凸显了他研究逻辑的科学精神。     

“真”之逻辑哲学省察

Truth是西方哲学特别是当代分析哲学、语言哲学的一个重要范畴,也是逻辑学的一个关键性概念。一般情况下,我们都把它译为“真理”。但要特别注意的是,当代分析哲学、语言哲学与逻辑学所研究的truth与我国传统哲学认识论意义下的“真理”,两者的涵义是不完全相同的:我国传统哲学认识论意义下的“真理”主要指对客观事物及其规律的正确性认识,它在一般意义上不是指某一个单独的真命题或语句,而是倾向于指某一个理论体系,即由一些命题组成的系统;而当代分析哲学、语言哲学与逻辑学所研究的truth主要指真命题或语句,即其值为真的东西。鉴于这种…