NEW DIRECTIONS IN PARACONSISTENT LOGIC

Proceedings of the 5th World Congress on Paraconsistency
Kolkata, India, February 2014

Edited by J.-Y. Beziau, M. Chakraborty and S. Dutta

Springer, India, 2016


● Newton da Costa, Foreword

● J.-Y.Beziau, M.Chakraborty and S.Dutta, Preface


FIRST PART : TUTORIALS

● Diderik Batens, Tutorial on Inconsistency-Adaptive Logics

● Jean-Yves Beziau, Round Squares are no Contradictions - Tutorial on Negation, Contradiction and Opposition

● Walter Carnielli and Abilio Rodrigues, On the Philosophy and Mathematics of the Logics of Formal Inconsistency


SECOND PART : MANY-VALUED  PARACONSISTENT LOGIC

● Ofer Arieli and Arnon Avron Three-Valued Paraconsistent Propositional Logics

● Jean-Yves Beziau and Anna Franceschetto , Strong Three-Valued Paraconsistent Logics

● J. Nescolarde-Selva and J.L. Usó-Doménech, Evalutaion by complex truth values in strong paraconsistent multivalued logic

● Sourav Tarafder and Mihir K. Chakraborty, A Three-valued paraconsistent logic suitable for a paraconsistent set theory

● Esko Turunen, Two Consistent Many Valued Logics for Paraconsistent Phenomena


THIRD PART : PARACONSISTENCY AND MODAL LOGIC

● Marek Nasieniewski and Andrzej Pietruszczak On modal logics defining Jaskowski-like discussive logics

● Davide Ciucci and Didier Dubois , From Possibility Theory to Paraconsistency

● Christian de Ronde, Modality, Potentiality and Contradiction in Quantum Mechanics


FOURTH PART : TOOLS AND FRAMEWORK

● Soma Dutta and Mihir K. Chakraborty, Consequence-inconsistency interrelation: in the framework of paraconsistent logics

● Vladimir L. Vasyukov, Univalent Foundations of Mathematics and Paraconsistency

● Tomasz Jarmuzek, A method of defining paraconsistent tableaus

● Diderik Batens, Some Adaptive Contributions to Logics of Formal Inconsistency

● Bryson Brown, Stipulation and Symmetrical Consequence

● Ross T. Brady, Logic - The Big Picture

● Luis Estrada, The evil twin: The basics of complement-toposes

● Can Baskent, Topological Semantics for da Costa Paraconsistent Logics Cw and Cw*


FIFTH PART : PHILOSOPHICAL ASPECTS AND APPLICATIONS OF PARACONSISTENT LOGIC

● Ashish Bakshi and Kuntal Ghosh, Perceiving and Modelling Brightness Contradictions through the Study of Brightness Illusions

● Otávio Bueno, Truth, Trivialism, and Perceptual Illusions

● Andrzej Wisniewski, Permittance, Inconsistencies, and Question Raising

● Frode Bjordal, On the Type Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and specifically on why £ is neither Inconsistent nor Contradictory nor Paraconsistent

● Graham Priest, None of the Above: the Catuskoti in Indian Buddhist Logic

● Fabien Schang, Eastern proto-logics


World Congresses  on Paraconsistency