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.
Title: Philosophy as Rational Construction and the Role of Mathematics in Philosophy
Other lectures:
14:00-15:30
Yanjing Wang (PKU):
Public Lecture: Logic in Philosophy, Math, and Computer Science
16:00-17:30
Ruizhi Yang (Fudan):
Foundation of Mathematics and the Reducts of the Set-theoretical Universe
19:30-21:30
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
10:00-11:30
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)
________________________________
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)()