读《恋与禁忌的述语推理》有感并由此而来的推理小说杂谈

71023

《恋与禁忌的述语推理》      作者：井上真伪      评分:六星

很喜欢。
他将我之前所设想过的，即将逻辑学融入推理写入了本书，并且完全摒除了其他可能性，用完美的逻辑完成推理。
如果说有什么地方有瑕疵的话，就是第一篇的正解中第七个命题和最后一篇有所偏颇，但难得的是前者这个漏洞竟然在后一页被侦探本人所指明，而后者的重点则不放在推理，在与剧情，因此有漏洞也可以接受。
做喜欢的自然就是倒数第二篇，也就是《三胞胎与模态逻辑》，或许是我没有见过脚印诡计的缘故，由主角本人提出的伪解已让我惊掉了下巴，更加神奇的是正解竟然是以直拳的方式击倒了排除正解的前提，并且再次提出另一个异曲同工的诡计，实在是，实在是，太喜欢了。
无论是青崎有吾的三馆，还是埃勒里奎因的《悲剧》或者《荷兰鞋》，又亦或是设定流的《活尸之死》，在逻辑上看似完美，但是我却不断地感到违和：没错，他们的推理都忽略了“意外”二字。
青崎有吾的体育馆的逻辑点是雨伞，通过雨伞排除凶手——x不可能没有带雨伞离开，因为就算他离开体育馆的时候忘记带伞，但是他看到当时下着大雨就一定会回去拿伞.....
没错，这是最为理想的状况。
实际上呢？
有可能他懒得回去拿，有可能他和别人共撑一把伞...........
必须承认这些可能性很低，但是真的不可能吗？
青崎的逻辑过于理想化，如果只是一两个这样的逻辑点我完全可以接受，但是正因为体育馆的逻辑点全集中在雨伞才导致不可接受——由一个理想化的逻辑推导出结论，然后又把结论当做下一个论证的前提，继续推导........
这就像走钢丝一样，每一步步骤都容不得半点差错，每一步都必须符合作者的“理想化”，必须得是这样，不然就会掉下去。
埃勒里奎因的《荷兰鞋》也一样，本书的核心逻辑点是鞋舌被留在了鞋子里，所以凶手是一个脚码比这双鞋的码数小很多的人....
被默认的前提是什么呢？
是如果一个人穿着比自己的脚大的鞋子，并且在穿着鞋子的时候鞋舌被塞到了鞋子里的话，那么这个人脱鞋的时候鞋舌一定不会跟着脚丫子掉出来。
这也是理想状态。
在这种情况下另辟捷径的是谁呢？是我目前最喜欢的，唯二的推理作家，西泽保彦。
他放弃了通过证据一步步建构论证的模式（起码在匠千暁系列里面），转而不断建立脑洞大开的假设，排除假设，建立假设，最后找到其中最可能的假设。
这一种方式的确不可能没有漏洞，假设是无穷多的，归根结底，西泽不可能举出所有的假设再一一排除。
难能可贵的是，西泽对此有所自觉。
文中的主角非常清楚这只不过是妄想，他们并没有将他们的解答当做“真相”，而只是朋友们愉快的聊天，这种态度也是我喜欢西泽的原因之一。
而井上真伪的本书，《恋与禁忌的述语推理》可以说是西泽完全反面。
本书通过亚里士多德的古典逻辑，现代的符号逻辑，还有各种我也叫不上名的逻辑完成“唯一”的解答。
这正是我一直在寻找的书本。
我前段时间一直在看《逻辑学导论》，对于逻辑学可以说有浅薄的，关于自己的理解，因此我更能感受到，井上真伪是真的将逻辑学通入到杀人案件之中。
无论是如数学几何的“定义”一般的真理，还是基于事实的前提，基于前提的结论，他将杀人案件的每一个部分分割成一小小块，并且用命题表达，然后再将前提，亦即事实联系起来，推导出理所当然的结论。
其实本书的推理与奎因的《x的悲剧》有异曲同工之妙。第二篇《交叉结与谓语逻辑》中，中尊寺关与领带的推理，用书中的话来说就是MECE分析法，亦即“非A即B”的推理方式与奎因的《X的悲剧》中排除凶手的方法，也就是将凶手分为两种：在车上的人和不在车上的人，所用的方法是相同的。
可以说本书用理论知识具体概括了部分推理小说所用的推理方法，而这原本是模糊的，不可信的。
希望今后能再次看到其他将逻辑学融入到推理小说中的作品。
（井上真伪我粉了）

64512

逻辑学的倒没有听说过了，把数学公理之类的融入推理小说的倒是有，且在咱看来，相佐程度更为恰好，浅尝辄止更为巧妙，姐姐那本）
第三篇的那个脚印诡计确实惊艳绝伦，只为此就堪一阅）
可惜的是除此之外的案件都过分简单。
且这本的结论也并没有完全论证，就算逻辑学导出的结论也只能是理想状态，不管什么样的形式都一样……推理小说能存在，必须要默认的规则就是相关人员必须理性思考，即做出最合理的举动。“他受伤了，就不会强行杀人”“他用铁棍杀人更方便，所以没理由使用石头”，这些都是“理想状态”，最合理的推理，但完全可以有别的情况……比如石头顺手就在手边，和干脆懒得拿雨伞是一回事。
这本书不在手边不好举书里的例子……其实里面的一些推论一样是可逆的，想在推理小说中追求彻底完满的论证是没可能的，用上逻辑学也是一样，后期奎因问题不正与此相似？）
这本书咱同样非常非常喜欢，文末姐姐的解说，所谓高度统一的形式美感，正是作者笔下作品极具魅力的特点，也是很对咱味的点，能将炫学贴近推理的本质，在推理小说中融入逻辑学，就算有些人称之为故弄玄虚，这本书还是为咱这种蒟蒻开创了一种新思路）