我们应该谈论一致性还是一致性？

Question

总是或绝对经常受过良好教育和专业的合作伙伴我谈论一致性（即我们不应该证明某些事情是错误的）......但我提出了一些反例。说谎的一切似乎是“一致的”但不一致。因此，我建议在谈论语言时我们应该谈论一致性，因为一致性似乎更多地是关于纯逻辑。我们能否稍微详细说明这个话题，因为更多的重点是一致性而不是一致性？ 谢谢

Answer 1

您的问题适用于哪些背景？

通过严格遵守标记问题的方式，我假设您打算一般性地讨论编程语言。但是我很少看到编程 languages 在一致性方面谈到，事实上，我很难理解你的例子（这个二元真值 - 虚假划分的想法）是如何适用于设计的编程语言。

总的来说，是的：逻辑学家可能会谈论一致性和一致性。但是，设计模式，编码标准，甚至语言架构/设计等主观标准与一致更为重要，因为没有通用或“正确”的实施方式它们。

除此之外，我不确定一致性如何解决你说谎的反例。当然可以就谎言或任何类型的错误前提达成协议。即使将同余的抽象定义定义为对象之间的相似性，我也认为一致的谎言缺乏对称性的理由不足。

当然，我们可以对真理的本质及其与形式逻辑的具体关系进行冗长的讨论，但这在本文中显然是偏离主题的。