《戀與禁忌的述語論理》
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多年前的作品，到某些大獎得獎作都有，雖然近半書籍台灣皆有出版，但其餘
書籍感覺不賴，題材奇形怪狀，蠻像梅菲斯特獎風格。
感覺近年，台灣引進的推理小說漸少，蠻多日系有趣作品都沒來台，甚是可惜。