萊布尼茨

提出設(shè)想 普遍的符號(hào)語(yǔ)言

布爾

實(shí)現(xiàn)命題演算

摩根

關(guān)系邏輯

弗雷德

謂詞演算

羅素 懷特海

完備的命題邏輯，謂詞邏輯

數(shù)理邏輯的發(fā)展

經(jīng)典邏輯與非經(jīng)典邏輯。

經(jīng)典邏輯是非經(jīng)典邏輯的子集。

經(jīng)典邏輯是以羅素和懷特海的數(shù)學(xué)原理為代表

非經(jīng)典邏輯

包括多值邏輯，模糊邏輯，模態(tài)邏輯，廣義模態(tài)邏輯。

多值邏輯：事物不只有好或者壞，這兩極狀態(tài)，還有介于兩者之間的

模態(tài)邏輯：有可能，必定。必定能推出有可能，有可能不能推出必定

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

兩個(gè)演算

邏輯演算，包括命題演算和謂詞演算。

四論

模型論

遞歸論

集合論

證明論：公理集合論，樸素集合論