Paraconsistency: Towards a tentative interpretation

In this expository paper, we examine some philosophical and technical issues brought by paraconsistency (such as, motivations for developing a paraconsistent logic, the nature of this logic, and its application to set theory). We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.

[1]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[2]  Gaisi Takeuti,et al.  Quantum Set Theory , 1981 .

[3]  W. Heisenberg,et al.  Physics and Philosophy , 1943, Nature.

[4]  Newton C. A. da Costa,et al.  What is Semantics? A Brief Note on a Huge Question , 1995 .

[5]  Newton C. A. da Costa,et al.  Paraconsistent logic in a historical perspective , 1995 .

[6]  Otávio Bueno,et al.  Consistency, Paraconsistency and Truth: Logic, the Whole Logic and Nothing but 'the' Logic , 1996 .

[7]  J. Bell.  On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[8]  C. Lewis.  Alternative Systems of Logic , 1932 .

[9]  Erwin Schrödinger.  Science And Humanism , 1951 .

[10]  H. Weyl,et al.  Philosophy of Mathematics and Natural Science , 1950 .

[11]  Nicolas Bourbaki,et al.  Theory of sets , 1968 .

[12]  V. S. Subrahmanian.  On the Semantics of Quantitative Logic Programs , 1987, SLP.

[13]  J. Lukasiewicz,et al.  On the Principle of Contradiction in Aristotle , 1971 .

[14]  William Kneale,et al.  The development of logic , 1963 .

[15]  Benson Mates,et al.  The Development of Logic. , 1986 .

[16]  Roberto Giuntini,et al.  Paraconsistent quantum logics , 1989 .

[17]  Yu. I. Manin,et al.  Course in mathematical logic , 1977, Graduate texts in mathematics.

[18]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[19]  F. Ramsey.  The foundations of mathematics , 1932 .

[20]  Ayda I. Arruda,et al.  A survey of Paraconsistent Logic (1) , 1980 .

[21]  G. Takeuti.  Two Applications of Logic to Mathematics , 1978 .

[22]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[23]  Newton C. A. da Costa,et al.  Aspects of Paraconsistent Logic , 1995, Log. J. IGPL.

[24]  N.C.A Costa,et al.  On paraconsistent set theories , 1992 .