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     （yl永利集团官网入口教四207 12月13日 周三 18：55—21：30）

第2讲：The Working Methods Begin Changing into Philosophies

（yl永利集团官网入口教四207  12月15日 周五18：55—21：30）

第3讲：The Three Classical Philosophies

（yl永利集团官网入口教四207  12月18日 周一 18：55—21：30）

第4讲：Philosophical Ontologies

（yl永利集团官网入口教四207  12月20日 周三 18：55—21：30）

第5讲：New 20th Century Working Methods

（yl永利集团官网入口教四207  12月22日 周五 18：55—21：30）

第6讲：Bourbaki and Category Theory

（yl永利集团官网入口教四207  12月25日 周一 18：55—21：30）

第7讲：Current Philosophies

（yl永利集团官网入口教四207  12月27日 周三 18：55—21：30）

第8讲：Philosophic Successes, and The Future

（yl永利集团官网入口教四207  12月29日 周五 18：55—21：30）

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

yl永利集团官网入口逻辑与认知科学研究所

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