學(xué)術(shù)報(bào)告一:
報(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)站