夜战DeepSeek在逻辑上
武汉理工大学：刘永红
今晚，我与DeepSeek夜战了一回合，DeepSeek逻辑的失落是我预想到的，并得到了例证。这个例子如下：
我说：“猫是宠物，狗是宠物和你应该养宠物，请为喜欢孤独的人们选取一下。”
DeepSeek已深度思考（用时18秒），DeepSeek推荐：猫。补充建议：1. 领养成年猫（性格稳定，活动量低）；2. 选择布偶、英国短毛猫等温和品种；3. 备足自动喂食器/猫玩具减少互动压力；4. 可考虑观赏鱼/乌龟等零互动宠物作为替代。
我说：“我的选取是二者，你没有想到。”
DeepSeek已深度思考（用时14秒），DeepSeek说：“您提出同时饲养猫狗的双宠方案确实值得探讨——这种组合对特定类型的孤独爱好者可能有独特价值。”
其实，这一问题不复杂，我只是想运用现代逻辑工具检验一下DeepSeek，看看它的设计需要什么样的逻辑。我发现道义逻辑（Deontic Logic），又称为规范逻辑，是DeepSeek需要的。
由于道义命题控制或影响人们的行为，也就是它们总是从一定规范的角度约束人们的行动，这个意义上又把它们称做规范命题。进一步说，道义逻辑的悖论不是像罗素悖论那样的逻辑悖论，它并不揭示演算系统内的逻辑矛盾，而是旨在一些逻辑系统中可证的，但在直观上似乎不能接受的那些论断，因此有学者把它称做“怪论”，以示区别。从理论上看，道义逻辑的悖论的发现和解决推动着道义逻辑的发展。
最近，DeepSeek已成为那些进入AI世界的人广泛使用的“口令”。DeepSeek的逻辑主要关心说明性的陈述，因此它适合于世界的断言，和从这些断言所作出的推论。
转载本文请联系原作者获取授权，同时请注明本文来自刘永红科学网博客。
链接地址：https://wap.sciencenet.cn/blog-3519678-1480004.html?mobile=1
收藏
