总是或绝对最经常与我交谈的受过良好教育和专业的合作伙伴谈论一致性（即我们不应该能够证明错误的东西）......但我提出了一些反例。对每件事都撒谎似乎是“一致的”，但并不完全一致。因此，我建议当一致性似乎更多地是关于纯逻辑时，我们应该在谈论语言时谈论一致性。我们能否详细说明一下这个主题，因为仍然更加强调一致性而不是一致性？谢谢
问问题
711 次
1 回答
1
您的问题适用于什么情况？
通过严格观察您的问题被标记的方式，我假设您打算谈论一般的编程语言。但是我很少看到关于一致性的编程语言，事实上，我很难理解你的例子（这个二元真假划分的想法）是如何适用于编程语言的设计的。
一般来说，是的：逻辑学家可能会谈论一致性和一致性。但更重要的是设计模式、编码标准甚至语言架构/设计等主观标准保持一致，因为没有通用或“正确”的方式来实现它们。
除此之外，我不确定一致性如何解决你说谎的反例。当然，可以就谎言或任何类型的虚假前提达成一致。即使将一致性抽象定义为对象之间的相似性，我也看不出有什么理由可以证明一致的谎言缺乏对称性。
当然，我们可以对真理的一般性质及其与形式逻辑的具体关系进行冗长的讨论，但这显然是题外话。
于 2011-02-11T03:30:06.040 回答