邏輯學教程(2006年浙江大學出版社出版的圖書)

內容簡介

邏輯經過兩千多年的歷史發展，它本身經歷了從傳統到現代的演變。作為現代人，雖然也要研究傳統邏輯，但更重要的是學習現代邏輯。現代邏輯是一個由眾多學科分支構成的有機整體，而它的基礎部分則是命題邏輯與謂詞邏輯。根據教學活動的實際需要，我們分十一章來安排《邏輯學教程》的教學內容。

　　第一章緒論是對邏輯的歷史、對象和作用的簡要介紹，目的是對邏輯作一個總的描述，使讀者對邏輯有一個巨觀了解。

　　第二章、第三章和第四章所討論的問題，屬於命題邏輯的範圍。就命題邏輯而言，簡單、基本的東西就是命題聯結詞，所以第二章就從命題聯結詞講起。第三、四章討論命題演算，它是命題邏輯的形式化、系統化。命題演算包括公理系統和自然推理系統，這兩章對兩大系統都作了簡明扼要的介紹。

　　第五章、第六章和第七章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎上的擴展。命題邏輯以命題作為不再加以分解的基本單元，把命題視為現代邏輯體系中的“細胞”。依據這樣的分析思路，命題邏輯揭示了很多有效推理，即以命題聯結詞為基礎的推理規律。但是，還有一類有效推理，它們無法用命題邏輯的理論給以科學的說明，因為它們的有效性植根於命題的內部結構。因此，必須深入命題的內部，考察作為命題結構成分的量詞、謂詞和個體詞，從而說明這一類推理的有效性，這便是謂詞邏輯的任務。

　　謂詞邏輯本身也有一個歷史發展的過程，因此，我們應當用歷史的觀點來看待現代謂詞邏輯和古典謂詞邏輯。鑒於這樣的考慮。本書用第五章一章的篇幅討論了傳統謂詞邏輯（即詞項邏輯）的問題，主要內容涉及直言命題及其推理。

　　第六章和第七章討論現代謂詞邏輯的問題，主要討論非形式的一階謂詞邏輯和一階謂詞演算。一階謂詞演算又包括自然推理系統和公理系統。

　　第八章討論模態邏輯。模態邏輯是在命題邏輯和謂詞邏輯基礎上的進一步擴展。命題邏輯和謂詞邏輯對於推理有效性的討論是以現實世界為參照系的，而模態推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態邏輯有著更為寬廣的邏輯視野。本章的主要內容涉及非形式的模態命題邏輯、模態命題演算公理系統、可能世界語義學、模態命題邏輯元理論等等。

　　第九章討論邏輯基本規律。每一個真的命題都對應於一個邏輯規律，本章著重討論日常思維中套用得多的三大規律，即同一律、矛盾律和排中律。同一律要求任何思想要與自身同一，矛盾律要求思想前後一貫、不自相矛盾，排中律則排除兩個矛盾思想的中間可能性。遵守這三條基本規律是思維具有確定性的必要條件，違反了它們的要求，就會犯邏輯錯誤。

　　第十章討論歸納邏輯，包括傳統的歸納邏輯與現代的歸納邏輯。其中前五節更多地屬於“傳統”的內容，最後一節則較多一些“現代”的氣息。雖然歸納邏輯與前面第二至第八章所討論的演繹邏輯屬於不同的邏輯類型，但它對培養人們的邏輯分析與推理能力同樣是不可或缺的，因此，我們也在此作一個簡要的介紹。

　　第十一章討論語用邏輯。語用邏輯的著眼點是人類言語活動的交際性，它力圖結合主體與語境來探討語句的具體意義，因而是複雜和具體的。雖然邏輯學界對語用邏輯的性質、分類和核心概念有不少討論，但語用邏輯的體系和內容至今還遠遠沒有成型。我們之所以要在最後介紹這些尚不成熟的理論，無非是想幫助讀者拓寬邏輯的視野，並在更廣泛的層面上引起大家對新的邏輯領域的興趣和關注。

邏輯學教程(2006年浙江大學出版社出版的圖書)

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條