Logic List Mailing Archive

5WCP: World Congress of Paraconsistent Logic

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