即不矛盾律是普遍有效的。作为这一原则的重要体现，经典逻辑中有这样一条定理：八～A—。直观地说就是：矛盾蕴涵一切。这与人们的直觉以及科学理论中推理的实际相去甚远。例如，在素朴集合论中，即使存在像罗素悖论、康托尔悖论这样的矛盾，但是实际上在悖论发现之前并没有由此推出一切。由此人们自然地可以产生一个重要的非经典逻辑思想：取消不矛盾律的普遍有效性，限制矛盾的作用范围。一般把在这一思想指导下建立的逻辑系统称之为弗协调逻辑(Paraconsistent Logic)系统。弗协调逻辑思想的萌芽可以追溯到古希腊时代。伟大的哲学家亚里士多德就曾经设想过不矛盾律不普遍有效的逻辑。近代波兰逻辑学家卢卡西维茨和瓦西里耶夫也论述了逻辑与几何的相似，认为几何中有欧氏几何和非欧几何，那么逻辑也应该有承认不矛盾律的经典逻辑和不承认不矛盾律的非经典逻辑，并建议建立不承认不矛盾律的弗协调逻辑J。我国学者沈有鼎先生也曾经设想建立“使矛盾局部化”的弗协调逻辑系统。巴西逻辑学家科斯塔(N．......