学术报告一：
报告人： Dr. Sean Walsh
报告题目: Theory and Applications of Classical and Non-Classical
Logic
报告内容:
In this talk, I survey some
applications of classical and non-classical logics. We’ll focus in particular
on (i) the representation of intensional notions (truth, necessity, knowledge,
probability) in terms of predicates, and (ii) logics in-between first and
second-order logic and the program of predicativity from the work of Poincaré,
Weyl, and Feferman.
时间：2014年9月24日上午 9:00-10:30
地点：九里校区01019
学术报告二：
报告人： Dr. Sean Walsh
报告题目: The Structure and Assessment of Research in the US and
Europe
报告内容:
This is a brief overview of the structure and assessment of research in the
US and European educational systems. Things that will be highlighted will be:
(i) teaching vs. research institutions, (ii) the particulars of graduate
admissions, and (iii) the structure and nature of grants.
时间： 2014年9月24日下午3:00-4:30
地点：犀浦校区X2511
主讲人简介： Sean博士是美国加州大学Irvine分校科学的逻辑与哲学系的助理教授。他博士毕业于圣母大学（University of
Notre Dame），在伦敦大学、著名的伯克贝克（Birkbeck）学院完成了他的博士后研究工作。Sean博士也曾留学于法国和德国等著名学府。对欧洲、美国等发达国家的高等教育和科研体系非常熟悉。
他的主要研究兴趣包括：数学逻辑、数学的哲学、逻辑的哲学等，已经在“J.Applied Logic”、“Annals of Pure and Applied Logic”等权威期刊上发表多篇高水平研究论文，曾应邀到剑桥大学、牛津大学、加州大学洛杉矶分校（UCLA）等美国和欧洲多个著名大学作邀请报告30多次。
主办：国际合作与交流处，研究生院
承办：bat365在线官网登录入口
