学术报告一:
报告人: 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多次。
主办:国际合作与交流处,研究生院
承办:十大网投正规信誉网址