规则之间成立的特定约束，这样它才有意义，换句话说，它的推理规则是有意义建立的。把和谐应用于逻辑可以被当作是一种特殊情况；谈论和谐不只有关推理系统才有意义，还有在人类认知中的概念系统，和编程语言中的类型系统。这种形式的语义没有被证实对塔斯基的真理的语义理论形成巨大的挑战，但是很多哲学家感兴趣于用维特根斯坦的"意义是使用"的方式重建逻辑的语义，他们认为和谐是关键。
引用.Prior, Arthur. "The runabout inference ticket." "Anal