A Tentative Analysis On The Paraconsistent Logic

The paraconsistent logic belongs to the unusual non- classical logic. Owing to its revision of the negation of classics, as well as its establishment of relative restrictive rules to the law of contradiction and to Scotus rule, the paraconsistent logic loses its universal validity in the system; thus enabled this logical system to have different and remarkable special nature from the classical logic (and its expansion): It'is not absolutely consistent, but relatively consistent; its negation acknowledges not only the contradiction of A and A , but also the overlap of A and A; Its reinterpretation of the contradiction enables it to have the natural relation with the dialectical spirit; contradiction may enter the system, but not all, for only those with syntactic significance can, because they would not disseminate unlimitedly and thus cause the rational collapse of the system; the classical logical proposition system has become its basic system and so on.The four parts of this article attempts to carry on a original, historical, and philosophical probe into the paraconsistent logic:The first part makes brief statements on the theory motive and realistic prototype. Firstly, discusses its theory motive mainly according to inspection of the law of excluded middle and the law of contradiction by Brouwer and Lukaseivicz, as well as the relativity of necessity of logical truth. Next, discusses in detail its realistic prototype from aspects of mathematics and philosophy (including dialectical theory, Meinong ontology, and fuzziness) according to that logic originates from real world and people's experience.The second part mainly elaborates the theoretic argument and the establishment process of paraconsistent logic. As to the theoretic argument, mainly introduces D.Branddon's non- standard possible world theory with some of author's analyses added;and for its establishment process, introduces the pre-formation shape of paraconsistent logic, that is, the "imaginative logic" of A.Vasil'ev and the "discussive logic" of Ja'skowski.The third part is an introduction to the deductive system of paraconsistent logic, its semantic valuation, and its mature division. And the author point out that the standpoint of paraconsistent does not make us get into logical confusion.The fourth part makes deep study of the philosophical significance of, paraconsistent logic. Embarking from view of grand logic, discussion of the philosophical significance of paraconsistent logic is unfolded on the level of non-classical logic, logical truth, problems of contradiction, as well as new pattern of science; and states that the philosophical questions brought by paraconsistent logic is positive.