Atlas home || Conferences | Abstracts | about Atlas
Host: Hotel Canto da Praia
Sponsor: Association for Symbolic Logic (ASL), Brazilian Logic Society (SBL), Centre for Logic, Epistemology and the History of Science (CLE) at the State University of Campinas (Unicamp)
Homepage: http://logica.cle.unicamp.br/wcp/wcp2000.htm
Email: wcp2000@cle.unicamp.br
Organizers: Itala M. L. D'Ottaviano (Unicamp, Brazil, Co-Chair), Walter Carnielli (Unicamp, Brazil, Co-Chair), Marcelo E. Coniglio (Unicamp, Brazil), Daniel Durante P. Alves (Unicamp, Brazil), Joao Marcos (Unicamp, Brazil)
Description:
During the 1940s and 1950s, Stanislaw Jaskowski and Newton da Costa
independently showed that inconsistency in a logic need not be identified with triviality.
They devised formal logics to serve as bases of inconsistent yet non-trivial theories.
The study of these paraconsistent calculi, as they have been called since the 1970s, has evolved into a highly complex enterprise. Philosophy, the foundations of mathematics, computer science, theoretical modern physics, linguistics, and the numerous branches of logic have been influenced by it. In 1991, Mathematical Reviews started a new section (03B53) with the name "paraconsistent logic".
This is the second conference in a series. The first was the I World Congress on Paraconsistency held in Ghent, Belgium, July 29 to August 3, 1998, (see I World Congress on Paraconsistency) which was preceded by the Jaskowski Memorial Symposium held in Torun, Poland from July 15 to July 18, 1998 (see Jaskowski Memorial Symposium). We hope that WCP '2000 will give scholars another opportunity to debate their ideas about the many fields of paraconsistency.
The conference welcomes contributions in all aspects of paraconsistent logic and paraconsistency, including theoretical foundations, proof theory, model theory, algebraic aspects, historical and philosophical aspects, implementation techniques, systems development and applications.
Date received: October 19, 1999
© 2008 Atlas Conferences Inc.