邏輯學(xué)簡(jiǎn)史

一、邏輯學(xué)的萌芽

邏輯思想的發(fā)源地主要有三個(gè)，既古代中國、古印度和古希臘。

1、古代中國 中國早在春秋戰(zhàn)國時(shí)期，就產(chǎn)生了邏輯思想的萌芽。當(dāng)時(shí)各諸侯國之間征戰(zhàn)不斷，不同地域、不同階層、不同利益集團(tuán)的人們紛紛提出自己解決社會(huì)動(dòng)亂的主張，出現(xiàn)了“百家爭(zhēng)鳴”局面。各家各派為了宣傳自己的主張、駁斥別派的觀點(diǎn)，必然要對(duì)論辯的原則‘方法等進(jìn)行探討、總結(jié)。當(dāng)時(shí)將討論名實(shí)關(guān)系、論辯析理的學(xué)問稱之為名辯止血。這個(gè)時(shí)期甚至出現(xiàn)了一個(gè)專門從事名辯學(xué)研究的學(xué)派——名家。中國古代的名辯之學(xué)包含非常豐富的邏輯思想，先秦名辯之學(xué)是中國邏輯思想的萌芽。秦漢之后，中國名辯止血走向沉寂，歷經(jīng)兩千年，沒有大的創(chuàng)造性發(fā)展。

2、古印度 古代印度教派林立，辯論之分盛行，產(chǎn)生了以辯論為主題的研究學(xué)。經(jīng)過蘇拉巴等人的努力，樹立了公允、合理的辯論精神。約公元前550年前后，美達(dá)締西·喬達(dá)摩拓展了論究學(xué)中的邏輯方面，使其成為了一門論辯藝術(shù)。因明是古代印度邏輯的一個(gè)主要流派。因指原因或理由，明指學(xué)問或?qū)W說，因明即時(shí)關(guān)于原因或理由的學(xué)問。公元10世紀(jì)之后，隨著佛教在印度的衰落，因明研究也走向沉寂，沒有大的發(fā)展。

3、古希臘 公元前7世紀(jì)至公元前6世紀(jì)，希臘建立了眾多奴隸制城邦，處于“百家爭(zhēng)鳴”的使其當(dāng)時(shí)辯論之風(fēng)盛行，產(chǎn)生了辯論術(shù)。到公元前3世紀(jì)，古希臘哲學(xué)家亞里士多德集前人研究之大成，創(chuàng)立邏輯學(xué)。他最主要的邏輯著作是《工具論》亞里士多德建立了系統(tǒng)的形式邏輯體系。其主要內(nèi)容包括（1）概念、范疇、定義理論，（2）判斷及其種類，判斷之間的對(duì)當(dāng)關(guān)系理論，（3）判斷的換位理論，（4）三段論系統(tǒng)，（5）模態(tài)邏輯，主要是模態(tài)三段論理論，（6）辯論的方法及駁斥詭辯的方法。

二、中期 ：邏輯學(xué)的發(fā)展 邏輯學(xué)的發(fā)展主要在歐洲中世紀(jì)，其同語法、修辭、數(shù)學(xué)等學(xué)科一起，被列為學(xué)校教育的必修課程。中世紀(jì)的經(jīng)院哲學(xué)家們進(jìn)一步發(fā)展了邏輯學(xué)。他們的工作主要包括（1）完善了三段論的四個(gè)格（2）對(duì)復(fù)合命題進(jìn)行真值函項(xiàng)解釋，發(fā)展了推論學(xué)說（3）進(jìn)一步發(fā)展了模態(tài)邏輯（4）比較細(xì)致地討論了各種悖論問題。文藝復(fù)興之后，歸納邏輯的到了很大發(fā)展。英國哲學(xué)家弗朗西斯·培根提出了“三表法”和“排除法”的歸納方法。穆勒進(jìn)一步發(fā)展了培根的歸納思想，提出了著名的“穆勒五法”，即求同法、求異法、求同求異并用法、共變法和差異法。

三、現(xiàn)代現(xiàn)代邏輯的誕生和發(fā)展 十七世紀(jì)末，德國哲學(xué)家萊布尼茲提出建立“普通語言”和“思維演算”的思想。英國邏輯學(xué)家布爾建立了布爾代數(shù)。實(shí)現(xiàn)了萊布尼茲的“思維演算”的思想。德摩根創(chuàng)立了關(guān)系邏輯理論。這些都為邏輯學(xué)的發(fā)展奠定了基礎(chǔ)。1879年，德國邏輯學(xué)家弗雷格發(fā)表了《概念文學(xué)——一種按算術(shù)公式構(gòu)成的純思維的符號(hào)語言》，建立了第一個(gè)現(xiàn)代邏輯演算系統(tǒng)，這標(biāo)志著現(xiàn)代邏輯的誕生。（1）20世紀(jì)以后現(xiàn)代邏輯獲得了極大地發(fā)展。英國邏輯學(xué)家羅素、懷特海等人建立了命題演算和謂詞演算系統(tǒng)。各種不同的現(xiàn)代邏輯公理系統(tǒng)也不斷出現(xiàn)。（2）邏輯元理論研究不斷深入，特別是哥德爾在1930年的博士論文中證明了一階謂詞邏輯的完全性，標(biāo)志著現(xiàn)代邏輯基礎(chǔ)理論的成熟。（3）建立了各種各樣的非經(jīng)典邏輯系統(tǒng)。(4)現(xiàn)代邏輯與計(jì)算機(jī)科學(xué)、人工智能、語言學(xué)等學(xué)科的交叉研究不斷深入，邏輯應(yīng)用研究也是得到了廣泛展開。

今天，現(xiàn)代邏輯已經(jīng)發(fā)展成了一個(gè)非常龐大的學(xué)科門類。它主要包括如下的學(xué)科分支：1、純邏輯（1）基礎(chǔ)理論：主要包括命題演算、謂語演算、集合論、遞歸論、模型輪、證明論等。（2）拓展研究主要包括各種各樣的變異邏輯系統(tǒng)，即直覺主義邏輯、弗協(xié)調(diào)邏輯、多值邏輯、模糊邏輯、相干邏輯、自由邏輯等。

2、應(yīng)用邏輯；主要研究某一學(xué)科領(lǐng)域的推理理論，主要有模態(tài)邏輯、時(shí)態(tài)邏輯、量子邏輯、道義邏輯、認(rèn)知邏輯等。

3、邏輯應(yīng)用及其與其它學(xué)科的交叉等·；主要包括邏輯與智能、邏輯與語言、邏輯與社會(huì)、邏輯哲學(xué)、邏輯思想史等。