One key matter we meet when classical logic is used in analysis and information mining to massive knowledge system is the problem of Scotus Law. Up to the present, the existent resolvents are far from our logical intuition. This paper gives a new strategy ——to build an intuitive implication logic system, D, in which: (I) the property of implication should be in accordance with intuition; (II) the fundamental laws of classical logic should be reserved; (III) the properties of negation and conjunction should not be changed; (IV) Scotus Law should not generally hold. Then, basing on the strict formal semantics, we demonstrate the soundness and consistency of system D.

Intuitive Implication Logic System

In this article by the skill of N.C.A da costa paraconsistent logic system is regarded as basis to analyse the logic connection between proposition A and negation of paraconsistent logic A,difference between contradiction of paraconsistent,law of contradiction and contradiction of classical logic,law of contradiction.It points out that N.C.A da costa paraconsistent logic is not true meaning of paraconsistent logic.But N.C.A da costa paraconsistent logic is important in the theory of non-classical logic,as non-Eudidean geometry and Eudidean geometry.

DU Guo-pin

Papers

Paraconsistent Logic in the Field of Classical Logic