The week will be opened by Prof. Hannes Leitgeb from the Munich Center for Mathematical 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      
 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)      
      
 ______________________________      __      
      
     
           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)      ()