一、專業解析
邏輯學是一門研究思維形式及思維規律的專業。邏輯最初的含義即規律,現在更多是指思維中的規律。這種規律主要是命題(或判斷)之間的推理及推導過程中的必然性,也稱為思維的邏輯規律。邏輯學以推理為研究中心,已形成為一個多層次、多分支的龐大體系。數理邏輯是現代邏輯學的主流,主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識。
邏輯學最好有一定的數學基礎并對計算機感興趣。首先,這是邏輯學專業的能力要求,這些能力對于學好邏輯學有很大的幫助,一般不具備這些能力的學生也很難喜歡上邏輯學。其次,數學基礎和計算機能力對于就業也具有重要意義。因為無論是邏輯理論方面的科研還是将來從事計算機科學和語言設計開發,都是重要的基礎。
二、主要課程
“數學分析”分析學中最古老、最基本的分支,以微積分和無窮級數一般理論為主要内容,并包括它們的理論基礎(實數、函數和極限的基本理論)的一個數學學科。“邏輯學”是以概念、命題、推理、證明等為研究對象的科學。“數理邏輯”的名稱由皮亞諾首先給出,又稱為符号邏輯。在本質上依然是邏輯學,但從記号學的觀點來講,它是用抽象代數來記述的。研究範圍是邏輯中可被數學模式化的部分,其研究對象是對證明和計算這兩個概念進行符号化以後的形式系統。“中國邏輯史”主要研究邏輯理論和思想的産生和發展,總結、分析各家在邏輯理論方面的成就和貢獻。内容包括演繹邏輯和歸納邏輯思想在中國的産生和發展的曆史,中國古代以正名和論辯術為主要對象的名辯之學或名辯邏輯形成和發展的曆史,也包括印度因明和西方邏輯在中國傳播和發展的曆史。“西方邏輯史”主要指形式邏輯和歸納邏輯在西方孕育、産生和發展的曆史。它大緻分為 4個時期:古希臘羅馬時期的邏輯,歐洲中世紀時期的邏輯,自文藝複興開始的近代時期的邏輯和現代時期的邏輯。“馬克思主義哲學原理”有兩大組成部分:辯證唯物主義和曆史唯物主義,學習馬克思主義哲學的一系列基本概念和基本原理,從哲學角度闡述一系列的問題,特别是應用馬克思主義哲學理論分析和解決改革開放與社會主義現代化建設中的各種問題。“應用邏輯”主要内容有:概念辨析、命題理解、演繹推理、類比推理、數字推理和邏輯論證。“程序語言設計”程序語言和設計,通常程序語言是指書寫計算機程序的語言,包括一組記号和一組規則,而根據規則由記号構成的記号串的總體就是語言。因此,程序語言的設計就是構建記号和規則。
三、代表院校
重點院校:北京大學、中山大學、南開大學
四、考研導讀
按照教育部對學科門類的劃分,一級學科哲學下有馬克思主義哲學、中國哲學、外國哲學、邏輯學、倫理學、美學、宗教學、科學技術哲學8個二級學科。每個二級學科下面,又分若幹個研究方向。而邏輯學除了這8個二級學科外,還可以有概率論與數理統計、應用數學、運籌學與控制論這幾個考研方向。
1.概率論與數理統計根據大量同類随機現象的統計規律,研究它們之間的聯系,從而形成一整套數學理論和方法。同時應用這些數學理論和方法,反過來研究大量随機現象的規律,通過科學安排一定數量的實驗得到的統計方法給出嚴格的理論證明,并判定應用的條件以及方法、公式、結論的可靠程度和局限性。
2.應用數學 主要分為兩個大方向:計算機圖形圖像(CAGD)和小波分析。
3.運籌學與控制論 運籌與控制是相關的兩個方面,都是以系統優化為核心。運籌學的研究方向主要有數學金融學、金融風險管理、控制理論、算法設計與分析、數學規劃等。控制論是研究各類系統的調節和控制規律的學科,它是自動控制、通訊技術、計算機科學、數理邏輯、神經生理學、統計力學、行為科學等多種科學技術相互滲透而形成的一門交叉性學科。
五、就業分析
作為研究思維規律的基礎學科,邏輯學正加強同各個學科的聯系,尋求自身發展的道路。邏輯學漸漸滲透到哲學、語言學、認知科學、計算機科學、人工智能,以及法學、倫理學、經濟學及管理科學等領域。另外應用邏輯理論與邏輯應用的技術方法的研究成為邏輯學發展的新的動力。
因此,雖然邏輯學沒有直接對口的專業,但就業卻有多個方向,是寬口徑就業的專業。首先,學術方面“認知邏輯”已成為國際邏輯界研究的一個熱點。其次,邏輯理論在計算機科學和語言設計開發方面的應用為邏輯學就業打開了新的門徑。最後,通用型行業如國家機關、新聞出版、科研單位、企事業管理部門也是不錯的選擇。綜上,邏輯學就業的選擇十分豐富,但前提是具備相應的素質能力。
,更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!