数学推理的逻辑狂欢

数学推理的逻辑狂欢

从陆秋槎《文学少女对数学少女》到夺得梅菲斯特奖井上真伪的《恋与禁忌的述语伦理》，我彻底爱上了数学推理这样的推理形式。陆秋槎的这本书曾对我的推理观念产生了莫大的影响，第一次让我去思考推理小说的现实功用，以及对推理四要素必要性的审视。如果陆秋槎的故事与文笔仍然算得拙劣，或者说文本的观感有着太强的不协调感，不足以支撑起推理的架构核心。那么井上真伪老师的这本就彻彻底底地将数学的魅力展示地淋漓精致。用命题逻辑证明推理的正确性，这个角度我太爱了。“可以用古典逻辑证明的东西，并不能以直觉主义逻辑简单地证明。” “在这个世界，永远为真的命题是很少的。”本文最后的反转，使得整个小说的维度重新回归常规本格，并且以相当有趣的收束完善了整本书的逻辑体系。而且从阅读体验上来说，井上真伪老师这本书行文风格实在是太日系了，那种残念感，或者说是设定感，使得理论讲述的过程并不像科普文学那般乏味，主角也并未天才，只是一个被天才姐姐逼着学习的平凡人，大大提高了代入感。感同身受的绝望，大概总有一点这样的感觉。数学推理这种文理的双重混响，彻底让我理解到将推理知识用于实践的表象价值。这两本书，也点明了一个新的推理小说的创造形式，即撇开推理谜题的架构本身，就推理的特定环节进行讨论，并且放弃对推理结果的控制，在对严肃感的摒弃当中，丰富推理小说的思考维度。

必须要强调的是，我并不把《嫌疑人X的献身》归入数学推理的行列之中，原因很简单，数学的知识仅仅只是华丽的手法的外衣，金玉其外败絮其中，并不算是推理体系的开拓。

最后是两本书的逻辑名词，感受下作家的文学功底

连续统假设、费马定理、不动点定理、格兰迪数级

自然演绎NK、相继承演验算LK、ZFC合集、PDCA循环、MECE分析法、亨佩尔的乌鸦、命题逻辑的界限与谓词逻辑、ZF论（策梅洛-弗兰克尔集合论）、哥德不完备定理、换质换位律