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

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

　　二、學習年限：3年

　　三、應修學分：40分

　　四、課程設置：

　　A．必修課：（共22學分）

　　（1）專業(yè)基礎課（7學分）

　　1．第一外語4學分

　　2．馬克思主義哲學（Marxist Philosophy）3學分

　�。�2）專業(yè)主干課（15學分）

　　1，一階邏輯First-order Logic 3學分

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

　　3，公理集合論Axiomatic Set Theory 3學分

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

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

　　6，數(shù)學結構Mathematical Structures 3學分

　　B．選修課（18學分）

　�。↖）邏輯專業(yè)選修課

　　1，模型論Model Theory 3學分

　　2，遞歸論基礎Fundamentals of Recursion Theory 3學分

　　3，鄰域語義學Neighborhood Semantics 3學分

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

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

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

　　7，形式語義學Formal Semantics 3學分

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

　　9，直覺主義邏輯Intuitionistic logic 2學

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

　　11，邏輯史The History of Logic 3學分

　　12，邏輯哲學研究Study on philosophy of Logic 3學分

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

　　14，心靈與認知哲學專題Topics in Philosophy of Mind and Cognition 3學分

　　（II）哲學系其他專業(yè)必修課至少選修一門

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

　　語言學（中文系，外語學院）

　　計算機科學（信息科學技術學院）

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

　　五、學位論文

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