本書的內(nèi)容是十一個經(jīng)典的邏輯謎題,這些謎題非常具有挑戰(zhàn)性,答案往往出人意料。這些謎題表面上看起來是自相矛盾的,但是對它們的解答是圍繞知識宣告來進行的,解答過程也完全能夠以數(shù)學模型的方式嚴格化。本書每一章處理一個謎題,作者經(jīng)過詳細地分析,最終引導讀者獲得解答。
更多科學出版社服務,請掃碼獲取。
這本書呈現(xiàn)了11個不同的關于已知和未知的謎題。每個謎題單獨成章,進行了深入闡釋,每一章還有一些附加謎題,書后可以找到這些謎題的答案。這些謎題的一個永恒話題是,謎題中所涉及的人宣告他們知道和不知道的東西,然后似乎自相矛盾。這樣的知識謎題在動態(tài)認知邏輯領域的發(fā)展過程中起到了重要的作用。本書單獨有一章介紹動態(tài)認知邏輯。
本書的插圖是易蘭車茲彥(Elancheziyan)繪制的。易蘭車茲彥是生活在清奈(Chennai)的一位講泰米爾語的印度畫家。漢斯·范·狄馬斯(Hans van Ditmarsch)在印度清奈數(shù)理科學研究院兼職,經(jīng)東道主拉馬努詹(Ramanujam)聯(lián)絡,在蘇巴舍利·德斯堪(Shunashree Desikan)進行泰米爾語一英語翻譯的友好幫助下,漢斯與易蘭車茲彥取得了聯(lián)系。每一章的插圖的來歷本身就是一個故事,我們非常感謝易蘭車茲彥的必不可少的合作。
我們要對保羅·勒夫雷(Paul Levrie)和維什列夫·桑達拉簡(Vaishnavi Sun-dararajan)表示感謝,他們?yōu)楸緯詈笠话鏁宓男ψ龀隽藢嵸|性的、非常令人欽佩的努力。彼特·范·埃姆德·博阿斯(Peter van Emde Boas)毫不厭倦地提供關于連續(xù)自然數(shù)之謎的歷史細節(jié),對于我們寫作本書有很大的鼓勵。我們還要感謝施普林格出版社的阿倫·曼恩(Allen Mann),他鼓勵并促使我們開展這本書的寫作計劃。漢斯講課時,南錫高等礦業(yè)學院的尼克拉斯·梅耶爾(Nicolas Meyer)發(fā)現(xiàn)了燈泡協(xié)議中一處令人尷尬的錯誤,此時離我們交書稿只有幾個星期的時間。他是許多我們希望感謝的人中的一位。如果回顧在學院、大學和暑期學校教授邏輯與謎題的25年,我們要感謝更多的學生和同事:通過一個例子,我們希望在此感謝所有的人。毫無疑問,本書難免還存在一些錯誤,這些錯誤全都是作者的責任。
馬明輝,男,土家族,1984年11月生于湖北。中山大學哲學系教授、博士生導師。2011年畢業(yè)于清華大學,獲邏輯學專業(yè)哲學博士學位,曾留學于荷蘭阿姆斯特丹大學邏輯、語言與計算研究所,2012年以來先后赴日本北陸先端科學技術大學院大學、荷蘭代爾夫特理工大學、法國洛林計算機科學及其應用實驗室(LORIA)、愛沙尼亞塔林理工大學等地從事科學研究。近年來主持國家社科基金項目兩項、教育部人文社會科學研究項目一項,其他省部級項目兩項,在國內(nèi)外重要學術期刊發(fā)表專業(yè)論文40余篇。
目錄
序言/i
1 連續(xù)的自然數(shù)/1
2 絞刑/13
3 泥孩/21
4 蒙提霍爾/35
5 俄羅斯卡片/41
6 誰有兩數(shù)的和?/59
7 和與積/69
8 兩個信封/83
9 一百囚徒與一個燈泡/89
10 八卦/103
11 妙探尋兇/117
12 動態(tài)認知邏輯概述/133
13 答案/169
參考文獻/197