邏輯學教程

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

暫缺《邏輯學教程》作者簡介