專業概況

專業名稱：邏輯學 專業代碼：010102 專業層次：本科 修業年限：四年

邏輯學研習中西邏輯史、邏輯學、數理邏輯、思維科學等方面的基本理論和知識，以人類的思維形式及思維規律為研究對象，橫跨數學、物理、計算機等多個學科，進行既定命題發生過程的推理和推導等。常見的找規律就是數理邏輯的典型，而數理邏輯也是現代邏輯學的主流。

專業介紹

培養目標：本專業培養具備系統的邏輯學基礎知識、一定的數學素養以及計算機理論和操作能力，能在高等院校、科研單位、國家機關及企事業管理部門從事邏輯學的教學、科研和應用方面的工作，并能從事計算機科學和語言學的科研和應用方面相關工作的邏輯學的高級專門人才。

培養要求：本專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，接受公理化方法、形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。

畢業生應獲得以下幾方面的知識和能力：

1．掌握馬克思主義的基本原理和邏輯學的基本理論、基礎知識；

2．具有數學、計算機科學和哲學的基本素養；

3．掌握邏輯學研究的基本方法；

4．了解現代邏輯的前沿問題與發展動態；

5．掌握文獻檢索、資料查詢的基本方法和手段；

6．具有初步的教學、科研和實際工作能力。

主干學科：哲學、數學。

核心課程：數學分析、高等代數、抽象代數、概率統計、邏輯導論、數理邏輯、集合論、模態邏輯、歸納邏輯、四論導引（公理集合論、模型論、遞歸論、證明論）、應用邏輯、邏輯史、邏輯哲學、程序語言設計、操作系統等。

主要實踐性教學環節：教學實習、論文寫作等，一般安排6周左右。

修業年限：四年。

授予學位：哲學學士。

學習內容

數學分析、高等代數、抽象代數、概率統計、邏輯導論、數理邏輯、集合論、模態邏輯、歸納邏輯、應用邏輯、邏輯史、邏輯哲學、程序語言設計、操作系統等

主要科目

《中國邏輯史》、《西方邏輯史》、《數理邏輯》、《模態邏輯》、《非經典邏輯》、《邏輯哲學》、《歸納邏輯》、《法律邏輯》、《批判性思維》、《科學社會學》

就業前景

就業方向：畢業生可在高等院校、科研單位、國家機關及企事業管理部門從事邏輯學的教學、科研和應用方面的工作，也能從事計算機科學和語言學的科研和應用方面相關工作。

就業崗位

教育培訓機構：邏輯思維訓練；深造：考研或者保研，繼續邏輯學方面的學習深造，完成碩士、博士學業后，從事邏輯學的應用、科研、管理與教學等方面的工作；轉行：向公務員、編輯、教師、咨詢員等方向發展。