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

 

 

English

 

 

基本信息

工作单位:

北京大学哲学系.

职称:

副教授

研究领域:

数学哲学, 心灵与认知科学哲学, 语言哲学, 逻辑

联系:

yefeng@phil.pku.edu.cn; feng.ye@yahoo.com.cn

 

 

简历:

 

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

不定

大纲,

 

 

 

 

 

 

* 本学期(2008秋)开课

#本科生课程, G—研究生课程, B—本、研共同课程

关于本系开设的其它逻辑课程请见北大逻辑、语言与认知研究中心网页

 

 

 

 

 

研究

 

研究课题:

 

 

目前专注于在自然主义的框架下研究一些哲学问题,如:

数学哲学:提出一种自然主义的、唯名论的数学哲学,包括对数学的可应用性的逻辑解释。详细介绍见以下所列的论文(9)、[12]及书稿《二十世纪数学哲学——一个自然主义者的评述》(未完成)。

心灵哲学:提出一种意向性自然化理论。见论文[5][6][7],(4)。

语言哲学:提出一种模态性自然化理论。见论文(7)。

对整个自然主义研究计划的概述请见以下所列报告提纲(i)。

 

 

 

 

 

研究基金项目:

 

 

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

 

 

2006教育部人文社会科学重点研究基地重大项目“20世纪西方逻辑哲学和数学哲学”(数学哲学子课题)

 

 

 

 

 

著作:

 

 

III. 《二十世纪数学哲学——一个自然主义者的评述》(书稿第17章,20088月更新,欢迎评论。)

 

 

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

 

 

I.《一阶逻辑与一阶理论》,中国社会科学出版社,1994。(教材)

 

 

 

 

 

论文:

 

 

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

 

 

[11] ‘The Applicability of Mathematics as a Scientific and a Logical Problem’, to appear (presented at the 13th International Congress on Logic, Methodology and Philosophy of Science, Beijing, 2007)

 

 

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

 

 

[9] ‘Naturalism and Objectivity in Mathematics’, to appear

 

 

[8] ‘On What Really Exist in Mathematics’, to appear

 

 

[7] ‘Truth and Serving the Biological Purpose’, to appear

 

 

[6] ‘On Some Puzzles about Concepts’, to appear

 

 

[5] ‘A Structural Theory of Content Naturalization’, to appear

 

 

[4] ‘Naturalism and Abstract Entities’, to appear

 

 

[3] ‘What Anti-realism in Philosophy of Mathematics Must Offer’, to appear

 

 

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

 

 

[1] Strict Constructivism and the Philosophy of Mathematics, PhD dissertation, Princeton University, 2000.

 

 

 

 

 

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

 

 

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

 

 

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

 

 

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

 

 

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

 

 

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

 

 

(3) “‘不可或缺性论证’与反实在论数学哲学”, 载于《哲学研究》2006年第8期。

 

 

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

 

 

(1) “量子逻辑”,载于《方法论全书(II--应用逻辑方法学》,李志才主编,南京大学出版社, 1998

 

 

 

 

 

报告提纲:

 

 

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