這份講義是當代邏輯入門課程的教材，內容大約是一階邏輯的前部，可作為教科書或參考書，用於哲學、數學、計算機科學和語言學等院係的當代邏輯課程。希望瞭解一點當代邏輯的各科學生，也可以把它當作課外讀物。
無論在國內還是國外，可用於一階邏輯課的教材不少，導論性的教材更多；但兩類教材的脫節是個老問題。國外一些教材在導論性內容後增加些一階邏輯的內容（如完全性定理），其中有的已被國內學者介紹或模仿。但這類教材通常仍隻能用於導論課。編寫《符號邏輯講義》的目的之一，就是想把脫節的教材連起來。說到西方人寫的當代邏輯入門教材，不能不提一種現象：越來越多的這類教材是由邏輯界之外的人撰寫的。有一次，美國哲學界的幾位同事談起部分學生邏輯水平很低，其中一人開玩笑說，那是你們邏輯學傢的過錯——誰讓你們不寫幾本好的初級教科書呢？西方人寫的邏輯教科書，有的很好，有的也很糟。所以，選用這類教材時要慎重，決不是西方人寫的就一定好。
作為學科和知識體係，當代邏輯並沒有理科當代邏輯、上科當代邏輯和文科當代邏輯之分。任何人著想掌握當代邏輯的基礎知識，應該學習的決不會比其他學科的人更少。編寫《符號邏輯講義》時，在基本內容的選擇上對各學科讀者一視同仁，但為瞭使沒經過理論數學的嚴格訓練的人也能學好，在寫法上力求從接近直觀的東西入手，循序漸進。
具體描述
讀後感
非常详细的一本书，也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中，才了解了推演的基本方法，并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
評分非常详细的一本书，也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中，才了解了推演的基本方法，并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
評分非常详细的一本书，也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中，才了解了推演的基本方法，并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
評分非常详细的一本书，也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中，才了解了推演的基本方法，并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
評分和学生组建了一个读书小组来读这一本书，用了快两个月的时间了读到了第九章，作了前面大部分的题目，当然还有一些不会，不过所幸也不急，等把第一遍仔细读完，再反反复复的读上几遍，想来那些遗留的问题也不是问题了吧。 个人感觉难得的好书，非常的贴心，很多章节都能读出一种...
用戶評價
本尊上課給我們每人送瞭本尊寫的書……
评分0翹課0遲到 。。。。大學裏第一個值得紀念的事
评分大師手筆，屬於任何段位讀都會有所收獲的那類。命題邏輯和謂詞邏輯的章節估計是最好的數理邏輯入門。
评分對於完全沒有基礎的學習者，這應該是目前最好的中文書
评分到現在為止，徐老師是對我影響最大的老師。今天是最後一節課，迴顧本學期，在XM、Su、LY以及批判性思維幾本書的學習下，感覺自己終於入門瞭。清晰是第一步，步驟是理性的論證而不是服從權威或者引用名言，根基在於事實。記憶得到的知識——硬盤，邏輯、理性得到的是方法——內存，而一個人的可用的腦細胞就那麼多，讓自己更多的推理，而不是記憶。本書的前半部分大約看瞭三遍，後半部分隻看瞭兩遍。但是依然覺得不夠，越看越想看，這種感覺還是第一次。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有