《戀與禁忌的述語論理》 https://i.imgur.com/OyxFzvW.jpg 《那種可能性我早就想到了》的作者，井上真偽便藉此本書，以梅菲斯特賞第51屆出道。 其實以前在看推理小說，就有個小小疑惑。 大家常說推理小說重視邏輯，但為什麼我在大學裡，哲學課學的古典邏輯、真偽值啥的， 跟推理小說中的邏輯，總感覺天差地遠Orz 終於，本書講述了技術細節，並拿來跟運用在推理層面上。 https://i.imgur.com/DDy57kv.jpg (推理過程長這樣...極具特色....) 這邊的邏輯，包含了命題邏輯、謂詞邏輯與模態邏輯，書名的述語論理，其實就是日文的 述詞邏輯。 書中也橫跨多種邏輯範疇，像是古典邏輯、直覺主義邏輯等，並利用了不少哲學、邏輯學 的理論，讓人更容易解釋其邏輯思路，例如用亨佩爾的烏鴉來解釋目擊證詞的有效性。 個人認為，這本完全能作為邏輯學入門書籍，其融合邏輯於故事之中，使概念很好理解。 作品藉著三起推理案件短篇，外加個收尾小轉折，故事結構並不複雜，但作者藉著這些故 事，做出蠻有趣的詮釋。 三起案件分別為 1.「朋友間慶祝派對卻有人身亡，是他殺還是意外？」 2.「被害人被發現絞殺在眾人皆可出入的廁所，卻找無嫌疑人」 3.「雪地有足跡、兇手也被目擊，但嫌疑人是雙胞胎，無法得知是其中何者犯案？」 其實你說，不用邏輯推導，偵探們就猜不出兇手嗎？畢竟一般推理小說也蠻少用邏輯，就 找證據想手段而已~~ 的確，在很多推理作品中，其實偵探也能蒐集細微不協調、猜出某種作案手段，直指兇手 。 但如果仔細探究，把偵探們的推理，拆解成邏輯式表達，會發現其中存在小bug。 像是想法稍微跳tone，太肯定某些假設，或是證據與犯人間，不存在所有時空下的必然相 關性，像是目擊證詞的有效性，即使能證明A攜帶凶器，但無法證明A確實拿凶器幹掉受害 人。 諸如此類，在邏輯上不見得能劃上等號，或許，也能掰出其他推理手段來解釋的，這些案 件，便由我們中年美麗的數理邏輯學家，硯小姐一一來破解。 是的，又是一個美女偵探：） 總得來說，這本書算是極具特色、還蠻有趣的書籍，充滿大量數理邏輯概念，跳過不看也 可以。 https://i.imgur.com/1Axc7f8.jpg (書末還附上規則讓你查表，真用心) 如此數理邏輯推導的推理小說，可惜作者接續的作品，這方面風格消失不少，出道作風格 最強烈，終究是不太受市場歡迎吧~ 唯一算歡迎，改編成日劇的神速偵探，似乎邏輯要素又更少了。 蠻希望看到邏輯學家硯小姐的續作，可惜了。 ================================ （題外話） 這本書出版方，力潮文創的 千島櫻文庫，算是間對岸不錯、眼光獨到的推理小說出版社 ，範圍從30多年前的作品，到某些大獎得獎作都有，雖然近半書籍台灣皆有出版，但其餘 書籍感覺不賴，題材奇形怪狀，蠻像梅菲斯特獎風格。 感覺近年，台灣引進的推理小說漸少，蠻多日系有趣作品都沒來台，甚是可惜。 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.171.244.7 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/Detective/M.1627052749.A.482.html 不過這系列也才兩本QQ 其實也不算數學（？ 算是邏輯推導，跳過不看也行，書中主角也會解釋哪部分存在瑕疵~ 其實邏輯部分沒提很多，但比起硬讀哲學背真值表規則，這讓人更有興趣。 真滴ㄎㄧㄤ 但有些題材蠻沉重的，這本相對輕鬆 ※ 編輯: Jimmy030489 (1.171.244.7 臺灣), 07/24/2021 00:09:52 ※ 編輯: Jimmy030489 (1.171.201.124 臺灣), 06/17/2022 17:49:29