邏輯學專業(yè)課程

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

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

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

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