在逻辑学中, 和谐 (或者说逻辑和谐) 是指切规则和恒同规则都是可容许规则这一性质.
它保证逻辑的局部一致性, 即对于每个逻辑连接词它自身的规则都是一致的. 与之相对的是全局一致性, 也就是一般所谓的一致性, 就是整个逻辑系统自身不矛盾的性质.
术语翻译
逻辑和谐 • 英文 logical harmony