不可能的世界（五）

合成的异议也由罚款2021提出，他提出了他的真相语义作为内容的超负力叙述代替可能的，并且基于世界的账户不可能。 精美的语义（2017A，B）使用各国代替世界，其中各国可能无法最大化（既不真实也不是假的），它们可能不一致。 不一致的状态可以形成为一致状态的一致性和，例如，概括了桌子的圆形的状态，其中一个是正方形的一个不可能的情况，其中有一个圆形方表。 （为了处理结合，精细需要每组各种状态都有一种信息总和，因此他致力于这样的状态。）不可能的世界也可能不一致，可能不完整。 因此，一个现场问题是真相语法是否是一种不可能的世界语义的符号变种，而不是替代品。 在本地性上，他们似乎是一个帕特，在这个意义上，真相语义可以被视为一种不可能的世界语义的形式。 然而，将真相语义视为标准不可能世界账户的竞争对手可能更适合。 真相语义的核心是精确的道理制作的概念，其中有问题的国家与句子的真相完全相关。 真相制度的语义在这个概念的效用中阐述了它的声誉，而标准的不可能的世界语义没有。

良好的方法是对组成担心的吸引力：它为处于状态的布尔连接提供了统一的条款，而不论状态是否一致。 但是，也可以说是一些不可能的世界语义，例如也是如此。 第一学位征集（FDE）的世界语义，一个简单的四价滞留逻辑（DUNN 1976，Belnap 1977A-B），该逻辑已经提供了一个世界语义，包括世界各国的世界既可以真实，或者既不是真实也不是假的。 但是是否可以为所有运营商提供均匀的子句尚不清楚。 例如，在Fine的ForficiFruals语义中，例如，可以仅在可能的世界（其实际上是最大可能的状态）的可能性来评估反事实，因此不允许嵌入反事实的结果。 目前还不清楚反事实是不可能国家的反应性是否需要非统一的条款。

另一个基于组成的担心令人担忧否定：是同等句子本身的否定是相同的吗？ 在不可能的世界语义中，这将不是这种情况。 与真相语义的情况并不简单：它在一些但不是所有系统中持有（例如，没有罚款和Jago 2019）。 良好的回应不是为了驱逐这些较弱的系统，而是为了某些目的而喜欢某些系统。 这种反应也对不可能的世界的朋友开放。

毫无疑问，对不可能世界的其他反对意见可以提出。 关于不可能世界的目前的辩论似乎与一个可能的世界上的一个舞台相同，四十年前。 那时，人们努力了解可能的世界的概念。 许多人宣布它毫无意义。 如今，其各种申请将概念充分放置在哲学和逻辑实践中的核心（参见例如2002年，第4章）。 不可能的世界可能会接受同样的命运，如果他们证明是有用的，因为它们似乎在治疗各种不可能的情况下。