邏輯學(xué)專業(yè)學(xué)生主要學(xué)習(xí)邏輯學(xué)、數(shù)學(xué)、計算機科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識，受到公理化方法、形式化方法和語義分析方面的基本訓(xùn)練，具有專業(yè)研究的基本能力。

邏輯學(xué)專業(yè)培養(yǎng)具備系統(tǒng)的邏輯學(xué)基礎(chǔ)知識，一定的數(shù)學(xué)素養(yǎng)以及計算機理論和操作能力，能在高等院校、科研單位、國家機關(guān)及企事業(yè)管理部門從事邏輯學(xué)的教學(xué)、科研和應(yīng)用方面的工作，并能從事計算機科學(xué)和語言學(xué)的科研和應(yīng)用方面相關(guān)工作的邏輯學(xué)高級專門人才。

邏輯學(xué)專業(yè)學(xué)生主要學(xué)習(xí)邏輯學(xué)、數(shù)學(xué)、計算機科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識，受到公理化方法、形式。

化方法和語義分析方面的基本訓(xùn)練，比較系統(tǒng)地掌握邏輯學(xué)專業(yè)的基礎(chǔ)知識、專業(yè)知識以及馬克思主義哲學(xué)的基本理論和方法，了解當代世界主要邏輯和哲學(xué)思潮，具有一定的社會科學(xué)、自然科學(xué)和思維科學(xué)的基礎(chǔ)知識，有較強的理論思維能力、社會活動能力、表達能力和專業(yè)研究的基本能力。

數(shù)學(xué)分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導(dǎo)論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、應(yīng)用邏輯、邏輯史、邏輯哲學(xué)、中國邏輯史、西方邏輯史、現(xiàn)代邏輯思想史、程序語言設(shè)計、操作系統(tǒng)等。