次协调逻辑及其带来的逻辑哲学问题

摘要

次协调逻辑在人工智能领域的应用卓有成效.它可以在系统中容忍不平庸的矛盾,同时又限制这种矛盾使之不会在系统中扩散,从而使得"矛盾可以推出一切"的后果不会在系统内发生.这个目标是依靠弱化否定词的经典含义和削弱矛盾律的作用,从而限制斯哥特规则的作用范围来实现的.文章试图在阐明次协调逻辑基本机制的基础上,将次协调逻辑放在与非经典逻辑、逻辑真理观以及哲学辩证法相联系的层面上,对由此而带来的逻辑哲学问题作进一步的解析.