我知道Quine对分析命题的攻击是两个层面的。第一个层面是分析、定义、矛盾、相同这些词构成了一个封闭家族，全都没有得到有效的解释；第二个层面是所有命题都有被修正的可能，因此都不是分析命题。我在尽力让自己理解他的意思但感觉很困难。第一个层面不太能说服我，我想试试第二个层面。
他说“单身汉是未婚男人”有修正的可能。我不确定我理解了他的理由，他好像是说，这是因为未来“单身汉”的意思可能在未来变成三角形，“未婚男人”可能变成了四边形，这样的话“单身汉都不是未婚男人”才是正确的了。
但他没有提到过纯粹逻辑。他认为“A->A”也有被修改的可能吗?比如“->”在未来会变成“推不出”？可我觉得这个理由好像很trivial。