普通邏輯學
培養目標:本專業培養具備系統的邏輯學基礎知識、一定的數學素養以及計算機理論和操作 能力,能在高等院校、科研單位、國家機關及企事業管理部門從事邏輯學的教學、科研和應用方面 的工作,并能從事計算機科學和語言學的科研和應用方面相關工作的邏輯學的高級專門人才。
邏輯學、中國哲學、外國哲學、法律(非法學)
韓非、沈有鼎、亞里士多德、希爾伯特等。