海猫与其他推理作品最大的不同点在于

红蓝字系统将传统推理小说中的溯因推理（或IBE）变成了演绎推理。

什么是溯因推理？
溯因推理是皮尔斯提出的除演绎推理、归纳推理外的另一种推理形式（皮尔斯这人喜欢把一个事物三分，不过，分的还真挺有道理）。
溯因推理在符号学中被称为“试推法”，但是我看大多数论文都用“溯因推理”这个词，所以就取科学哲学里的翻译，即溯因推理。
举例说明：
所有A地生产的苹果都很好吃
我手上的苹果很好吃
我手上的苹果是A地生产的
可以看出溯因推理与归纳推理一样，结论都是不一定为真。
而与溯因推理比较相近的是最佳说明推理（Inference to the best explanation，简称IBE）
举例说明：
所有A地生产的苹果都很好吃，其他地方的苹果大部分都很难吃
我手上的苹果很好吃
我手上的苹果是A地生产的
这里苹果是A地产的是最佳说明，所以是最佳说明推理。
最佳说明的推理与溯因推理很相似，是否等同在学界也有争论。这里看它们字面意思就明白，一个是倾向于“最佳说明”，一个倾向于“溯因”。（其实IBE和归纳推理哪个是最本质的推理也有争论）
溯因推理和IBE都是推理小说中常见的推理方式。

正因为溯因推理的不确定性，所以推理小说中的答案可以不断反转，推翻之前的结果。
这也产生了后期奎因问题。
而海猫的红字正好可以解决后期奎因问题，毕竟除了跟你玩文字游戏以外，红字即是真实。

红蓝字系统中的演绎推理：
蓝字：小明从窗户翻入，杀害小红
红字：任何人无法窗户通过进入
这里可以看出演绎推理的三段论
前提：任何人无法窗户通过进入
情形：小明是人
结论：小明无法窗户翻入
可以看出，侦探实际上是根据已有的客观事实（红字），通过溯因推理或IBE来给出蓝字。
而魔女则通过给出演绎推理的大前提来否定蓝字。

而蓝字所要避开所有红字，以及红字不能自相矛盾本身也是一种演绎推理逻辑。

用苹果的例子直观看下演绎、归纳、溯因的区别：
演绎：
所有A地生产的苹果都很好吃
我手上的苹果是A地生产的
我手上的苹果很好吃
归纳：
我手上的苹果很好吃
我手上的苹果是A地生产的
所有A地生产的苹果都很好吃
溯因：
所有A地生产的苹果都很好吃
我手上的苹果很好吃
我手上的苹果是A地生产的

这沙皮百度

test

np

nb