北京大學(xué)邏輯學(xué)在職研究生教學(xué)方案如下：　　

　　一、培養(yǎng)目標(biāo)：培養(yǎng)系統(tǒng)掌握邏輯學(xué)專(zhuān)業(yè)知識(shí)，具有較高哲學(xué)理論素養(yǎng)，能進(jìn)行邏輯學(xué)教學(xué)和研究以及實(shí)際工作的專(zhuān)門(mén)人才。

　　二、學(xué)習(xí)年限：3年

　　三、應(yīng)修學(xué)分：40分

　　四、課程設(shè)置：

　　A．必修課：（共22學(xué)分）

　　（1）專(zhuān)業(yè)基礎(chǔ)課（7學(xué)分）

　　1．第一外語(yǔ)4學(xué)分

　　2．馬克思主義哲學(xué)（Marxist Philosophy）3學(xué)分

　�。�2）專(zhuān)業(yè)主干課（15學(xué)分）

　　1，一階邏輯First-order Logic 3學(xué)分

　　2，高級(jí)模態(tài)邏輯Advanced Modal Logic 3學(xué)分

　　3，公理集合論Axiomatic Set Theory 3學(xué)分

　　4，邏輯前沿問(wèn)題（上）Frontier Problems of Logic（I）2學(xué)分

　　5、邏輯前沿問(wèn)題（下）Frontier Problems of Logic（II）2學(xué)分

　　6，數(shù)學(xué)結(jié)構(gòu)Mathematical Structures 3學(xué)分

　　B．選修課（18學(xué)分）

　　（I）邏輯專(zhuān)業(yè)選修課

　　1，模型論Model Theory 3學(xué)分

　　2，遞歸論基礎(chǔ)Fundamentals of Recursion Theory 3學(xué)分

　　3，鄰域語(yǔ)義學(xué)Neighborhood Semantics 3學(xué)分

　　4，動(dòng)態(tài)邏輯Logical Dynamics 3學(xué)分

　　5，內(nèi)涵邏輯Intensional Logic 3學(xué)分

　　6，廣義模態(tài)邏輯Generalized Modal Logic 3學(xué)分

　　7，形式語(yǔ)義學(xué)Formal Semantics 3學(xué)分

　　8，數(shù)學(xué)哲學(xué)Philosophy of Mathematics 2學(xué)分

　　9，直覺(jué)主義邏輯Intuitionistic logic 2學(xué)

　　10，數(shù)理邏輯研究Studies in Mathematical Logic 2學(xué)分

　　11，邏輯史The History of Logic 3學(xué)分

　　12，邏輯哲學(xué)研究Study on philosophy of Logic 3學(xué)分

　　13，邏輯哲學(xué)原著選讀Selected Readings in Philosophy of Logic 3學(xué)分

　　14，心靈與認(rèn)知哲學(xué)專(zhuān)題Topics in Philosophy of Mind and Cognition 3學(xué)分

　�。↖I）哲學(xué)系其他專(zhuān)業(yè)必修課至少選修一門(mén)

　　（III）下列跨院系專(zhuān)業(yè)課可以選修一至三門(mén)

　　語(yǔ)言學(xué)（中文系，外語(yǔ)學(xué)院）

　　計(jì)算機(jī)科學(xué)（信息科學(xué)技術(shù)學(xué)院）

　　信息科學(xué)（數(shù)學(xué)學(xué)院信息科學(xué)系）

　　五、學(xué)位論文

　　第二學(xué)年末開(kāi)題，并提交開(kāi)題報(bào)告到教務(wù)辦公室。開(kāi)題后方可開(kāi)始撰寫(xiě)畢業(yè)論文，不計(jì)學(xué)分。