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

Question

与我交谈的那些受过良好教育和专业的合作伙伴总是或多或少地谈论一致性(即我们不应该能够证明错误的东西)，...Yet我提出了一个反例。对所有事情撒谎似乎是“始终如一”的，但并不一致。因此，我建议我们在谈论语言时应该谈论一致性，因为一致性似乎更多地是关于纯粹的逻辑。我们能否详细说明一下这个主题，因为仍然更强调一致性而不是一致性？谢谢

Answer 1

您的问题适用于什么上下文？

通过严格观察你的问题的标记方式，我认为你的意思是泛泛地谈论编程语言。但我很少看到编程语言在一致性方面进行讨论，事实上，我很难理解您的示例(这种二元真假划分的想法)如何适用于编程语言的设计。

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

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

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