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