杨睿之
发布时间:2016-06-21  浏览次数:4957

个人简介:

我的全部研究动机在于理解什么是真,尤其什么是数学真,我们是在什么意义上说一个命题是真的,以及我们如何判定它的真假。我认为在研究中不应在方法上给自己任何限制。但无疑当代数理逻辑提供了目前看来最为可靠且无可替代的框架,让我们至少可以较清晰地陈述那些问题。在我看来做数理逻辑就是做哲学,并且是以一种漂亮方式做哲学。

 

 

学习经历

2010-2011 哈佛大学,国家留学基金委联合培养博士生项目(联系导师:Peter Koellner);

2009-2014 新加坡国立大学数学科学研究所,逻辑学暑期学校

2008-2012 北京大学哲学系,符号逻辑方向博士研究生(导师:刘壮虎)

2005-2008 复旦大学哲学学院,逻辑学硕士研究生(导师:郝兆宽)

2001-2005 复旦大学哲学系,哲学专业本科生

 

工作经历

2012至今,复旦大学哲学学院,讲师

 

 

研究领域


主要研究领域

数理逻辑、数学哲学

近期研究重点

集合论多宇宙观,当代数学基础研究对数学实在论的挑战,可计算性理论、随机性理论、反推数学以及它们的哲学意义。

 

 

科研成果及代表作

著作:N/A

 

论文:

弗雷格论数学定义,即将发表.

集合论多宇宙观述评. 《自然辨证法研究》,2015年第9期,P.99-103.

 

作为一种分析哲学的数理逻辑:以相对可计算性与随机性概念研究为例. 《逻辑学研究》,201412月,P.15-35.

 

哥德尔在构造主义数学方面的工作. 《逻辑学研究》,20149月,P.12-29.

 

一种实用主义的数学哲学观. 《逻辑学研究》(英文), 20123, p. 29-56.

主要讲授课程


数理逻辑、集合论、递归论、证明论

 

荣誉称号及所获奖励:


CURRICULUM VITAE

 

name

Yang Ruizhi  

 

Contact Information

Office: 2503, West Guanghua Tower, Fudan University

Office hours: 2:00 – 4:00 p.m., Thursday

Office phone: N/A

Email: yangruizhi@fudan.edu.cn

 

Personal:

The whole motivation of my research is to understand what is truth, in particular, mathematical truth, in what sense we say a statement is truth, and how we can decide it. Although no restriction should be put on the methodology when pursuing the truth, modern mathematical logic is no doubt providing the most reliable and yet irreplaceable framework for us to address those fundamental problems. In my view, doing mathematical logic is doing philosophy, and is a beautiful style to do philosophy.

 

 

Education:

2010-2011 Harvard University, visiting student.

2009-2014 National University of Singapore, summer school in logic

2008-2012 Peking University, symbolic logic PhD program

2005-2008 Fudan University, logic master program

2001-2005 Fudan University, undergraduate

Teaching:

Mathematical logic

Set theory

Recursion theory

Proof theory

 

 

Research Interests:

Mathematical logic, philosophy of mathematics

 

 

Some Positions:

N/A

 

 

Publications

Books:

N/A

Academic Papers:

Frege on mathematical definition. To be appear.

 

On set-theoretical multiverse view. Studies in Dialectics of Nature (in Chinese), 2015(9), p.99-103.

 

Mathematical logic as a style of analytic philosophy: case studies on computability and randomness theory. Studies in Logic (in Chinese), 2014(4), p. 15-35.

 

Gödel’s work on constructive mathematics. Studies in Logic (in Chinese), 2014(3), p. 12-29.

 

A pragmatistic view on philosophy of mathematics. Studies in Logic, 2012(1), p. 29-56.

 

Kant and Gödel on the objectivity of mathematical truth. Philosophical Trends (in Chinese), July 2009, p. 75-80