射；双面真理说则相信逻辑命题属于四值概念（见相干逻辑）。要注意的是，这里无矛盾律的主张并非排中律，因为这个命题有真值。
集合论.集合论和高阶逻辑的罗素悖论也给出了不一致（次协调）的信息的系统。
问题.在经典逻辑中，句子的集合formula_1被称为是否定矛盾（不协调）的，如果对于某些句子formula_2，formula_3并且formula_4。在经典逻辑中，在逻辑语言内任何句子都可以从否定矛盾集合中推导出来。类似的模型理论性质对经典逻辑是成立的。这叫