New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014 (Springer Proceedings in Mathematics & Statistics Book 152)

La 4e de couverture indique : "The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics" Front Matter....Pages i-xi Front Matter....Pages 1-1 Tutorial on Inconsistency-Adaptive Logics....Pages 3-38 Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)....Pages 39-55 On the Philosophy and Mathematics of the Logics of Formal Inconsistency....Pages 57-88 Front Matter....Pages 89-89 Three-Valued Paraconsistent Propositional Logics....Pages 91-129 Strong Three-Valued Paraconsistent Logics....Pages 131-145 An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values....Pages 147-163 A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory....Pages 165-183 Two Consistent Many-Valued Logics for Paraconsistent Phenomena....Pages 185-210 Front Matter....Pages 211-211 On Modal Logics Defining Jaśkowski-Like Discussive Logics....Pages 213-228 From Possibility Theory to Paraconsistency....Pages 229-247 Modality, Potentiality, and Contradiction in Quantum Mechanics....Pages 249-265 Front Matter....Pages 267-267 Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics....Pages 269-283 Univalent Foundations of Mathematics and Paraconsistency....Pages 285-294 A Method of Defining Paraconsistent Tableaus....Pages 295-307 Some Adaptive Contributions to Logics of Formal Inconsistency....Pages 309-333 Stipulation and Symmetrical Consequence....Pages 335-352 Logic—The Big Picture....Pages 353-373 The Evil Twin: The Basics of Complement-Toposes....Pages 375-425 Front Matter....Pages 427-444 Perceiving and Modelling Brightness Contradictions Through the Study of Brightness Illusions....Pages 445-445 Front Matter....Pages 447-463 Truth, Trivialism, and Perceptual Illusions....Pages 445-445 Being Permitted, Inconsistencies, and Question Raising....Pages 465-476 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....Pages 477-507 None of the Above: The Catuṣkoṭi in Indian Buddhist Logic....Pages 509-515 Eastern Proto-Logics....Pages 517-527 ....Pages 529-552