蕴涵 - The mini wiki

前提是有助于形成论证主体的真或假陈述，从逻辑上讲，它会导致有效性蕴涵。前提对其主题进行声明性陈述，使读者可以同意或不同意所讨论的前提，并在这样做时理解论证的逻辑假设。如果一个前提在逻辑上是假前提的，那么从论证的所有前提得出的结论也一定是错误的—除非结论得到读者同意的逻辑上有效性的论证的支持。因此，如果读者不同意论证的任何前提，他们就有逻辑基础拒绝论证的结论。

哲学中，随附性是指性质与集合间的依存关系。根据标准的定义，一个由性质所构成的集合A和一个由性质所构成的集合B之间具有随附性，当且仅当对于任何两个东西x和y来说，如果x和y都具有B所包含的所有性质，那么x和y也会具有A所包含的所有性质。也就是说，一组性质A随附于一组性质B，当且仅当相对于B的不可区分蕴涵相对于A的不可区分。在这种情况下，B所包含的性质称为基本性质；A所包含的性质称为随附性质。如果两个东西所具有的随附性质不同，它们所具有的基本性质也不会一样。给一个简化的例子，如果人的心理性质随附于人的物理性质，那么当两个人在物理上是不可区分的的时候，他们在心理上也会是不可区分的。而当两个人在心理上不同时，他们在物理上也不会一样。重要的是，随附性的定义并不蕴涵与上述相反的例子会成立：即使心理性质随附于物理性质，也不蕴涵两个拥有不同的物理性质的人会拥有不同的心理性质，亦不蕴涵两个在心理上不可区分的人在物理上也会是不可区分的。因此，即使心理性质随附于物理性质，基于物理性质上的心理性质的多重实现依旧是可能的。

苏格拉底式质疑，是一种有结构的疑问句方式，可用于探索许多方面的思想，包括探索复杂的想法、了解事物的真相、解决问题和问题、揭示假设、分析概念、区分我们所知道的和我们不知道的东西、跟踪思想的蕴涵或控制讨论。

相干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑逻辑，它在蕴涵上施加了特定限制。

文字蕴涵在自然语言处理是一个文字片段之间的定向关系。拥有一个文字片段的含意时，可以从另一个文字如下关系。TE的框架中，将会导致必须需要的文本被称为文本和假设作为分别。文字蕴涵是不一样的纯逻辑蕴涵，它有一个更宽松的定义："T推导到H"，通常情况下，如果一个人阅读T将推断为H是最有可能的正确的关系。文字蕴含关系是有方向性的，如正向的"T推导到H"或反向的"H推导到T"。