2,443
个编辑
更改
→可变严格条件
====可变严格条件====
====可变严格条件====
在可变严格方法中，条件''A'' > ''B''的语义是由一些函数给出的，一方面是A为真、B为真的世界，另一方面是A为真、B为假的世界的相对接近程度。
在可变严格方法中，条件<math>''A'' > ''B''</math>的语义是由一些函数给出的，一方面是<math>A</math>为真、<math>B</math>为真的世界，另一方面是<math>A</math>为真、<math>B</math>为假的世界的相对接近程度。
在刘易斯的论述中，<math>A > C</math> 是(a)空洞的真实，只有在没有A为真的世界时（例如，如果A在逻辑上或形而上学上是不可能的）；(b)非空洞的真实，只有在A为真的世界中，一些C为真的世界比任何C不为真的世界更接近实际世界；或者(c)虚假，在其他世界里。尽管在刘易斯的《反事实》中，他对“接近性（closeness）”的意思并不清晰，但在后来的著作中，刘易斯明确表示，他并不打算将“接近性”的尺度简单地作为我们对整体相似性的普通概念。
例子：
例子：
过去式作为情态动词的方法，过去时的外延从根本上说不是关于时间的。相反，它是一个未指定的框架，既可以应用于模态内容，也可以应用于时态内容。例如，Iatridou (2000)的特殊过去式作为情态提议，过去式的核心含义是下面的图示:
过去式作为情态动词的方法，过去时的外延从根本上说不是关于时间的。相反，它是一个未指定的框架，既可以应用于模态内容，也可以应用于时态内容。例如，Iatridou (2000)的特殊过去式作为情态提议，过去式的核心含义是下面的图示:
Stalnaker的论述与Lewis的论述最明显的不同在于，他接受了“极限（limit）”和“唯一性假设（uniqueness assumptions）”。唯一性假设的论点是：对于任何前件A，在A为真的可能世界中，有一个最接近实际世界的单一（唯一）世界。极限假设的论点是，对于一个给定的前件A，如果存在一个A为真的可能世界链，每个世界都比它的前一个世界更接近实际世界，那么这个链就有一个极限：一个A为真的可能世界比这个链中的所有世界更接近实际世界。（唯一性假设包含了极限假设，但极限假设并不包含唯一性假设）。根据Stalnaker的观点，当且仅当在最接近A为真的世界中，C为真时，A>C才是非空洞的真。因此，上面的例子是真的，只是在他吃了更多早餐的唯一最接近的世界中，他在上午11点不觉得饿。虽然有争议，但Lewis拒绝了极限假设（因此也拒绝了唯一性假设），因为它排除了这样一种可能性，即可能存在着越来越接近实际世界的世界，而没有极限。例如，可能会有一系列无限的世界，每个世界的咖啡杯都在其实际位置的左边小几分之一英寸，但其中没有一个是唯一最接近的。（参见Lewis 1973: 20）。
Stalnaker的论述与Lewis的论述最明显的不同在于，他接受了“极限（limit）”和“唯一性假设（uniqueness assumptions）”。唯一性假设的论点是：对于任何前件A，在A为真的可能世界中，有一个最接近实际世界的单一（唯一）世界。极限假设的论点是，对于一个给定的前件A，如果存在一个A为真的可能世界链，每个世界都比它的前一个世界更接近实际世界，那么这个链就有一个极限：一个A为真的可能世界比这个链中的所有世界更接近实际世界。（唯一性假设包含了极限假设，但极限假设并不包含唯一性假设）。根据Stalnaker的观点，当且仅当在最接近A为真的世界中，C为真时，A>C</math>才是非空洞的真。因此，上面的例子是真的，只是在他吃了更多早餐的唯一最接近的世界中，他在上午11点不觉得饿。虽然有争议，但Lewis拒绝了极限假设（因此也拒绝了唯一性假设），因为它排除了这样一种可能性，即可能存在着越来越接近实际世界的世界，而没有极限。例如，可能会有一系列无限的世界，每个世界的咖啡杯都在其实际位置的左边小几分之一英寸，但其中没有一个是唯一最接近的。（参见Lewis 1973: 20）。
Stalnaker接受唯一性假设的一个结果是，如果排除中间律是真的，那么公式(A>C)∨(A>¬C)的所有实例都是真的。排他性中间律的论题是：对于所有命题p，p∨¬p都是真的。如果唯一性假设为真，那么对于每一个前件A，都有一个唯一最接近的世界，其中A为真。如果排除中间法则是真的，任何结果C在A为真的那个世界里要么是真，要么是假。所以对于每一个反事实A>C，要么A>C，要么A>¬C为真。这就是所谓的条件排除中间法（CEM）。例子：
Stalnaker接受唯一性假设的一个结果是，如果排除中间律是真的，那么公式<math>(A>C)∨(A>¬C)</math>的所有实例都是真的。排他性中间律的论题是：对于所有命题<math>p</math>，<math>p∨¬p</math>都是真的。如果唯一性假设为真，那么对于每一个前件A，都有一个唯一最接近的世界，其中A为真。如果排除中间法则是真的，任何结果C在A为真的那个世界里要么是真，要么是假。所以对于每一个反事实<math>A>C，要么<math>A>C</math>，要么<math>A>¬C</math>为真。这就是所谓的条件排除中间法（CEM）。例子：
:(1) 如果公平的硬币被抛出，它将会正面朝上。
:(1) 如果公平的硬币被抛出，它将会正面朝上。
根据Stalnaker的分析，存在一个最接近的世界，在这个世界里，(1)和(2)中提到的公平的硬币被抛出，硬币要么正面朝上，要么反面朝上。因此，要么（1）是真，（2）是假，要么（1）是假，（2）是真。然而，根据Lewis的分析，(1)和(2)都是假的，因为公平的硬币正面朝上的世界并不比反面朝上的世界更接近或更远离。对Lewis来说，“如果硬币被抛出，它将正面朝上或反面朝上”是真的，但这并不意味着“如果硬币被抛出，它将落在正面”，或“如果硬币被抛出，它就会反面朝上”。
根据Stalnaker的分析，存在一个最接近的世界，在这个世界里，(1)和(2)中提到的公平的硬币被抛出，硬币要么正面朝上，要么反面朝上。因此，要么（1）是真，（2）是假，要么（1）是假，（2）是真。然而，根据Lewis的分析，(1)和(2)都是假的，因为公平的硬币正面朝上的世界并不比反面朝上的世界更接近或更远离。对Lewis来说，“如果硬币被抛出，它将正面朝上或反面朝上”是真的，但这并不意味着“如果硬币被抛出，它将落在正面”，或“如果硬币被抛出，它就会反面朝上”。
=== 其他考虑===
=== 其他考虑===