l?邏輯學(xué)是研究論證的分析和評價的科學(xué)。

l?起源：亞里士多德《工具論》?波斯的阿維森那邏輯??中國墨翟及其弟子所寫的《墨經(jīng)》

l?邏輯形式是邏輯學(xué)的核心概念。

l?演繹推理與歸納推理是邏輯學(xué)研究的兩種最常見的推理類型。

l?邏輯系統(tǒng)四大定理：一致性定理、有效性定理、可靠性定理、完全性定理

l?邏輯學(xué)類型的常見區(qū)分：演繹邏輯和歸納邏輯、形式邏輯和非形式邏輯

l?邏輯學(xué)經(jīng)典范例：亞里士多德邏輯、符號邏輯、命題邏輯、謂詞邏輯、模態(tài)邏輯、哲學(xué)邏輯、論辯邏輯

l?邏輯學(xué)仍處于爭論的問題：“二值原則和排中律問題”、“嚴(yán)格蘊涵、實質(zhì)蘊涵和邏輯蘊涵”、“邏輯是經(jīng)驗的嗎”、“不一致性可以容忍嗎”、“邏輯真理可以拒斥嗎”

l?《A?system of Logic》—作者?John Stuart Mill,翻譯者?嚴(yán)復(fù)，書籍譯名《穆勒名學(xué)》，翻譯時間1905年

l?William Stanley Jevons,著作由嚴(yán)復(fù)翻譯，書籍譯名《名學(xué)淺說》，對應(yīng)原書籍不知。

l?Jevons發(fā)明Logic piano.

l?亞里士多德確認(rèn)了邏輯學(xué)在哲學(xué)中的地位。

四大數(shù)學(xué)流派是圍繞數(shù)學(xué)的哲學(xué)基礎(chǔ)問題進行的不同探討而形成的四大學(xué)派，主要指：柏拉圖主義（代表人物哥德爾，實際是理想主義）、邏輯主義（代表人物羅素、懷海特，主張數(shù)學(xué)是邏輯的擴充，所有數(shù)學(xué)都可以被還原成邏輯）、形式主義（代表人物希爾伯特，主張是博弈和游戲）、直覺主義（代表人物布勞威爾，主張數(shù)學(xué)是對人的心靈的一種構(gòu)造）