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
● 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