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