武漢大學哲學係教授。
這份講義是當代邏輯入門課程的教材,內容大約是一階邏輯的前部,可作為教科書或參考書,用於哲學、數學、計算機科學和語言學等院係的當代邏輯課程。希望瞭解一點當代邏輯的各科學生,也可以把它當作課外讀物。
無論在國內還是國外,可用於一階邏輯課的教材不少,導論性的教材更多;但兩類教材的脫節是個老問題。國外一些教材在導論性內容後增加些一階邏輯的內容(如完全性定理),其中有的已被國內學者介紹或模仿。但這類教材通常仍隻能用於導論課。編寫《符號邏輯講義》的目的之一,就是想把脫節的教材連起來。說到西方人寫的當代邏輯入門教材,不能不提一種現象:越來越多的這類教材是由邏輯界之外的人撰寫的。有一次,美國哲學界的幾位同事談起部分學生邏輯水平很低,其中一人開玩笑說,那是你們邏輯學傢的過錯——誰讓你們不寫幾本好的初級教科書呢?西方人寫的邏輯教科書,有的很好,有的也很糟。所以,選用這類教材時要慎重,決不是西方人寫的就一定好。
作為學科和知識體係,當代邏輯並沒有理科當代邏輯、上科當代邏輯和文科當代邏輯之分。任何人著想掌握當代邏輯的基礎知識,應該學習的決不會比其他學科的人更少。編寫《符號邏輯講義》時,在基本內容的選擇上對各學科讀者一視同仁,但為瞭使沒經過理論數學的嚴格訓練的人也能學好,在寫法上力求從接近直觀的東西入手,循序漸進。
發表於2024-05-02
符號邏輯講義 2024 pdf epub mobi 電子書 下載
非常詳細的一本書,也比較傳統的分成命題邏輯和謂詞邏輯兩個方嚮。 我是從這本書的費奇式演算中,纔瞭解瞭推演的基本方法,並將之用於在學習上本書中的自然推演係統中。本書中的希爾伯特式演算的H。公理係統也是傳統的公理係統的講演方式。 個人覺得本書在謂詞邏輯和謂詞演算的...
評分和學生組建瞭一個讀書小組來讀這一本書,用瞭快兩個月的時間瞭讀到瞭第九章,作瞭前麵大部分的題目,當然還有一些不會,不過所幸也不急,等把第一遍仔細讀完,再反反復復的讀上幾遍,想來那些遺留的問題也不是問題瞭吧。 個人感覺難得的好書,非常的貼心,很多章節都能讀齣一種...
評分和學生組建瞭一個讀書小組來讀這一本書,用瞭快兩個月的時間瞭讀到瞭第九章,作瞭前麵大部分的題目,當然還有一些不會,不過所幸也不急,等把第一遍仔細讀完,再反反復復的讀上幾遍,想來那些遺留的問題也不是問題瞭吧。 個人感覺難得的好書,非常的貼心,很多章節都能讀齣一種...
評分和學生組建瞭一個讀書小組來讀這一本書,用瞭快兩個月的時間瞭讀到瞭第九章,作瞭前麵大部分的題目,當然還有一些不會,不過所幸也不急,等把第一遍仔細讀完,再反反復復的讀上幾遍,想來那些遺留的問題也不是問題瞭吧。 個人感覺難得的好書,非常的貼心,很多章節都能讀齣一種...
評分非常詳細的一本書,也比較傳統的分成命題邏輯和謂詞邏輯兩個方嚮。 我是從這本書的費奇式演算中,纔瞭解瞭推演的基本方法,並將之用於在學習上本書中的自然推演係統中。本書中的希爾伯特式演算的H。公理係統也是傳統的公理係統的講演方式。 個人覺得本書在謂詞邏輯和謂詞演算的...
圖書標籤: 邏輯學 數理邏輯 邏輯 哲學 數學 分析哲學 徐明 一階邏輯
個人覺得講的蠻明白的,雖然還是對於理科生更容易理解。。。數學的成分太多。。。
評分很明顯自學失敗瞭(甩頭)--
評分對於完全沒有基礎的學習者,這應該是目前最好的中文書
評分算是“看”完瞭,不過有些題或者定理獨立證明還有些睏難。。。
評分麻煩在於要對著勘誤錶一處一處改錯。武大齣版社的編輯真是弱爆瞭。
符號邏輯講義 2024 pdf epub mobi 電子書 下載