13-17 Feb 2013
Kolkata, India
5th World Congress on Paraconsistency Kolkata, India, Feb 13-17, 2014 http://www.paraconsistency.org/wcp5.html Aim of the Event. This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world. All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplnary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics. INVITED SPEAKERS Newton da Costa; Federal University of Santa Catarina, CNPq and Brazilian Academy of Philosophy, Brazil and Christian de Ronde, University of Buenos Aires / CONICET, Argentina and Center Leo Apostel, Belgium; "Quantum Physics and Paraconsistency" Soma Dutta; Institute of Mathematical Sciences, Chennai, India; "Consequence and Inconsistency: Paraconsistent Logics" Hartry Field; Dpt of Philosophy University of New York, USA and University of Birmingham, UK; "Restricted Quantification in Paraconsistent and Other Nonclassical Logics" JC Beall; University of Connecticut, USA and Northern Institute of Philosophy, University of Aberdeen, UK; "How we live without detachment and enjoy both transparent truth and classical mathematics" Diderik Batens; Centre for Logic and Philosophy of Science, University of Ghent, Belgium Andrzej Pietruszczak and Marek Nasieniewski; Department of Logic, Nicolaus Copernicus University, Torun, Poland; "Modal logics connected to Jaskowski's logic D2" Graham Priest; City University of New York, USA, University of Melbourne, Australia and University of St Andrews, Scotland; "The Adventures of the Catuskoti" Jean-Yves Beziau; Federal University of Rio de Janeiro, Brazilian Research Council and Brazilian Academy of Philosophy, Brazil; "Bohr, Heisenberg, Bohm and Paraconsistency" Greg Restall; Department of Philosophy, University of Melbourne, Australia Walter Alexandre Carnielli; Director of the Centre of Logic, Epistemology and History of Science - CLE, Dpt of Philosophy, University of Campinas - UNICAMP and Brazilian Research Council, Brazil; "Paraconsistent and fuzzy logics" Bryson Brown; Department of Philosophy, University of Lethbridge - Canada; "Symmetrical Preservation Relations and Cognitive Commitments" Didier Dubois; IRIT - CNRS, Toulouse, France; "From possibility theory to paraconsistency" *** CALL FOR PAPERS *** To submit a contribution send a one page abstract to: wcp5@paraconsistency.org. All talks related to paraconsistent logic are welcome, in particular those falling into the categories below. Artistic works related to paraconsistency are also welcome: pictures, paintings, music, movies, send your files to paraconsistency.wcp5@gmail.com. The deadline for submission is September 1st, 2013. SYSTEMS OF PARACONSISTENT LOGIC imaginary logic discussive logic C-systems logics of strong negation many-valued paraconsistent logics paraconsistent fuzzy logic classical paraconsistent logics dual-intuitionsitc logics paraconsistent quantum logics modal paracaconsistent logics non-monotonic paraconsistent logics paranormal logics deontic paraconsistent logic logics of formal inconsistency paraconsistent set theory paraconsistent relevant logics APPLICATIONS expert systems psychoanalysis medecine duality wave-particle geometry arithmetics linguistics and semiotics argumentation and discourses law and justice moral dillemas resolution of paradoxes GENERAL THEORY AND TOOLS definition of paraconsistency replacement theorem and paraconsistency cut-elimination and paraconsistency truth functionality and paraconsistency incompleteness and paraconsistency category theory, algebra and paraconsistency PHILOSOPHY the nature of negation the principle of non-contradiction fallacies contradiction and reality dialetheism contradiction and language contradiction and god opposition HISTORY Aristotle and non-contradiction Ex-falso sequitur quod libet Hegel's dialectic Vasiliev and non-Aristotelian logic Lukasiewicz and non-contradiction Contradiction and Tao Contradiction in Indian thought