第一章導(dǎo)論
第一節(jié)塑輯的涵義
一、邏輯之詞源
“邏輯”一詞，在我們的日常工作和生活中經(jīng)常出現(xiàn)，它也是個多義詞，其意義各種各樣。比如：
1、大學生都應(yīng)該掌握基本的邏輯知識。
2、他是北京大學哲學系邏輯專業(yè)的碩士研究生。
3、張三的說法矛盾百出，不合邏輯。
4、任何事物都有自己產(chǎn)生與發(fā)展的邏輯，自然界有自然界的邏輯，人類社會有人類社會的邏擇。
5、把侵略說成是“友誼”，這是地地道道的強盜邏輯。
在上面這五個語句中，語句1和2中所講的“邏輯”指的是作為一門科學的邏輯學，語句3中的“邏輯”指的是思維的規(guī)律或規(guī)則，語句4中“邏輯”指的是事物發(fā)展的內(nèi)在規(guī)律，語句5中的“邏輯”則是指某種觀點或理論。毫無疑問，在本書中我們所講的“邏輯”是語句1與2中的涵義，即指作為一門科學或?qū)W問的邏輯學。
“邏輯”一詞的英文為Logic，其源出于希臘文的“邏各斯”（logos，復(fù)數(shù)形式是1ogoi）。古希臘哲學家赫拉克利特據(jù)說有專論邏各斯的著作《邏各斯》。
邏各斯的基本詞義包括言辭、理性、規(guī)律、思想、推理、論證等等。
我們一般都認為古希臘的亞里士多德是邏輯學的創(chuàng)始人，但是，盡管亞里士多德寫作有最早的邏輯學著作《工具論》，他并沒有使用過“邏輯”一詞。據(jù)邏輯史記載，亞里士多德之后的斯多亞學派使用過“邏輯”這個語詞，認為它包括論辯術(shù)和修辭學兩部分，逍遙學派和古羅馬的西塞羅則比較正式地使用了“邏輯”
一詞。只有到了近代，西方學者才在較為一致的意義上使用“邏輯”一詞。作為一門學科或科學，西方的Logic從明代開始就傳入中國。早先，中國的學者并沒有將其譯為“邏輯”或“邏輯學”，而是譯為“名學”、“辯學”、“名辯學”、“論理學”等等。著名思想家嚴復(fù)是將西方的Logic譯為漢語“邏輯”的第一人，嚴復(fù)之后，“邏輯”一詞在漢語中慢慢流行開來。二、邏輯之涵義
那么，到底什么是邏輯？
從邏輯學發(fā)展的歷史和現(xiàn)狀來看，“邏輯學”是一個范圍十分寬廣、涵義并非完全確定的概念。根據(jù)我們的理解，我們認為，可以把邏輯學定義為關(guān)于推理和論證的科學。
何謂推理？推理就是以已有的知識為基礎(chǔ)，得出新的知識的思維過程，由于知識在邏輯上一般表現(xiàn)為命題，因此，推理也就是從已有的命題得出新的命題的過程或方法。在形式上，推理表現(xiàn)為一個命題序列，作為推理的基礎(chǔ)的已有命題我們稱作前提，得出的新的命題我們謂之結(jié)論。下面兩個都是推理：
1、如果它是一部獲獎作品，那么，它就一定是一部優(yōu)秀作品，《莫蓉鎮(zhèn)》
是一部獲獎作品，可見，它是一部優(yōu)秀作品。
2、甲隊只有體力強、技術(shù)高、配合好，才能戰(zhàn)勝乙隊、甲隊或者體力不強，或者技術(shù)不高，或者配合不好，所以，甲隊不能戰(zhàn)勝乙隊。
何謂論證？論證是用某些理由去支持或反駁某個觀點的思維過程。一個完整的論證通常由論題、論據(jù)和論證方式三個部分組成，其中論題是論證者所主張并且要在論證中加以證明的觀點，論據(jù)是用來證明論題的理由或觀點，論證方式則是把論題與論據(jù)聯(lián)系起來的形式或方法。下面兩個例子都是論證：
1、小張手中的物體肯定不是金屬，因為，任何金屬都是導(dǎo)電的，經(jīng)檢驗，該物體并不導(dǎo)電.
2、落后就會挨打，中國不想挨打，所以，中國不想落后。
任何一個論證其實質(zhì)也就是一個推理：論據(jù)相當于推理的前提，論題相當于推理的結(jié)論，論證方式相當于從前提到結(jié)論的推理形式。當然，論證與推理也有不同的地方，其主要不同在于，作為推理，我們只關(guān)注從前提到結(jié)論的過程，至于前提本身的真我們并不太關(guān)心，但作為論證，我們不但關(guān)注論證方式，更關(guān)心論據(jù)的真從而確保論題一定為真。
邏輯研究推理，它并不研究推理中關(guān)于前提與結(jié)論所涉的具體知識，那是各門具體科學的事情。邏輯學研究推理只是從思維方法、形式結(jié)構(gòu)的層面研究我們進行推理時應(yīng)該使用的方法、技巧、標準和原則。運用這些方法、技巧、標準和原則，我們就可以區(qū)分出什么是有效的推理，什么是無效的推理。對于我們通過推理所獲得的結(jié)論，有了邏輯這門學科，我們就能夠依據(jù)一定的標準和原則來支持這些結(jié)論、修改這些結(jié)論或者駁斥這些結(jié)論。
推理滲透在我們?nèi)祟惿鐣囊磺谢顒又校瑹o論我們講什么語言，我們有什么膚色，只要我們在行動，我們總是在進行了某種形式的推理之后，再來實施這些行動的。人類的實踐過程，也是一個不斷進行推理的過程。推理是人類實踐活動的本質(zhì)特性，邏輯則是對這種實踐特性的理論概括，人類社會生活對推理理論的需要使得邏輯學的出現(xiàn)成為可能，并進而成為一門不斷成長發(fā)展的學科。邏輯學家對于幾乎所有的有關(guān)推理的事情都感興趣，但邏輯學家關(guān)注的有關(guān)推理的中心問題總是其前提和結(jié)論之間的邏輯關(guān)系。邏輯學家并不能夠考察有關(guān)推理的全部問題，因為推理作為一個思維過程，還包含著邏輯要求之外的東西，例如推理的心理因素、推理的倫理因素、推理的人種因素、文化因素等等。邏輯學家對推理的考察是不管那些非邏輯的因素，把推理放在理性的層面上來考察。
這個理性的層面表現(xiàn)為對論證這一推理的產(chǎn)出品的考察和評估。
第二節(jié)邏輯學的歷史與現(xiàn)狀
一、傳統(tǒng)邏輯的產(chǎn)生
邏輯學是一門歷史悠久的古老的科學，從其產(chǎn)生至今，已經(jīng)有兩千多年的歷史。從歷史源頭來說，邏輯學有三大發(fā)源地：希臘、中國與印度。
古希臘是西方邏輯的主要發(fā)源地。著名的古希臘學者亞里士多德被公認為是邏輯學的創(chuàng)始人，他著有《范疇篇》、《解釋篇》、《前分析篇》、《后分析篇》、《論
辯篇》、《辨謬篇》等，后人把這六篇收集整理并取名為《工具論》出版。在《工具論》這部著作中，亞里士多德較為系統(tǒng)地研究了范疇（詞項）、命題、三段論、論證、謬誤等問題。亞里士多德還著有《形而上學》一書，在其中，他明確提出了作為邏輯規(guī)律的矛盾律和排中律，同時也涉及到了同一律的內(nèi)容。亞里士多德所創(chuàng)立的邏輯，邏輯史上稱之為傳統(tǒng)形式邏輯，它是建立在對范疇（詞項）的研究基礎(chǔ)之上的，因此，后人也將亞里士多德邏輯稱之為詞項邏輯。
亞里士多德以后，麥加拉一—斯多葛學派對亞里士多德邏輯進行了發(fā)展，研究了有關(guān)假言命題、選言命題、聯(lián)言命題等命題理論，從而極大地豐富了傳統(tǒng)形式邏輯的內(nèi)容。
中國也是邏輯學的發(fā)源地之一。雖然中國古代沒有出現(xiàn)過“邏輯學”的概念，也沒有出現(xiàn)以今天的眼光來看的專業(yè)邏輯學家，但是，在中國古代思想家的政治、法律、倫理、哲學思想中，包含有十分豐富的邏輯思想。比如，我國先秦時期的“名辯學”，就包含豐富的邏輯學說，其主要內(nèi)容表現(xiàn)在惠施、公孫龍、后期墨家、荀況、韓非等人的著作之中，其中后期墨家的《墨經(jīng)》一書在邏輯學上的成就最高。
《墨經(jīng)》包括《經(jīng)上》、《經(jīng)下》、《經(jīng)說上》、《經(jīng)說下》、《大取》、《小取》等六篇，較為系統(tǒng)地討論了“名”、“辭”、“說”等理論。《墨經(jīng)》中的“名”，相當于今天邏輯學所講的概念或詞項，“辭”相當于命題，“說”相當于推理或論證。此外，《墨經(jīng)》還對矛盾律等今天所謂的邏輯規(guī)律的內(nèi)容也多有論述，因此，可以說，《墨經(jīng)》是我們學習中國古代邏輯思想的最好教材。
古代印度的邏輯思想主要是因明，“因”是指推理的依據(jù)，“明”指知識、學說，因此，因明就是古代印度關(guān)于推理的學說，是佛家邏輯的專稱。因明的主要代表著作有陳那的《因明正理明論》、商羯羅主的《因明入正理論》等等。在這些著作中，作者研究了推理與論證的方法，形成了古代印度特有的邏輯思想。
二、邏輯學在近代的發(fā)展
自中世紀結(jié)束到現(xiàn)代邏輯產(chǎn)生之前的這一時期，是邏輯學發(fā)展的近代時期，正如同自然科學在這個時候開始了其劃時代的發(fā)展一樣，這個時期的邏輯學也開始有了歷史性轉(zhuǎn)折的跡象。這個歷史性轉(zhuǎn)折跡象表現(xiàn)在兩方面，一是邏輯從對演繹的注重轉(zhuǎn)向?qū)w納及思維方法的注重；二是在傳統(tǒng)形式邏輯的基礎(chǔ)上，出現(xiàn)了現(xiàn)代邏輯的萌芽和構(gòu)想。
從古希臘所產(chǎn)生的邏輯科學，經(jīng)過歐洲學者，特別是近代英國、法國和德國學者的思考開始了其理論創(chuàng)新的發(fā)展階段。表現(xiàn)這一轉(zhuǎn)折跡象的主要學者是英國的哲學家培根和穆勒、法國的哲學家笛卡爾以及德國的哲學家萊布尼茲等。培根是近代英國經(jīng)驗論哲學的創(chuàng)始人之一，同時也是古典歸納邏輯的創(chuàng)立者。培根在激烈批評中世紀經(jīng)院哲學和經(jīng)院邏輯的同時，對亞里士多德的傳統(tǒng)演繹邏輯也進行了批判，認為它不能提供新知識，因此，需要有一種新工具、新方法為我們發(fā)現(xiàn)真理提供幫助，這個新工具和新方法就是培根所講的歸納法。為了與亞里士多德的邏輯理論相對應(yīng)，培根寫作了古典歸納邏輯名著《新工具論》。
培根之后，歸納邏輯的研究進一步推進，到19世紀中葉，由另一位英國邏輯學家穆勒集前幾代學者的歸納思想之大成，構(gòu)建出了一個比較完整的古典歸納邏輯體系。
近代邏輯史中最重要的人物當屬萊布尼茲。萊布尼茲不僅是德國著名的哲學家、科學家、數(shù)學家，而且是現(xiàn)代邏輯的奠基者，現(xiàn)代邏輯許多領(lǐng)域的發(fā)展都和萊布尼茲的天才構(gòu)想有關(guān)。萊布尼茲對現(xiàn)代邏輯的主要貢獻，就是提出了建立“普遍語言”的思想。萊布尼認為，我們可以建立一種普遍的、沒有歧義的語言，有了這種語言，我們就可以把推理轉(zhuǎn)變?yōu)檠菟悖斘覀儼l(fā)生爭論時，我們不需要爭吵，只需要坐下來，拿出筆和紙算一下就知道誰對誰錯。萊布尼茲實際上在這里提出了現(xiàn)代邏輯的兩個基本思想：建立形式語言和建立演算。當然，盡管萊布尼茲做了很多努力，但他并沒有實現(xiàn)建立“普遍語言”的理想。
三、現(xiàn)代邏輯的產(chǎn)生與發(fā)展
萊布尼茲雖然提出了建立現(xiàn)代邏輯即數(shù)理邏輯的構(gòu)想，但他自己并沒有實現(xiàn)這一理想。萊氏之后，經(jīng)過英國數(shù)學家、哲學家、邏輯學家哈米爾頓、德摩根的研究，1847年，英國數(shù)學家布爾建立了邏輯代數(shù)，這是第一個成功的數(shù)理邏輯系統(tǒng)。1879年，德國數(shù)學家、邏輯學家弗雷格在《概念文字—一種模仿算術(shù)語言構(gòu)造的純思維的形式語言》這部88頁的著作中發(fā)表了歷史上第一個初步自足的、包括命題演算在內(nèi)的謂詞演算公理系統(tǒng)，從而創(chuàng)建了現(xiàn)代數(shù)理邏輯。之后，英國哲學家、邏輯學家羅素和懷特海于1910年發(fā)表了三大卷的《數(shù)學原理》，建立了帶等詞的一階謂詞系統(tǒng)，從而使得數(shù)理邏輯成熟與發(fā)展起來了。
以上講的數(shù)理邏輯，它的核心是兩個演算一一命題演算與謂詞演算，也稱之為現(xiàn)代形式邏輯或狹義的現(xiàn)代邏輯。在當代，以現(xiàn)代邏輯為基礎(chǔ)，將現(xiàn)代邏輯應(yīng)用于各個領(lǐng)域、各個學科，從而出現(xiàn)了廣義的各種各樣的現(xiàn)代邏輯分支。美國邏輯學家萊斯徹在談到現(xiàn)代邏輯的發(fā)展時，給出了一幅關(guān)于現(xiàn)代邏輯應(yīng)用于各個領(lǐng)域及學科的“現(xiàn)代邏輯地圖”：
