性(一致性)的不满足。发明次协调逻辑的主要动机是坚信，应该有可能以受控和区分的方式，对这些含不一致的信息的系统进行推理。ECQ排除了这一点，因此必须放弃。
形式语义.语义悖论，特别是自引用，提供了质问经典逻辑的形式根据。考虑说谎者悖论（这里的"<"L">"表示"L这个命题"）:看起来它说的事情同于（这种推理基于几个相当似是而非的但公认不是无懈可击的前提，关于双重否定除去的和在<"P">和"P"之间联系--就是说在命题和命题所对应的事态之间的联系。粗略的说，我们称这种关系为"真理