日报标题：一粒谷子不算谷堆，那两粒呢，三粒呢，n+1 粒呢？ 堆垛悖论：如果我们承认以下两个前提，那么谷堆就不存在： 一粒谷子不构成谷堆，并且 如果 n 粒谷子不构成谷堆 那么 n+1 粒谷子也不构成谷堆。 类似的还有： 世界上没有秃头，因为： 一个非秃头不是秃头，并且 一个非秃头少了一根头发也不是秃头。 世界上没有富翁，因为： 只拥有一分钱的人不是富翁，并且 如果一个人不是富翁，那么他多拥有一分钱也不是富翁。 所有单色可见光都是红色的，因为： 波长为 750nm 的光是红色的，并且 由于人眼无法区分两束波长差小于 1nm 的单色可见光的颜色，所以如果一束光是红色的，那么这束光的波长即便再少 1pm，它也是红色的。 知乎用户，各类提醒已关，不要期待回复。 对于堆垛悖论的谷堆和秃头情况有一个常见的误解：堆垛悖论的前提是不成立的，因为，是否构成谷堆和摆放的方式有关，100000 粒谷子平摊在地上，自然不构成谷堆，但是 100001 粒谷子堆起来就构成谷堆了呀喵~ ＞▽＜ 因此，这里的「构成」，并不是指一种实际上的情况，而是指所有的情况：如果，n 粒谷子在所有可能的摆放情况下都不构成谷堆，那么 n+1 粒谷子在所有可能的摆放情况下也同样不构成谷堆。 为了方便，不如作出这样的限定：在堆垛悖论中，我们总是考虑一个特定的变化过程，比如说，一根一根地拔掉某个人的头发，一粒一粒地堆出一个谷堆……这样的一个变化过程是一个确定的变化过程，假设一个人有 n 根头发，那么就有 共 n+1 个确定的状态，并且，每两个状态都是如此相似，以至于我们无法区分这两个状态。 这一类论证的通用形式如下： 对于某个充分大的，我们有一列，我们考虑的属性是 P，并且对于这个属性，有如下两点成立： ，并且， 。（注意到，在有穷的情况下，一个全称语句可以视作若干个无量词句的合取。） 因此，。 但是显然，根据我们日常用语言的使用方式， 。 解决尝试及其问题 对于问题的处理，一共有三类： 否定前提 / 否定推理 否定翻译 接受悖论 1. 否定前提 / 否定推理 1.1 划界方案 第一种解决方案是直接划定界线。这种方案在法律制定中最为常用，比如说，我国法律规定盗窃公私财物「数额较大」、「数额巨大」、「数额特别巨大」的标准分别为： 价值人民币 500 元至 2000 元以上的，为「数额较大」。 价值人民币 5000 元至 2 万元以上的，为「数额巨大」。 价值人民币 3 万元至 10 万元以上的，为「数额特别巨大」。 通过这种方式，将模糊谓词「数额较大」、「数额巨大」、「数额特别巨大」变成了精确谓词。进而，使得条件句 对于某个特定的 i 不成立，比如在这里「如果一个人盗窃财物数额特别巨大，那么再少一元也是特别巨大」在当前金额为三万整的时候就不再成立。 类似的情况还出现在对于可见光的规定中： 紫色 668–789 THz 380–450 nm 靛色 631–668 THz 450–475 nm 蓝色 606–630 THz 476–495 nm 綠色 526–606 THz 495–570 nm 黃色 508–526 THz 570–590 nm 橙色 484–508 THz 590–620 nm 紅色 400–484 THz 620–750 nm 划界虽然可以解决问题，但是划界本身是随意的。以法律为例，不同国家的法律对于盗窃金额以及量刑等级的划分方式都有差异，这种差异不仅体现在具体界线的金额上，还是体现在界线的数量上。一个简单的划界并不具有说服力，而仅仅是一个出于实践的便利而采用的权宜之计。因此，我们可以进一步追问，为什么要划定这样的界线？是否存在非实践的理由驱使我们这样做？并且，由于人的认知精度有限，我们在特定情况下可能会问出这样的问题：「为什么明明 a 和 b 看不出差别，但是 a 具有 P 性质而 b 却没有？」在不回答这些问题之前，划界就不是一个好的方案，至少，不是一个完整的方案。以法律实践为例，即便我们假设法律本身是明确的，但是对于财产的价值估计在某种程度上依旧是任意的，这也就使得判决本身不可避免地带有运气的成分。以可见光为例，假设 100 次测量中，被测量单色光的波长有 49 次落在 590nm 以下，49 次落在 590nm 以上，2 次恰好为 590 nm，那么这束光是什么颜色的？而为什么，我们肉眼明明不能分别波长为 590.1nm 和 589.9nm 的光，但是它们却是不同颜色的？ 当然，还有人以另外一个理由主张划界本身是困难的。考虑堆垛和秃头悖论，沙子和头发的排列方式会产生影响：再多的沙子，如果是均匀地铺成薄薄的一层，也不能被称为沙堆；一个人的头发如果像地中海那样少了一半（或者更多），那么显然被称为秃子不足为过，但是如果均匀地少了一半，又或者，均匀地每九根只剩下一根，则大部分人或许根本看不出来，或者，仅仅是觉得稀疏了一些，而不会将其称为秃子。不过，根据前面的预设，这个理由并不能够构成一个很好的理由。因为我们考虑的是一个具体的把人的头发一根根去掉的具体过程，期间任意一个状态 和它相邻的状态 都只相差一根头发。并且，如果认为 的情况下这个人是秃头，那么在 的情况下这个人也必定是秃头（因为多拔掉了一根头发），相对地，由于认知不可分辨的假设，我们会认为，如果在 的情况下这个人不是秃头，那么在 的情况下这个人也不是秃头。同理，对于沙堆，我们可以考虑按照某个不使得沙堆倒塌的特定顺序依次拿掉沙子的情况。 因此，对于划界方案的唯一有力反驳还是界线本身的合理性。 1.2 认识论方案 认识论方案是一个耐人寻味的方案。它是对划界方案的改进，认识论方案认为，虽然存在一条界线，但这条界线并不是人为划定的，并且，由于认知能力的限制，我们没有办法知道这条界线在哪里。因此，仅仅是我们自己以为「对于任意的 」都是如此，但是实际上存在某个特定的 j，使得 和 有本质区别。 对于认识论方案有两种不同的理解： 对象的性质在某个地方发生了本体论意义上根本性的转变，但是由于认知精度的限制，我们无法认识到这种区别。 并不是每个增加一点点或者减少一点点的过程都是不可察觉的，存在这样的较为明显的分界点，但是由于可能的情况种类数目太多，我们无法逐一设想出每一种情况，进而即便有小的跳跃或者是突变，我们也无法察觉。 第一种情况似乎是常见的情况。至少对于光线来说，人由于自身的视觉精度限制，无法区分两种波长过于靠近的光。因此，认识不到界线似乎有可能就是因为人类自身能力识别精度不足导致的。当我们将大多数具体的论证列出来的时候似乎也是如此： 由于我们没有办法分辨多一粒沙和少一粒沙的沙堆，所以我们认为它们要么都是沙堆，要么都不是。 由于我们没有办法分辨多一根头发和少一根头发的人，所以我们认为他们要么都是秃子，要么都不是。 由于我们没有办法分辨两个身高相差 1nm 的人，所以我们认为他们具有完全相同的身高。 但是，以上论证都是基于同一个理由：如果 a 和 b 在我们所要考察的方面相似，那么如果 a 具有我们所要考察的性质 P，那么 b 也具有性质 P。 事实上这种替换的问题在于将相似（认知不可分辨）以某种方式和同一性等同起来，但是，相似性虽然具有自反性和对称性，却没有传递性。因此，认知不可分辨不能作为事实上对应性质完全相同的理由，进而，如果仅仅是以相似性作为理由，那么对于任意的 i，我们都推不出 。 然而，采用第一种观点的前提是承认本体论意义上的边界是存在并且明确的。但是，如果我们考虑到实际上这些概念是人脑创造出来的概念，那么我们就很难将这些概念的本体论层面和认识论层面区分开来。进而，上面支持认识论方案的理由就会变成反对认识论方案的理由：我们使用「红」、「大」、「秃顶」、「高」这些词汇的时候，本来就是在模糊的意义上使用的，换而言之，这种模糊是本体论意义上的，而不仅仅是认识论意义上的。 同时，我们似乎还会面临另一个问题，就是我们的词语同时有两个方面，一方面是一个二分性的「是」或者「不是」。而另一方面，我们的词语内部还有程度的区别，即「富有」可以分为「小康」，「富裕」，「富豪」，「富可敌国」不同的等级。这种困难就像是「不是论证的语句」和「坏的论证」之间的关系那样，在某种程度上是纠缠不清的。 当然，这种论证方式对于另一些概念是不成立的，比如说我们可以具体指出一个人拥有多少钱，这种情况下，无论差异多么细小，比如说相差 0.01 元的情况，我们也可以分辨出一个人「拥有 1000000 元」和「拥有 1000000.01 元」是不同的。从这个意义上来说，我们可以将堆垛悖论分为两类。当然，如果我们的确用语言去叙述，而不是去看一系列的一个人变成秃头的过程，那么似乎对于秃头悖论，我们也可以非常明确地区分这个人的两个状态。从这个意义上来说，这种不协调性实际上是概念和认知之间的不协调性，或者说，概念和印象之间的不协调性。 1.3 多值逻辑方案 基于前面对于程度的考虑，产生悖论的一个可能的原因是没有区分概念内部的不同程度，这种对于程度的不敏感最终导致了一个对象逐步演变为另一个和自身相去甚远的对象，进而引起荒谬感。另一方面，以沙堆为例，或许 4 粒沙子构成的正四面体构型沙堆就已经可以称为沙堆，仅仅是因为它非常小而已，所以事实上堆垛悖论本质上是关于堆垛的大小而不是关于是不是堆垛的讨论，但是如果我们能够成功地刻画堆垛的大小程度，那么悖论也就可以被解决了。 考虑多值逻辑的另一个理由是，一个群体中总有一部分对象不能被划归到两个极端中，总有一些「中等」或者说「不确定」的情况，这种情况的存在使得我们似乎既不能断定 P(a)，也不能断定 -P(a)。（在非数学环境下，命题前面的「-」表示否定） 基于后一种理由，我们可以考虑符合直观的三值逻辑，即承认一种情况，使得在这种情况下 P(a) 的值既不真也不假。而由于中间某个条件句前件为真而后件不确定或者前件不确定而后件为假，所以我们认为这个条件句的赋值也是不确定而不是真，进而，否定了前提。 类似地，多值逻辑还可以用来表示一个命题成立的「程度」，比如说，如果 X 有一百万，那么他就是百万富翁级的富有，而如果他有 1000 万，那么他就是千万富翁级的富有，进而 Rich(X) 在两种情况下取值不同。 但是，对于前面三值逻辑的运算规则，有一个非常不直观的地方，就是如果 p 的取值是不确定，那么 -p 的取值也是不确定，而由于逻辑的真值函项性， 的取值也只能是不确定，这样就否定了排中律。 同时，对于取有穷多个值的多值逻辑，由于取值必然是离散的，也就使得不同的程度之间有一个飞跃，也即划定了不同程度之间的界线，进而就会产生疑问：「为什么 a 和 b 那么相似，却被分入不同类别中，而 a 和 c 的差别如此大却被分入同一个类别中？」 这种质疑本质上和对于划界方案的质疑是一样的。并且，和三值逻辑中第三值「不确定」有着直观解释不同，离散的多值逻辑的运算规则会更加不直观，并且，似乎也没有办法很好地解决排中律不成立的问题。 1.4 模糊逻辑方案 多值逻辑的极致则是采取某种稠密甚至连续的取值，可以引入模糊逻辑中的模糊集和隶属度的概念。通过连续赋值，可以解决多值逻辑中离散量分类产生的不连续的飞跃。但是，模糊逻辑并不能解决排中律不成立的问题。并且，模糊逻辑的演算规则同样非常不直观。 虽然从直观上来看，模糊逻辑应该满足如下运算规则： . . . 但是，如果我们假定 A 的头发严格比 B 多。(p)「A 为秃头」的真值为 0.6，(q)「B 为秃头」的真值为 0.7，那么直觉上 的真值至少应该很高。但是如果我们认为 等值于 ，那么，这一句几乎必然真的句子的真值却只有 0.7。（貌似这个例子不是很好，不过，如果分别是 0.45 和 0.55 的话，那么这个蕴含句的真值就只有 0.55，0.4 和 0.6 的情况下也仅有 0.6。） 个人认为，上面那个反驳本质上和排中律的问题是一样的，因为无论我们对 p、q 怎么赋值，只要 V(p) > V(q)，那么 V ( ) 就大于 0.5。如果将这里的模糊值理解为正确的概率，那么就可以接受了。而当 V(p) 和 V(q) 的差值一定的时候，它们的取值越是倾向两边，则越 的值越大（趋近于 1）。这是因为，越是趋于中间，则体现出我们的判断越不确定，进而，出错的可能性越大。但是如果我们认定了 V (p) > V (q)，那么对 判断出错的可能性还是低于 0.5。但是无论如何，这种解释的说服力不够，并且，当我们考虑模糊逻辑本身的发展历程的时候，就会发现模糊逻辑本身作为解释而言常常是不好的（由于反直观地不承认排中律），它的价值大多在应用上。 1.5 群体判断方案 在前面的判断中，我们都假设这个判断是由一个人进行的，但是如果我们假定一个群体中的每个个体都有一个清晰的界线，那么我们可以通过将群体中的个体的界线综合起来，得到一个模糊函数。但是这种方案的问题在于，很多情况下对于每个个体来说，清晰的界线也是不存在的，甚至，一个一致的界线都是不存在的。因此，「让每个人做出判断”这一步甚至都可能无法完成，那么后面的“合理地将个人判断汇总起来」也就是空谈了。 这种方案想做的事情本质上和模糊逻辑方案是一致的，仅仅是为解决一个集体中个体对象的语言不能统一所采用的方法，但是这种方法并不能够解决个体的语言本身的问题。 1.6 超赋值方案 超赋值方案是在经典逻辑的基础上引入一个新的概念——超级真。 我们说一个命题是超级真的（），如果对于任意划界下的赋值 ，，其中 At 为原子命题集合，E 是一个划界集合。类似地可以定义超级假的概念：如果一个命题是超级假的，那么对于任意的赋值它都为假。而剩下的那些命题，我们说它们的真值是未定义的。 而通过将推理有效性的「保真」重新定义为「保超级真」，原来的论证是无效的，因为它不保超级真。又或者认为，这些论证的部分前提在某些划界标准下为真，而在另一些下面为假，因而是真值不定的。 从结果上来看，超赋值方案否认作为归纳步骤的前提，也即，否认 。但是，如果这句话翻译为「存在 j，使得 成立而 不成立」，那么这就是认为边界存在。 但是认为边界存在就会面临前面对于划界问题的质疑。而如果要避免这种质疑，就只能认为边界不存在，也即，接受一个存在命题，但却拒绝接受这个存在命题的任何代入特例。这显然是不直观的。 1.7 反对 cut 规则 经典逻辑中实际上有一条用于将短论证组合成长论证的规则。这条规则如下： 如果，，那么。 当然，对于不同强度的 cut 规则，作为中间项的可以不是一个命题，而是一个命题集合。 一个反对三值逻辑的理由是，三值逻辑加入不确定之后，没有办法很好地区分以下两个条件句： 如果 A 是秃头，那么他再多掉一根头发也是秃头。 如果 A 是秃头，那么他再多一根头发也是秃头。 但是，如果我们认为，实际上的推理模式并不是上面那样基于语句的模式，而是基于认知的模式——「由于我们无法分辨两个相邻的状态 和 ，因此我们认为 」，那么，我们就并不是在通过单纯的对于对象的语言描述来进行推理：虽然我们知道「如果 A 是秃头，那么他再多掉一根头发也是秃头」，但是对于呈现在我们面前的两个状态 a、a' 来说，我们根本就不知道哪个是 ，哪个是 。因此，我们没有办法采用这种推理模式。（事实上，如果我们有能力分辨 a 和 a'，那么条件句是否成立就不是那么显然的了。）此外，另一个辅佐相似性可以反驳简单逻辑推理的事例是，如果我们的推理模式中包含「如果 A 是沙堆，那么 A 再多 n 颗沙子也是沙堆」的推理模式，那么我们就无法理解为什么我们会把游泳池中的一个小沙堆称为沙堆，而不把填满游泳池的沙称为沙堆了。（注意到这里后者实际上是前者的一个严格扩充，是在没有改变前者的排列方式的情况下完成的，所以不存在改变排列的问题。）于是事实上我们赖以推理的模式还是相似性而不是单纯的数量关系。 认知不可分辨不是等价关系，因此，虽然我们有 和 ，但是我们未必会有 ，进而，无法使用前提 来得到 c 和 a 具有相同的性质。 但是，由于我们分别能够得到结论 以及 ，根据 biconsitional 算子的传递性以及组合论证的 cut 规则，我们能进一步得到 。但是这合理么？我们得到前面的结论，是因为我们处在只考虑 a 和 b 的状态中，这时，我们不能分辨他们两个。而我们得到后面的结论，则是因为我们处在只考虑 b 和 c 的情况下。但是我们的认知精度却有可能让我们分辨 a 和 c。将两个论证结合起来用到了 cut 规则，而在这种情况下，使用 cut 规则是显然不合理的：我们不能将两个不同语境中的论证的结论结合起来。 考虑这个论证：波长为 440nm 的光和波长为 442nm 的光颜色相同，波长为 444nm 的光和波长为 442nm 的光颜色相同。因此，波长为 440nm 的光和波长为 444nm 的光颜色相同。但事实上我们是能够分辨这两者的。或者，将前面的谓词视为「和波长为 442nm 的光颜色相同」，这样，我们就有「A、B 都和波长为 442nm 的光颜色相同」，但是「A、B 颜色不同」的结论。进一步，我们或许可以得到一个新的反直觉的规则：就算 a、c 分别和 b 在是否拥有 P 性上是同一的，但是由于这是基于各自语境的，所以我们不能认为 a、c 在是否拥有 P 性上是同一的。因为后面这个命题是一个应用了跨语境的 cut 规则的论证的推论。（这个推理有如下假定：人类能分辨波长差大于 3nm 的单色光，而不能分辨波长差小于 3nm 的单色光。注意到这个地方的数值并不重要，只是为了举例。） 如果我们在这里否定了 cut 规则，我们就要问，在什么情况下我们应该否定 cut 规则，或者，在什么情况下使用 cut 规则是合适的？显然，在跨语境的情况下使用 cut 规则是有风险的。而在保持语境单一的情况下（比如单一的数学语境中），使用 cut 规则就是安全的。但是进一步产生的问题是，如果我们否认日常语境中的 cut 规则，那是否意味着任何时候我们在日常生活中都不能进行长推理呢？如果不是，什么情况下日常生活中的语境是对 cut 规则安全的呢？ 原本我想到了一个技术性的答案，不过我现在考虑了另一个情况，就是，凡是涉及人类认知的语句，当我们进行长推理的时候都必须慎重，因为人类的知觉是不一致的，或者说，不协调的。比如说：我们对比下午两点和下午四点时同一个对象的影子，可以发现影子长度有一个明显的变化，但是我们如果盯着影子看，会感觉到「影子是不动的」。这个时候，虽然我们可以通过实际情况来修正我们的经验，但是我们依旧无法排除「影子是不动的」这个初始的经验判断。类似的情况还包括对于大多数连续细微变化的判断。但是，我们日常语言中包含了许许多多这类描述我们直接认知经验的语句，我们不可能排除这些语句，而只可能在觉察到异样的时候，回过头反省自己得到某个悖论的过程是否引入了一种跨语境的长推理。 2 否认翻译的理想语言方案 Russell 和 Frege 会认为，产生这个悖论是因为我们的自然语言有严重的缺陷。我们需要理想语言而不是自然语言。 事实上，对于不确定陈述，除了可以认为是语句本身的真值不确定，也可以认为是需要在在两个极端之间插入第三个摹状词，比如说「不高不矮」、「不胖不瘦」、「不贫穷也不富有」、「不红不黄」…… 当然，正如前面的三值逻辑那样，如果仅仅是添加谓词，只要谓词是有穷多个，那么不同的谓词之间的差别就依然存在。但是，如果我们采用连续的谓词，或者，采用一个以实数（事实上有理数就足够了）作为第二个变元的二元谓词呢？ 在这种情况下，我们并不将模糊性处理为原子命题真值的取值，而将其处理为另一种形式。以光线为例，我们并不说 Red(a)，而说 Red(a,0.7)。也即，将模糊性放在谓词上而不是命题上。同时，如果 ，那么 。 但是这种处理方式有一个问题： 如果我们进行划界，比如，认为 使得 ，那么就会产生和划界问题完全一样的后果。而如果我们不这样处理，那么实际上我们就是彻底否定了「红」这个谓词，而将它拆分成了连续的不同程度的红。或者说，仅仅是不同名称的色块，而不能告诉我们到底哪一块是日常语言意义上的红，而哪一块不是。但是，这种拆分是有意义的，至少从 trope 理论的角度上来说是这样。 此外，考虑到仪器必然会有精度限制，精确语言方案实际上是无法实行的：由于我们不可能找到没有误差的仪器，所以我们永远不能根据数值判断一个数值在边界上的对象到底属于哪一边，并且我们不能简单地接受这个对象属于某一边，因为如果下一次它被检测出属于另一边的话，那么它就同时具有 P 和非 P 两种性质，而这显然是矛盾的。并且物理学的结果告诉我们，这种检测错误是不可避免的。这就和前面划界方案面临的问题类似。 另一种精确语言方案支持 trope 理论，对于每一个 ，我们设计一个专门的谓词 来表达 的 P 性。但是如果我们采用这种方案，就会和上面一样丧失原本使用 P 这个谓词所要表达的概括性的作用。然而，这种方案可以视作一种对于语言的规范性重建，并且在事实上比前面的方案更为合适。 3 从语境主义的角度上接受悖论 接受结论就是按照字面上的意思：接受悖论。但是如果我们同时接受 和 ，那么我们的信念显然就是不一致的。因此，逻辑的规范性我们不应该接受悖论。而这个悖论本身的结构就保证了它在两个方向上都是成立的，因为如下两个命题是等价的： . . 也即，从一个方向上，我们会得到所有人都是秃头，而从另一个方向上我们会得到秃头不存在。 另一方面，以秃头悖论为例，如果我们真的考虑一个人一根头发都没有的情况，那么就不会说「如果他有一根头发不算秃头，那么就算他一根头发都没有也不算秃头」，而至少会出于情理说：「就算他有一根头发的时候不是秃头，当他一根头发都没有的时候也应该是秃头了」。 或者，考虑这样的情况：大多数情况下，我们不会把一个堆成正四面体状的四个等大球状沙粒称为沙堆，但是我们会说：「即便这种情况下四个依然构成沙堆，但是去掉一个也就无论如何都称不上堆了 」。又或者，考虑两个和一个的情况，「沙堆至少是复数个沙粒吧，两个怎么能称为沙堆呢？」虽然实际上我们不会认为两粒沙子和一粒沙子会构成沙堆，但是在特定的情况下，我们认为这构成了某种必要条件。因此，这可以视作不存在一个大边界，而仅仅存在一些特定的情况下存在一系列的小边界。因此语境主义的另一个方向是为超赋值方案提供辩护：我们有一个作为整体的边界，这个边界并不存在于任何两个对象之间，而是在不同的语境下出现在不同的位置上。 个人认为在特定语境下接受悖论是没问题的，但是一般来说并不是接受对于头尾两项的悖论，而是接受关于某个中间的项的悖论。根据语境主义解释，当我们说一个对象既可以视作 P 也可以视作非 P 的时候，是由于我们的语境不同，并且，永远都不是同时视作 P 且非 P，因此，这也并不构成矛盾——在每个将其视作 P 或者非 P 的语境中，我们都是一致的。而当我们转换语境的时候，实际上我们转换了头脑中的整套概念。就像是 Gestalt 图中，假设我们有一连串的从鸭子变成兔子的图片，那么对于正中间的那个图片，我们将其视作鸭子还是兔子，完全取决于我们是从鸭子开始看的，还是从兔子开始看的。甚至有可能，看到最后，我们会把鸭子的抽象画看成兔子，而将兔子的抽象画看成鸭子。这也不是不可能的。当然，我们不可能把实际上的兔子看成鸭子，也不可能把实际上的鸭子看成兔子。 结论 堆垛悖论不是一个悖论，而是一组悖论。在不同的情况下，导致悖论的原因是不同的，进而，解决悖论的方案也是不同的。在这里我考虑三个思路。 条件句成立的前提为两个状态的差别非常小，以至于认知不可分辨，并且假设对于所有的 i ，。但是认知不可分辨是语境依赖的，虽然在一个小范围内的对象是认知不可分辨的，但是通过 cut 规则进行推理会导致论域扩大，进而甚至包括两个认知可分辨的对象，从而导致矛盾。因此我们应该拒绝跨语境的 cut 规则。 针对认知可分辨的情况，拒绝接受前提中对应的条件句。根据超赋值方案，我们的理解可以是：每一个条件句都是真的，但是其中有很多不是超级真的。从某种角度上来说，接受界线的存在也不是不可以的，当然更好的理解方式是认为，界线被「稀释」成了一个一个的子界线，其中作为每个子界线的命题的可接受度都不为 1。但是引入可接受度就会导致排中律失效。因此讨论必须以另一套语词进行。 考虑语境，我们可以认为处于中间位置的元素同时具有两种属性，但却并不构成矛盾。而这一种思想推广到极致就是在特定的语境下接受结论。但是认为由于结论成立的语境不同，所以不构成矛盾。从形式上来说，并不是 F(a) 和 -F(a)，而是 F(a,c) 和 - F(a,c')。另一方面，也可以视作处于中间位置的元素同时具有两种属性。 阅读原文
