報告人： Dr. Sean Walsh

報告題目:  Theory and Applications of Classical and Non-Classical Logic

報告內(nèi)容:

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

地點：九里校區(qū)01019

學術(shù)報告二：

報告人： Dr. Sean Walsh

報告題目:  The Structure and Assessment of Research in the US and Europe

報告內(nèi)容:

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

地點：犀浦校區(qū)X2511

主講人簡介： Sean博士是美國加州大學Irvine分?？茖W的邏輯與哲學系的助理教授。他博士畢業(yè)于圣母大學（University of Notre Dame），在倫敦大學、著名的伯克貝克（Birkbeck）學院完成了他的博士后研究工作。Sean博士也曾留學于法國和德國等著名學府。對歐洲、美國等發(fā)達國家的高等教育和科研體系非常熟悉。

他的主要研究興趣包括：數(shù)學邏輯、數(shù)學的哲學、邏輯的哲學等，已經(jīng)在“J.Applied Logic”、“Annals of Pure and Applied Logic”等權(quán)威期刊上發(fā)表多篇高水平研究論文，曾應(yīng)邀到劍橋大學、牛津大學、加州大學洛杉磯分校（UCLA）等美國和歐洲多個著名大學作邀請報告30多次。

主辦：國際合作與交流處，研究生院

承辦：kaiyun開云官方網(wǎng)站