邏輯學(xué)教程

　　邏輯是一門既古老雙年輕的學(xué)科。說(shuō)它古老，是因?yàn)樗臍v史源遠(yuǎn)流長(zhǎng)；說(shuō)它年輕，是因?yàn)樗裉烊匀怀錆M著生機(jī)和活力，在人們現(xiàn)實(shí)的思維和交際中起著其他學(xué)科不可替代的重要作用。依據(jù)“由抽象上升到具體”的理論建構(gòu)原則，我們分九章來(lái)安排《邏輯學(xué)教程》的教學(xué)體系。《邏輯學(xué)教程》的第一章介紹邏輯的對(duì)象、作用和對(duì)象、作用和歷史，旨在為邏輯畫一個(gè)總的輪廓，使讀者對(duì)邏輯有一個(gè)概略的了解?！哆壿媽W(xué)教程》的第二章和第三章所討論的問(wèn)題，屬于命題邏輯的范圍。就命題邏輯而言，最簡(jiǎn)單、最基本的東西就是命題聯(lián)結(jié)詞，所以第二章就從聯(lián)結(jié)詞講起。第三章討論命題演算，它是命題邏輯的形式化、系統(tǒng)化。命題演算包括公理系統(tǒng)的自然推理系統(tǒng)，本章對(duì)這兩大系統(tǒng)都作了簡(jiǎn)明扼要的介紹。第四章、第五章和第六章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎(chǔ)上為現(xiàn)代邏輯體系中的“細(xì)胞”。依據(jù)這樣的分析思路，命題邏輯揭示了效推理，即以命題聯(lián)結(jié)詞為基礎(chǔ)的推理的規(guī)律。但是，還有一類有效推理，它們無(wú)法用命題邏輯的理論給以說(shuō)明，因?yàn)樗鼈兊挠行灾哺诿}的內(nèi)部結(jié)構(gòu)。因此，必須深入命題的內(nèi)部；考察作為命題結(jié)構(gòu)成分的題詞、謂詞和個(gè)體詞，從而說(shuō)明這一類推理的有效性，這便是謂詞邏輯任務(wù)。第七章討論模態(tài)邏輯，模態(tài)邏輯是在命題邏輯和謂詞邏輯基礎(chǔ)上的進(jìn)一步擴(kuò)展。命題邏輯和謂詞邏輯對(duì)于折合明效性的討論是以現(xiàn)實(shí)世界為參照系的，而模態(tài)推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態(tài)邏輯有關(guān)更為寬廣的邏輯視野。本章的主要內(nèi)容涉及非形式的模態(tài)命題邏輯元理念等等。第八章討論歸納邏輯，包括傳統(tǒng)的歸納邏輯與現(xiàn)代的歸納邏輯，其中前三節(jié)更多地屬于“傳統(tǒng)”的內(nèi)容，后兩節(jié)則較從一些“現(xiàn)代”的氣息。歸納邏輯與前面第二至第七章所討論的演繹邏輯屬于不同的邏輯類型，但它對(duì)于培養(yǎng)人們的邏輯分析與推理能力同樣是不可或缺的，因此，我們也在此作一個(gè)簡(jiǎn)要的介紹。第九章討論語(yǔ)用邏輯。語(yǔ)用邏輯的著眼點(diǎn)是人類言語(yǔ)活動(dòng)的交際性，它力圖結(jié)合主體與語(yǔ)境來(lái)探討語(yǔ)句的具體意義，因而是最為復(fù)雜和具體的。雖然邏輯學(xué)界對(duì)語(yǔ)用邏輯的性質(zhì)、分類和核心概念有不少討論，但語(yǔ)用邏輯的體系和內(nèi)容至今還遠(yuǎn)遠(yuǎn)沒(méi)有成型。我們之氫要在最后介紹這些尚不成熟的理論，無(wú)非是想幫助讀者拓寬邏輯的視野，并在更廣泛的層面上引起大家對(duì)新的邏輯領(lǐng)域的興趣和關(guān)注。

暫缺《邏輯學(xué)教程》作者簡(jiǎn)介