Location: Home» News» Updates

Mathematical Philosophy Week

Both Philosophy and Mathematics study abstract concepts and structures, and they share an intertwined early history. On the one hand, a lot of mathematical tools are used in the frontier philosophical research on the concepts such as infinity, necessity, possibility, existence, truth, meaning, knowledge, belief, causality, and so on, which makes the philosophical discussions more precise. On the other hand, in facing the past three crises in mathematics in history, philosophical ideas played a key role in the development of mathematics. In particular, the early 20th century witnessed the development of mathematical logic which deepened our understanding of mathematics and its foundation. Philosophical Mathematics Week is aimed at presenting the connections between modern (technical) philosophy and mathematics in a comprehensive way, showing the role of mathematical tools played in the current philosophical research. At the same time, we also hope to be able to demonstrate the lively connections between philosophy and other related disciplines such as theoretical computers, artificial intelligence, linguistics, and so on.

The week will be opened by Prof. Hannes Leitgeb from the Munich Center for Mathematical Philosophy:

Title: Philosophy as Rational Construction and the Role of Mathematics in Philosophy
Time: 2019.6.23 (SUN) 10:00-11:40
Venue: Hall 108, Building 1 of Lee Shau Kee Humanities Buildings
Speaker: Prof. Hannes Leitgeb (Munich Center for Mathematical Philosophy)
Abstract: In this talk, I will develop a metaphilosophical proposal for what philosophy might (partially) have been in the past and what it might be in the future: the discipline of rational construction. From this conception of philosophy, I will draw some general conclusions on the meaning of progress in philosophy and the role of logical and mathematical methods in philosophy.
About the speaker: Hannes Leitgeb is Chair of Logic and Philosophy of Language, Alexander-von-Humboldt Professor, and Co-Director of the Munich Center for Mathematical Philosophy (MCMP) at Ludwig-Maximilians-University Munich. His research interests concern logic, epistemology, general philosophy of science, philosophy of cognitive science, philosophy of mathematics, philosophy of language, metaphysics, metaphilosophy, and the history of logical empiricism. He is the current Editor-in-Chief of Erkenntnis and a member of the Academia Europaea and the Leopoldina (the German Academy of Sciences). His massive open online course on Mathematical Philosophy, which he taught jointly with his colleague Stephan Hartmann, attracted more than 100000 students worldwide.

Other lectures:
June 23
Yanjing Wang (PKU):
Public Lecture: Logic in Philosophy, Math, and Computer Science 

Ruizhi Yang (Fudan): 
Foundation of Mathematics and the Reducts of the Set-theoretical Universe

Lan Wen (PKU)
Public Lecture: From a "Three cards paradox" to the Liar paradox (in Chinese)

June 24 (Monday)

Venue for the lectures: B114, Department of Philosophy, Peking University

Hannes Leitgeb (Munich):
On Merely Expressive Devices

14:00 - 15:30
Hannes Leitgeb (Munich):
HYPE: A System of Hyperintensional Logic and Semantics

16:00 - 17:30 
Ming Xiong (SCNU):
Paradoxes and Revision theory of truth

19:30 - 21:30
Evening discussion on the Philosophy of Mathematics (in Chinese)
Venue for the evening discussions: 北大第二教学楼地下
Host: Shengyang Zhong (PKU)
Zhuanghu Liu (PKU), Taotao Xing (PKU), Ruizhi Yang (Fudan) & Feng Ye (CNU)

June 25 (Tuesday)

Venue for the lectures: B114, Department of Philosophy, Peking University

10:00 - 11:30
R. Ramanujam (Chennai):
Public Lecture: Some questions for philosophy from the theory of computing

14:00 - 15:30
Renjie Yang (CNU):
Causal Inference: Philosophy, Math and Machine Learning

16:00 - 17:30
Junhua Yu (Tsinghua)
Provability logic and logic of proofs

19:30 - 21:30

Evening discussions on Philosophy, Logic, and AI (in Chinese)
Venue for the evening discussions: 北大第二教学楼地下

Host: Zhe Liu (PKU)
Xihong Wu (PKU), Beihai Zhou (PKU)()
For more information about the events please visit the website: