Philosophy of Mathematics from Working Mathematics ——How Practice Produces Ontology and Foundations

Colin McLarty  美国凯斯西储大学哲学与数学教授

第0讲：Introduction                 (北京大学理教417  12月12日 周二 15：00—18：00)

第1讲：Mathematical Proof     （北京师范大学教四207 12月13日 周三 18：55—21：30）

第2讲：The Working Methods Begin Changing into Philosophies

（北京师范大学教四207  12月15日 周五18：55—21：30）

第3讲：The Three Classical Philosophies

（北京师范大学教四207  12月18日 周一 18：55—21：30）

第4讲：Philosophical Ontologies

（北京师范大学教四207  12月20日 周三 18：55—21：30）

第5讲：New 20th Century Working Methods

（北京师范大学教四207  12月22日 周五 18：55—21：30）

第6讲：Bourbaki and Category Theory

（北京师范大学教四207  12月25日 周一 18：55—21：30）

第7讲：Current Philosophies

（北京师范大学教四207  12月27日 周三 18：55—21：30）

第8讲：Philosophic Successes, and The Future

（北京师范大学教四207  12月29日 周五 18：55—21：30）

若您想参加本次课程，请提前网上报名  www.wjx.top/m/18452474.aspx

北京师范大学哲学学院逻辑与认知科学研究所

北京大学哲学系逻辑、语言与认知研究中心