邏輯學簡史
一、邏輯學的萌芽
邏輯思想的發(fā)源地主要有三個，既古代中國、古印度和古希臘。
1、古代中國 中國早在春秋戰(zhàn)國時期，就產(chǎn)生了邏輯思想的萌芽。當時各諸侯國之間征戰(zhàn)不斷，不同地域、不同階層、不同利益集團的人們紛紛提出自己解決社會動亂的主張，出現(xiàn)了“百家爭鳴”局面。各家各派為了宣傳自己的主張、駁斥別派的觀點，必然要對論辯的原則‘方法等進行探討、總結。當時將討論名實關系、論辯析理的學問稱之為名辯止血。這個時期甚至出現(xiàn)了一個專門從事名辯學研究的學派——名家。中國古代的名辯之學包含非常豐富的邏輯思想，先秦名辯之學是中國邏輯思想的萌芽。秦漢之后，中國名辯止血走向沉寂，歷經(jīng)兩千年，沒有大的創(chuàng)造性發(fā)展。
2、古印度 古代印度教派林立，辯論之分盛行，產(chǎn)生了以辯論為主題的研究學。經(jīng)過蘇拉巴等人的努力，樹立了公允、合理的辯論精神。約公元前550年前后，美達締西·喬達摩拓展了論究學中的邏輯方面，使其成為了一門論辯藝術。因明是古代印度邏輯的一個主要流派。因指原因或理由，明指學問或學說，因明即時關于原因或理由的學問。公元10世紀之后，隨著佛教在印度的衰落，因明研究也走向沉寂，沒有大的發(fā)展。
3、古希臘 公元前7世紀至公元前6世紀，希臘建立了眾多奴隸制城邦，處于“百家爭鳴”的使其當時辯論之風盛行，產(chǎn)生了辯論術。到公元前3世紀，古希臘哲學家亞里士多德集前人研究之大成，創(chuàng)立邏輯學。他最主要的邏輯著作是《工具論》亞里士多德建立了系統(tǒng)的形式邏輯體系。其主要內容包括（1）概念、范疇、定義理論，（2）判斷及其種類，判斷之間的對當關系理論，（3）判斷的換位理論，（4）三段論系統(tǒng)，（5）模態(tài)邏輯，主要是模態(tài)三段論理論，（6）辯論的方法及駁斥詭辯的方法。
二、中期 ：邏輯學的發(fā)展 邏輯學的發(fā)展主要在歐洲中世紀，其同語法、修辭、數(shù)學等學科一起，被列為學校教育的必修課程。中世紀的經(jīng)院哲學家們進一步發(fā)展了邏輯學。他們的工作主要包括（1）完善了三段論的四個格（2）對復合命題進行真值函項解釋，發(fā)展了推論學說（3）進一步發(fā)展了模態(tài)邏輯（4）比較細致地討論了各種悖論問題。文藝復興之后，歸納邏輯的到了很大發(fā)展。英國哲學家弗朗西斯·培根提出了“三表法”和“排除法”的歸納方法。穆勒進一步發(fā)展了培根的歸納思想，提出了著名的“穆勒五法”，即求同法、求異法、求同求異并用法、共變法和差異法。
三、現(xiàn)代現(xiàn)代邏輯的誕生和發(fā)展 十七世紀末，德國哲學家萊布尼茲提出建立“普通語言”和“思維演算”的思想。英國邏輯學家布爾建立了布爾代數(shù)。實現(xiàn)了萊布尼茲的“思維演算”的思想。德摩根創(chuàng)立了關系邏輯理論。這些都為邏輯學的發(fā)展奠定了基礎。1879年，德國邏輯學家弗雷格發(fā)表了《概念文學——一種按算術公式構成的純思維的符號語言》，建立了第一個現(xiàn)代邏輯演算系統(tǒng)，這標志著現(xiàn)代邏輯的誕生。（1）20世紀以后現(xiàn)代邏輯獲得了極大地發(fā)展。英國邏輯學家羅素、懷特海等人建立了命題演算和謂詞演算系統(tǒng)。各種不同的現(xiàn)代邏輯公理系統(tǒng)也不斷出現(xiàn)。（2）邏輯元理論研究不斷深入，特別是哥德爾在1930年的博士論文中證明了一階謂詞邏輯的完全性，標志著現(xiàn)代邏輯基礎理論的成熟。（3）建立了各種各樣的非經(jīng)典邏輯系統(tǒng)。(4)現(xiàn)代邏輯與計算機科學、人工智能、語言學等學科的交叉研究不斷深入，邏輯應用研究也是得到了廣泛展開。
今天，現(xiàn)代邏輯已經(jīng)發(fā)展成了一個非常龐大的學科門類。它主要包括如下的學科分支：1、純邏輯（1）基礎理論：主要包括命題演算、謂語演算、集合論、遞歸論、模型輪、證明論等。（2）拓展研究主要包括各種各樣的變異邏輯系統(tǒng)，即直覺主義邏輯、弗協(xié)調邏輯、多值邏輯、模糊邏輯、相干邏輯、自由邏輯等。
2、應用邏輯；主要研究某一學科領域的推理理論，主要有模態(tài)邏輯、時態(tài)邏輯、量子邏輯、道義邏輯、認知邏輯等。
3、邏輯應用及其與其它學科的交叉等·；主要包括邏輯與智能、邏輯與語言、邏輯與社會、邏輯哲學、邏輯思想史等。
聯(lián)系客服
