zetalyrae 引用 Quine 阐释模态语境为何破坏等式替换推理

zetalyrae 分享了 Quine 关于模态词与命题态度如何破坏等式替换推理的经典论述。即使 Cicero = Tully，将真等式一侧替换为另一侧也可能改变句子真值。这一悖论为理解 LLM 的推理与指称问题提供启发。