大卫·刘易斯的形而上学（三）

8.2反应和批评

对对应理论的一些早期批评似乎取决于误解。例如，Plantinga（1974，115f。）和Salmon（1981，232–38）抱怨说，根据刘易斯的说法，所有事物本质上都具有所有特性，因为这些世界没有这些事物存在并且具有不同的特性。克里普克（Kripke，1980）同样抱怨说，根据刘易斯的说法，当我们说汉弗莱可能赢得选举时，我们“不是在谈论汉弗莱可能发生的事情，而是与其他人发生的事情”（45，第13页）。作为回应，刘易斯指出，在他看来，确实是汉弗莱本人赢得了胜利，因为获得了胜利的同事。刘易斯（1986e，194-6，246; 1983d，41-2）。更普遍地，尽管他的说法意味着普通物体在一个技术上的“存在”中仅存在于一个世界上，但它们并不是多个世界的一部分 - 它允许在多个世界中以更中立的意义在多个世界中存在在世界上存在的仅意味着被世界代表的现有。根据对应的理论，汉弗莱（Humphrey）被以合适的汉弗莱（Humphrey）对应方式表示为胜利和现有。 （另见Hazen 1979，320-4。）

刘易斯说明的一个可能限制是，他的对应关系被认为是定性的相似性关系。费尔德曼（Feldman，1971）指出，“我本来可以与我实际上完全不同”是真实的，这似乎需要具有非相似的对应物。刘易斯回答说，涉及两种相似关系：在相关的世界上，有些人在某些方面（也许是关于来源）与我相似，但在其他方面与我不同（请参阅Lewis 1983d，43; Lewis 1986e ，230–235）。 Heller（2005），Stalnaker（1986）和Fara（2009）提出了进一步的考虑，反对从定性相似性方面分析反票房。

刘易斯原始演讲的另一个局限性是，它不允许对不同个体的对应物施加限制。假设我们认为伊丽莎白二世本质上是乔治六世的女儿，并假设在世界上，伊丽莎白和乔治都有多个同行，也许是在永恒的不同时期的不同时期。那么，一些伊丽莎白的对手将不会成为乔治对方的女儿。据刘易斯（Lewis）1968年的叙述，“伊丽莎白可能不是乔治的女儿”，然后与我们的假设相反。 Hazen（1979）提出了这个问题。 Hazen提出了对对应功能集的修订分析。刘易斯（Lewis，1983d，44-5）表示，我们应该理解“伊丽莎白可能不是乔治的女儿”，因为他对伊丽莎白和乔治的一对（或融合）的主张。 Hazen（2012）认为，两项提议都没有完全避免问题。

对同行理论的最常见反对可能是它产生了一种偏差和反直觉的模态逻辑。刘易斯（Lewis，1968）将翻译规则从量化的模态逻辑语言提供给伸展的一阶语言。这些翻译规则使“身份的必要性”和“独特性的必要性”无效，以及模态逻辑的熟悉原理□（a∧B）→□a。相反，他们确实验证了有争议的原则，例如匡威巴尔坎公式和“存在的必要性”。还认为，这些规则不能扩展到具有良好行为的“实际”操作员的语言。

这些是否是真正的问题是辩论的问题。实际上，数学逻辑的作者已经欣赏了对模态逻辑的对应理论解释，因为它克服了标准的Kripke语义问题。还有一些方法可以重新制定刘易斯的翻译规则，以避免所谓的有问题的特征。请参阅补充文件：

量化模态逻辑的对手理论语义

了解更多详情。

刘易斯本人对保存模态逻辑原则没有兴趣。他一直对用盒子和钻石形式化模态话语的前景持怀疑态度。 （参见例如Lewis 1983d，45; Lewis 1986e，12-13）。因此，他拒绝了这些异议中的前提，即“盒子和钻石的语言为普通的模态思想提供了良好的制度”（Lewis 1986e，12）。

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。