符號邏輯書籍

符號邏輯書目（建議） (按不同的目的選讀） 一、 只想初步了解者 1. Hurley,《A Concise Introduction to Logic》7th.ed. 閱讀Ch.6-8.符號邏輯部分。 （想學好邏輯的朋友，我建議將這本書從頭到尾精讀一遍，二千多道習題全部做（我花了半年時間才完成）。你的邏輯基本功就會非常紮實。這本書比Copi的《Introduction to logic》更好，行文簡潔，但內容更豐富。） 二、 想進一步了解者 2. James D. Carney,《Introduction to Symbolic Logic》 這本書很容易讀，主要講自然演繹法。 3. W.V.Quine,《Methods of Logic》4th.ed. 概念清楚，敍述得很有條理。 4. I.M.Copi,《Symbolic Logic》 這是一本很好的教科書，內容很全面。 三、 進一步推薦 5. Geoffrey Hunter, 《Metalogic》 這是一本講元邏輯的極好的書。 6. G.E.Hughes,《A New Introduction to Modal Logic》 模態邏輯與哲學的關係較密切，要了解模態邏輯，這本書較好。 7. R.M.Smullyan,《Godel's Incompleteness Theorems》 簡單明瞭地證明哥德爾定理。 8. E.J.Lemmon,《Introduction to Axiomatic Set Theory》 內容緊湊，是了解公理集合論的好書。 9.A.G.Hamilton,《Logic For Mathematicians》 一本較好的數理邏輯入門書。 四、 向數學系高材生推薦的書 10.Elliott Mendelson, 《Introduction to Mathematical Logic》,4th.ed. 這本書有些習題很難。

你們讀好啲[符號邏輯]將來也威多幾次 康慈當年使用符號邏輯，把古老的最強兵器：中子彈！也解讀出來[之前康慈給一個白人話康慈的能力只是老千？]所以有點以氣用事，在香港這個沒有超級電腦的地方！CALL啲精英出來，由零開始去開始編寫核子程式！[當年八十年代華人社會，沒有一個科學家有核子科技的程式！] 最後只有中大哲學系的朋友和康慈為了，華人的將來出一分力！那時康慈使用中國最強最偉大的算術工具：珠算[可以做到不同進制的運算]！一個算盤有二十四位數！二個算盤就有四十八位數！一百蚊可以買到四至五個算盤！買幾個大力夾把啲算盤平排的夾成一排！ 五個算盤以有六十位數的珠算能力！最後抓部電腦來記錄這麼多位數的運算！電腦只用來記錄，那時多麼看不起電腦！ 康慈等人最後完成了中子彈的製造器，後來給美國政府使用核不擴散的法律，把康慈等人的中子彈的製造器盜去美國自已製造中子彈[沒有改良就可以直接製造]！中文大學這個名字因此威振四海！ 中大個名就威振四海！康慈等人給人插到啊媽都吾認得，還要自已出錢出席國際軍事法法庭！自己走入去給Ｄ人告康慈等人，話康慈[我]把核子科技當小朋友玩具玩！ 發明左中子彈！我地的腰包突然中左自己的中子彈！Ｄ錢飛走散！=.=" 諾貝爾發明Ｄ軍事兵器，就發到死也用不完！康慈發明中子彈就，險些破產！真系同人吾同命：天命啊！你話係嗎？

《Introduction to Mathematical Logic》 是一本超級強力雞精書

to: 海澎 我每天都在中大, 食飯日期請擇其一 (1) 2/1 (2) 6/1 (3) 7/1 (4) 8/1 (5) 其他 時間: 由你決定 見面地點: u lib 門口

介紹兩本中文邏輯書 《現代邏輯科學導引》（上、下冊） 王雨田主編，中國人民大學出版社出版 這本書全面介紹當代邏輯科學的各個分支，各分支的內容皆由這個領域的專家撰寫，內容詳盡具體。上下二冊共一千二百多頁。是一本較好的工具書。 內容包括： A1現代邏輯科學的幾個問題 B1數理邏輯的形成和發展簡述 B2命題邏輯與一階邏輯 B3模型論 B4集合論 B5遞歸論 B6證明論 B7證明的代數理論 B8直覺主義邏輯 C1布爾代數 C2判定問題 C3邏輯語義學 C4相干命題邏輯 C5模態邏輯 C6反事實條件句邏輯 C7多值邏輯 C8非標準量化邏輯 C9悖論 D1概率邏輯 D2條件化邏輯 D3歸納邏輯 E1量子邏輯 E2模糊邏輯 E3邏輯與智能計算機 F1存在邏輯 F2時態邏輯 F3拓樸邏輯 F4認識論邏輯 F5斷定邏輯 F6問句邏輯 F7道義邏輯 F8優先邏輯 F9自然語言邏輯 G1邏輯方法 H1國外辯證邏輯研究

更正 五個算盤以有一百二十位數的珠算能力！

翔 很高興在中大與你見面. 有關條件句問題,可參考Quine < > 4th ed. pp.21-26. 根據你的興趣,推薦一本好書給你: S.C.Kleene, << Introduction to Metamathematics >> (有中譯本 << 元數學導論 >> ,科學出版社)

補缺 Quine,<< Methods of Logic >>

: ) 謝海澎.

張海澎的介紹很詳盡喔！ 想問問以下這一本好嗎？ Mathematical Logic : A course with exercises (Part I) / 第 1 版 Rene Cori、Daniel Lascar Oxford University Press, Inc. / 2000 年 09 月 大約可歸在以下那一類內呢？ 一、 只想初步了解者 二、 想進一步了解者 三、 進一步推薦 四、 向數學系高材生推薦的書

Psyche 你是問我嗎? 我沒看過這本書,無從評價. 抱歉!