萊布尼茨
提出設(shè)想 普遍的符號(hào)語言
布爾
實(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è)演算
邏輯演算，包括命題演算和謂詞演算茉帅。
四論
模型論
遞歸論
集合論
證明論：公理集合論叨叙，樸素集合論
