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

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

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

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

　　四、課程設(shè)置：

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

　�。�1）專業(yè)基礎(chǔ)課（7學(xué)分）

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

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

　　（2）專業(yè)主干課（15學(xué)分）

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

　　9，直覺主義邏輯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，心靈與認知哲學(xué)專題Topics in Philosophy of Mind and Cognition 3學(xué)分

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

　�。↖II）下列跨院系專業(yè)課可以選修一至三門

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

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

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

　　五、學(xué)位論文

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