The application of harmony to logic may be considered a special case; it makes sense to talk of harmony with respect to not only inferential systems, but also conceptual systems in human cognition, and to type systems in programming languages.
把和谐应用于逻辑可以被当作是一种特殊情况；谈论和谐不只有关推理系统才有意义，还有在人类认知中的概念系统，和编程语言中的类型系统。