123,123,123

內(nèi)容簡(jiǎn)介

　　本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂(lè)見(jiàn)的邏輯謎題，以一種獨(dú)特的方式來(lái)普及數(shù)理邏輯。從第一章到第十六章有大量的趣味謎題供讀者思考，包括說(shuō)謊和講真話的邏輯、沉默的騎士和無(wú)賴等，循著本書生動(dòng)活潑的語(yǔ)言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語(yǔ)義學(xué)、無(wú)窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識(shí)。同時(shí)，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號(hào)的正確運(yùn)用，而是重在讓讀者理解證明的構(gòu)造過(guò)程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。

作者簡(jiǎn)介

　　雷蒙德·M.斯穆里安，世界著名數(shù)學(xué)家、邏輯學(xué)家、哲學(xué)家，同時(shí)還是鋼琴演奏家和魔術(shù)師。他于1959年在普林斯頓大學(xué)獲得哲學(xué)博士學(xué)位，先后任教于達(dá)特茅斯學(xué)院、普林斯頓大學(xué)、印第安納大學(xué)、紐約城市大學(xué)雷曼學(xué)院等。斯穆里安著有《這本書叫什么？》等多部邏輯學(xué)暢銷書，致力于傳播邏輯學(xué)知識(shí)，他的著作一直是多所學(xué)校邏輯學(xué)入門書目。

圖書目錄

第一部分明智地概括
第一章說(shuō)謊和講真話的邏輯
第二章男性還是女性？
第三章沉默的騎士和無(wú)賴
第四章發(fā)瘋還是清醒？
第五章困難重重！
第六章統(tǒng)一化
第二部分明智地符號(hào)化
第七章命題邏輯初步
第八章說(shuō)謊者、誠(chéng)實(shí)的人以及命題邏輯
第九章善變的說(shuō)謊者
第十章邏輯聯(lián)結(jié)詞和善變的說(shuō)謊者
第十一章語(yǔ)義表方法
第十二章所有和有些
第十三章一階邏輯初步
第三部分無(wú)窮性
第十四章無(wú)窮的本質(zhì)
第十五章數(shù)學(xué)歸納
第十六章廣義歸納、柯尼格引理與緊致性
第四部分一階邏輯的重要結(jié)論
第十七章命題邏輯的重要結(jié)論
第十八章一階邏輯：完全性、緊致性和司寇倫-駱文海定理
第十九章正則定理
第五部分公理系統(tǒng)
第二十章開(kāi)始公理化
第二十一章更多的命題公理系統(tǒng)
第二十二章一階邏輯的公理系統(tǒng)
第六部分一階邏輯深入
第二十三章克雷格插值引理
第二十四章羅賓遜定理
第二十五章貝思可定義性定理
第二十六章大一統(tǒng)
第二十七章一階邏輯展望

參考文獻(xiàn)
名詞索引
中英文名詞對(duì)照 !