010102 邏輯學

邏輯學是一個哲學分支學科。其是對思維規(guī)律的研究。邏輯和邏輯學的發(fā)展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統(tǒng)一的對稱邏輯三大階段。

邏輯學是研究思維的學科。所有思維都有內容和形式兩個方面。思維內容是指思維所反映的對象及其屬性；思維形式是指用以反映對象及其屬性的不同方式，即表達思維內容的不同方式。從邏輯學角度看，抽象思維的三種基本形式是概念，命題和推理。

專業(yè)概述

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

培養(yǎng)目標

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

必修課程

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