北大哲学系，北大逻辑、语言与认知研究中心

工作单位: 北京大学哲学系

职称:  副教授

研究领域: 数学哲学, 心灵与认知科学哲学, 语言哲学, 逻辑

联系: yefeng@phil.pku.edu.cn; fengye63@gmail.com

9/1979—7/1983:  厦门大学数学系，本科生

9/1983—7/1986: 中科院数学研究所, 研究生

9/1986—7/1994: 北京大学哲学系，助教、讲师

9/1994—7/1999: 美国普林斯顿大学哲学系，研究生（2000.1获博士学位）

8/1999—9/2004: 一软件公司（美国），软件工程师、高级系统设计师

9/2004—现在: 北京大学哲学系，副教授

 

教学

	课程	级别#	开课	课程材料
	一阶逻辑	G	秋	大纲,
	公理集合论	G	春	大纲,
	模型论*	G	不定	大纲,
	递归论（可计算性与不完全性）	G	不定	大纲,
	数学哲学	B	不定	大纲,
	* 本学期（2009秋）开课 # U—本科生课程, G—研究生课程, B—本、研共同课程 关于本系开设的其它逻辑课程请见北大逻辑、语言与认知研究中心网页。

 

研究

研究课题:

目前专注于在自然主义的框架下研究一些哲学问题，包括：

• 数学哲学：提出一种自然主义的、唯名论的数学哲学，包括对数学的可应用性的逻辑解释。相关论文、著作包括以下所列的著作II，III，英文论文[3]、[4]、[8]、[9]、[10]、[11]、[12]、[14]，及中文论文（9）、（10）、（11）。对这个研究计划的详细介绍见以下所列的中文论文（9）、英文论文[12]及书稿III《二十世纪数学哲学——一个自然主义者的评述》的第二章。
• 心灵哲学：提出一种意向性（概念内容）自然化理论。见英文论文[5]，[6]，[7]，[15]，及中文论文（4）。
• 语言哲学：提出一种模态性自然化理论。见中文论文（7）。

研究基金项目:

2005国家社科基金项目“当代数学哲学问题研究”

著作:

III. 《二十世纪数学哲学——一个自然主义者的评述》（全书书稿，2009年4月更新，欢迎评论。）

II. Strict Finitism and the Logic of Mathematical Applications, book draft.

[15] 'Naturalized Truth and Plantinga's Argument Against Naturalism'

[14] 'A strictly finitistic system for applied mathematics'

[13] 'A naturalistic interpretation of the Kripkean modality', Frontiers of Philosophy in China, Vol. 4 (2009), No. 3, 454-470.  http://www.springerlink.com/content/16m327v306316615.

[12] ‘Introduction to a Naturalistic Philosophy of Mathematics’.

[11] ‘The Applicability of Mathematics as a Scientific and a Logical Problem’, forthcoming on Philosophia Mathematica. Online version: http://philmat.oxfordjournals.org/cgi/content/abstract/nkp014

[10] ‘Naturalism and the Apriority of Logic and Arithmetic’.

[9] ‘Naturalism and Objectivity in Mathematics’.

[8] ‘On What Really Exist in Mathematics’.

[7] ‘Truth and Serving the Biological Purpose’.

[6] ‘On Some Puzzles about Concepts’.

[5] ‘A Structural Theory of Content Naturalization’.

[4] ‘Naturalism and Abstract Entities’.

[3] ‘What Anti-realism in Philosophy of Mathematics Must Offer’, forthcoming on Synthese special issue on analytic philosophy in China. http://www.springerlink.com/content/w025726317224651/

[2] ‘Toward a constructive theory of unbounded linear operators on Hilbert spaces’, Journal of Symbolic Logic, 65(2000), no. 1.

(12) “弗雷格的算术哲学”，载于《科学文化评论》第5卷（2008）第6期。

(11) “从自然主义的角度看形式主义与不完全性定理”

(10) “自然主义与数学本体论”，载于《逻辑与形而上学》，郝兆宽主编，上海人民出版社，2008。

(9) “一种自然主义的数学哲学”，载于《科学文化评论》第5卷（2008）第4期。

(8) “从‘先天综合判断’问题看哲学史与哲学研究的关系”，载于《哲学名家对谈录——英美分析哲学PK欧洲大陆哲学》，邓晓芒主编，湖南教育出版社，2007。

(7) “克里普克模态性的一个自然主义解释”，2007现代逻辑讨论会（秦皇岛）论文。（一个简短的版本载于《哲学研究》2008年第1期。英译本: [13]。）

(6) “当代数学哲学中的实在论与反实在论”（与刘晓力合著），

(5) “漢語“數-量-名”結構對算術哲學的啓示” ，澳门“分析哲学在中国”讨论会，2006.11。

(4) “当前表征内容理论的难点与一个解决方案”， 《外国哲学》第19辑,商务印书馆2008。

(3) “‘不可或缺性论证’与反实在论数学哲学”， 载于《哲学研究》2006年第8期。英译本：‘Indispensability argument and anti-realism in philosophy of mathematics’, Frontiers of Philosophy in China 2007, 2(4): 1-15。

(2) “数学真理是什么？”，载于《科学文化评论》2005年第4期，17- 45页。

报告提纲/书评：

(iii)从自然主义的角度看形式主义与不完全性定理，中国逻辑学会第八次代表大会主题发言，2008年11月1日，天津。

(ii) 一个自然主义的研究计划

(i) “自然主义及其背景下的意义、真理、逻辑、模态性及‘抽象实体’”

 

[ii]  'A strictly finitistic system for applied mathematics', presented at Workshop on Proof, Reason, and Games, Nov. 7, 2008, Tsinghua University, Beijing.

[i] ‘Review of Second Philosophy by P. Maddy’，International Studies in the Philosophy of Science, vol. 22(2008), no. 2, pp. 227-230.