叶 峰
基本信息:
工作单位: 北京大学哲学系
职称: 教授
研究领域: 数学哲学, 心灵与认知科学哲学, 语言哲学, 逻辑
简历:
9/1979—7/1983: 厦门大学数学系,本科生
9/1983—7/1986: 中科院数学研究所, 研究生
9/1986—7/1994: 北京大学哲学系,助教、讲师
9/1994—7/1999: 美国普林斯顿大学哲学系,研究生(2000.1获博士学位)
8/1999—9/2004: 一软件公司(美国),软件工程师、高级系统设计师
9/2004—8/2010:
北京大学哲学系,副教授
8/2010—现在: 北京大学哲学系,教授
教学
|
|
课程 |
级别# |
开课 |
课程材料 |
|
|
一阶逻辑 |
G |
不定 |
大纲, |
|
|
公理集合论* |
B |
春 |
大纲, |
|
|
模型论 |
B |
不定 |
|
|
|
递归论(可计算性与不完全性) |
G |
不定 |
大纲, |
|
|
数学哲学 |
B |
不定 |
|
|
|
|
|
|
|
|
|
* 本学期(2012春)开课 # U—本科生课程, G—研究生课程, B—本、研共同课程 关于本系开设的其它逻辑课程请见北大逻辑、语言与认知研究中心网页。 |
|||
研究
研究课题:
目前专注于在自然主义的框架下研究一些哲学问题,包括:
对整个自然主义研究计划的概述请见以下所列报告提纲(i)。
研究基金项目:
2005国家社科基金项目“当代数学哲学问题研究”
2006教育部人文社会科学重点研究基地重大项目“20世纪西方逻辑哲学和数学哲学”(数学哲学子课题)
2012教育部人文社会科学重点研究基地重大项目“基于心灵与认知观的逻辑与数学哲学研究”
著作:
III. 《二十世纪数学哲学——一个自然主义者的评述》,北京大学出版社,2010.7.
II. Strict
Finitism and the Logic of Mathematical Applications, Synthese Library, vol. 355, Springer, 2011.7. http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-94-007-1346-8
I.《一阶逻辑与一阶理论》,中国社会科学出版社,1994。(教材)
论文:
[15] 'Naturalized
Truth and Plantinga's Argument against Naturalism', International Journal for Philosophy of
Religion, vol. 70 (2011.7), no.1, 27-46. http://www.springerlink.com/content/e3532325m3412ul7/
[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’, Philosophia Mathematica, vol.18 (2010), no.2, p.144-165. 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’,
International Studies in the Philosophy
of Science, vol.24
(2010), no.2, p.129-146. http://www.informaworld.com/smpp/content~db=all~content=a923356109~frm=abslink
[3] ‘What Anti-realism in Philosophy of Mathematics Must Offer’, Synthese, vol.175 (2010), no.1, p.13-31. http://www.springerlink.com/content/w025726317224651/ 重印于M. Pitici (ed.), The Best Writing on Mathematics 2011, Princeton University Press, 2011, pp. 286-311.
[2] ‘Toward a constructive theory of unbounded linear operators on Hilbert spaces’, Journal of Symbolic Logic, 65(2000), no. 1. JStor 链接:http://www.jstor.org/pss/2586543
[1] Strict Constructivism and the Philosophy of
Mathematics, PhD dissertation,
(12) “弗雷格的算术哲学”,载于《科学文化评论》第5卷(2008)第6期。
(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页。
(1) “量子逻辑”,载于《方法论全书(II)--应用逻辑方法学》,李志才主编,南京大学出版社, 1998
报告提纲/书评:
(iv)一种自然主义的数学哲学
(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,
[i] ‘Review of Second Philosophy by P. Maddy’,International Studies in the Philosophy of Science, vol. 22(2008), no. 2, pp. 227-230.