Paraconsistency: The Logical Way to the Inconsistent: Proceedings of the World Congress Held in São Paulo

Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications. Part I: Paraconsistency and Systems of Paraconsistent Logic 1. A Taxonomy of C-Systems [Walter A. Carnielli and João Marcos] 2. Paraconsistent Classical Logic [Bryson Brown] 3. The Logic of Opposition [F. G. Asenjo] 4. Categorical Consequence for Paraconsistent Logic [Fred Johnson and Peter W. Woodruff] 5. Ontological Causes of Inconsistency and a Change-Adaptive, Logical Solution [Guido Vanackere] 6. An Adaptive Logic for Pragmatic Truth [Joke Meheus] 7. A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic [Ana Teresa Martins, Marcelino Pequeno, and Tarcísio Pequeno] 8. An Inductive Annotated Logic [Newton C. A. da Costa and Décio Krause 9. On NCG_\omega: A Paraconsistent Sequent Calculus [José Eduardo de A. Moura andItala M. Loffredo D'Ottaviano] Part II: Paraconsistency as Related to Other Logics 10. A, Still Adorable [Robert K. Meyer and John K. Slaney] 11. Fuzzy Relevant Logic [Graham Priest] 12. On Some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics [Diderik Batens] 13. The Dialogical Dynamics of Adaptive Paraconsistency [Shahid Rahman and Jean Paul van Bendegem] 14. An Inconsistency-Adaptive Proof Procedure for Logic Programming [Timothy Vermeir] 15. Referential and Inferential Many-Valuedness [Grzegorz Malinowski] 16. When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames [Marcelo Finger] 17. Beyond Truth(-Preservation) [R. E. Jennings and D. Sarenac] 18. Paraconsistency in Chang's Logic with Positive and Negative Truth Values [Renato A. Lewin and Marta S. Sagastume] 19. Fault-Tolerance and Rota-Metropolis Cubic Logic [Daniele Mundici] 20. The Annotated Logics OP_{\mathrm{BL}} [Guillermo Ortiz Rico] 21. Definability and Interpolation in Extensions of Johansson's Minimal Logic [Larisa Maksimova] Part III: Philosophical Aspects of Paraconsistency 22. Toward a Mathematics of Impossible Pictures [Chris Mortensen] 23. Ambiguity Is Not Enough [B. H. Slater] 24. Are Paraconsistent Negations Negations? [Jean-Yves Béziau] 25. On the Role of Adjunction in Para(in)consistent Logic [Max Urchs] 26. Between Consistency and Paraconsistency: Perspectives from Evidence Logic [Don Faust] 27. Kinds of Inconsistency [Gregory R. Wheeler] 28. Paraconsistent Logic vs. Meinongian Logic [Jacek Pásniczek] 29. Can a Paraconsistent Theorist Be a Logical Monist? [Otávio Bueno] Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of various major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications. This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features. This title represents an integrated discussion of all major topics in the area of paraconsistent logic, highlighting philosophical and historical aspects, major developments and real-world applications In the dawn of the XXI century, debates on the statute of contradiction in logic, philosophy and mathematics are still likely to raise the most diverse and animated sentiments.