邏輯學(xué)專業(yè)課程

邏輯學(xué)專業(yè)課程設(shè)置：數(shù)學(xué)分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導(dǎo)論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、四論導(dǎo)引（公理集合論、模型論、遞歸論、證明論）、應(yīng)用邏輯、邏輯史、邏輯哲學(xué)、程序語言設(shè)計、操作系統(tǒng)等。

邏輯學(xué)專業(yè)課程建設(shè)的總體思路

邏輯學(xué)是思政專業(yè)、法學(xué)專業(yè)、社會工作專業(yè)和管理學(xué)專業(yè)的重要基礎(chǔ)課程。它是一門工具性質(zhì)、基礎(chǔ)性質(zhì)的科學(xué)，是聯(lián)合國教科文組織確定的七門基礎(chǔ)學(xué)科之一。它雖不能給人們直接提供具體的科學(xué)知識，但是它能夠為人們獲取知識，表述、論證思想提供必要的邏輯工具。

邏輯學(xué)專業(yè)是一門研究思維形式及思維規(guī)律的專業(yè)。邏輯(logic)，最初的涵義即規(guī)律，現(xiàn)在更多是指思維中的規(guī)律。這種規(guī)律主要是命題（或判斷）之間的推理及推導(dǎo)過程中的必然性，也稱為思維的邏輯規(guī)律。由于推理的重要性，邏輯學(xué)便以推理為研究中心，其主要目的就是找出推理規(guī)律。目前，邏輯學(xué)已形成為一個多層次多分支的龐大體系?，F(xiàn)代的邏輯學(xué)與數(shù)學(xué)有非常密切的關(guān)系，數(shù)理邏輯就是現(xiàn)代邏輯學(xué)的主流。