（一）中國(guó)古代邏輯

名實(shí)相付

同一律

荀子《正名》要論述的事實(shí)與問題要相符

白馬非馬

“是”并不的代表等于，比如我是大學(xué)生，但我并不等于大學(xué)生。

“是”可以是“等于”“包含于”“屬于”

“非”可以是“不等于”“不包含于”“不屬于”

數(shù)學(xué)邏輯是人工符號(hào)

子非魚焉知魚之樂也是經(jīng)典的邏輯辯論

墨家是較之于其他學(xué)家更注重邏輯推理的理論--《墨經(jīng)》

知識(shí)的來源：親知 聞知 說知

以名舉實(shí)：用不同的名對(duì)應(yīng)不同的實(shí)

先秦邏輯比較發(fā)達(dá)主要是百家爭(zhēng)鳴，而之后都是罷黜百家 獨(dú)尊儒術(shù)

（二）印度古代邏輯

佛教邏輯：因明

因明的三支論式：

宗：此山有火

因：因有煙故

喻：凡有煙均有火，如廚房  （同喻/證明）  凡無煙均無火，如湖（反喻/反證）

玄奘取經(jīng)翻譯《因明正理門論》

（三）古希臘和中世紀(jì)

蘇格拉底、柏拉圖、亞里士多德

古希臘邏輯集大成亞里士多德《工具論》

其中最有名的是三段論，常舉例 人固有一死  蘇格拉底是人，所以蘇格拉底固有一死

是不會(huì)錯(cuò)的，有效的推理形式，要保證前提是對(duì)的。

麥加拉-斯多啊學(xué)派：構(gòu)造命題邏輯 構(gòu)造公理系統(tǒng)

中世紀(jì)邏輯 ：建立經(jīng)院邏輯

（四）近代西方邏輯

歸納邏輯  培根《新工具》歸納 演繹 記憶 傳遞

對(duì)于三段論的前提是否能保證正確提出疑問

三段論是演繹推理，并不能給我們新的東西，因?yàn)樗慕Y(jié)論已經(jīng)在前提里面存在了。歸納推理可以給我們新東西

三表法：

密爾(穆勒)：求因果五法

辯證邏輯：康德《邏輯學(xué)》《哲學(xué)全書》/ 黑格爾

（五）數(shù)理邏輯也稱數(shù)學(xué)邏輯

數(shù)學(xué)方法研究邏輯

有共同的認(rèn)知基礎(chǔ)

創(chuàng)始人萊布尼茨建立了微積分《論組合術(shù)》提出關(guān)于數(shù)理邏輯的思想，設(shè)想建立“普遍的符號(hào)語言”：思想的字母  思維的演算

布爾創(chuàng)立的邏輯代數(shù)《邏輯的數(shù)學(xué)分析》

德 摩根 創(chuàng)建關(guān)系邏輯（比如新疆在北京的北邊，上海在北京的南邊，所以新疆在上海的北邊）《形式邏輯》

弗雷格  謂詞演算

羅素  建立完備的命題演算和謂詞演算，成為邏輯演算的經(jīng)典系統(tǒng)《數(shù)學(xué)原理》與懷特海共同完成

數(shù)理邏輯的內(nèi)容

邏輯演算（命題演算  謂詞演算）

證明論

集合論