我们应该谈谈一致或一致吗？

Question

始终或绝对最常见的教育和专业合作伙伴，我与谈论一致性（即我们不应该证明某些错误）......但我建议有点一个反例。撒谎似乎一切似乎是“一致”，但不是一致。因此，我建议在谈论语言时应谈论当一致性似乎更多关于纯粹逻辑时的一致性。我们可以详细说明这个话题一点，因为仍然更加强调是比一致性的一致性？ 谢谢

Answer 1

您的问题是什么意思申请？

严格观察您的问题标记的方式，我认为您的意思是谈论一般的编程语言。但我很少看到编程语言在一致性方面谈论，实际上，我努力了解你的榜样（这对二进制真理 - 虚假划分）都适用于设计编程语言。

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

除此之外，我不确定同时如何解决您的撒谎的例子。当然，可以就谎言或任何类型的错误前提有关。即使在对象之间的摘要定义为相似性，我看到一致的谎言缺乏对称性的良好理由。

当然，我们可以漫长地讨论真理的性质，以及与正式逻辑的具体关系，但这将清楚地偏离课题。