逻辑和谐，由迈克尔·达米特命名，是对可以用于给定的逻辑系统的推理规则的假定约束。逻辑学家格哈德·根岑提议了逻辑连结词的意义可以用把它们介入到论述中的规则给出。例如，如果你相信“天是蓝的”并且还相信“草是绿的”，则你可以如下这样介入逻辑连接词“与”: “天是蓝的 AND 草是绿的”。Gentzen 的想法是拥有这样的规则就是对你的词语，至少对特定词语的给出意义的东西。这个想法也关联于维特根斯坦的格言，在很多情况下我们可以说意义是使用。多数当代逻辑学家偏好认为介入规则和除去规则对于表达是同等重要的。在这种情