词条 | 超协调描述逻辑 |
释义 | 超协调描述逻辑是一种能包容逻辑矛盾的描述逻辑。 超协调描述逻辑是非经典描述逻辑的一个重要分支。它是能够容纳矛盾但是从矛盾却不能推出一切的逻辑理论。超协调描述逻辑是关于从矛盾不能推出一切的理论。它限制或者否定了经典描述逻辑中矛盾律作用的普遍性,主张能够容纳矛盾的逻辑系统。但是,它又认为从矛盾不能推出一切,矛盾不能任意扩散。因为,如果包含矛盾的理论中,从矛盾又能推出一切,就会导致一个系统变得不足道或者没有意义。所以,经典描述逻辑中的邓斯-司各脱定理在弗协调逻辑不再有效。 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。