報(bào)告人： Dr. Sean Walsh

報(bào)告題目:  Theory and Applications of Classical and Non-Classical Logic

報(bào)告內(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.

時(shí)間：2014年9月24日上午 9:00-10:30

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

學(xué)術(shù)報(bào)告二：

報(bào)告人： Dr. Sean Walsh

報(bào)告題目:  The Structure and Assessment of Research in the US and Europe

報(bào)告內(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.

時(shí)間： 2014年9月24日下午3:00-4:30

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

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

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

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

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