《恋与禁忌的述语论理》
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多年前的作品，到某些大奖得奖作都有，虽然近半书籍台湾皆有出版，但其余
书籍感觉不赖，题材奇形怪状，蛮像梅菲斯特奖风格。
感觉近年，台湾引进的推理小说渐少，蛮多日系有趣作品都没来台，甚是可惜。