7th World Congress of Paraconsistency

Paraconsistent logic is a family of theories on what can be logically concluded from contradictions, different from the family of theories according to which contradictions entail everything. By touching on core areas of theoretical inquiry, such as truth, falsity, logicality, negation, or rationality, paraconsistent logic has opened new research directions in philosophy, science, and technology.

Within the tradition of previous world congresses on paraconsistency, WCP7 aims to show the importance of paraconsistent logic, its connection with other knowledge domains, and the variety of approaches to the topic.

Keynote speakers

• Eduardo Barrio, Universidad de Buenos Aires
• Diderik Batens, Ghent University | Batens Symposium
• Verónica Borja Macías, Universidad Tecnológica de la Mixteca
• Katalin Bimbó, University of Alberta
• Elena Ficara, Universität Paderborn
• David Gaytán, Universidad Autónoma de la Ciudad de México
• João Marcos,  Universidade Federal de Santa Catarina

Tutorials

• “Symbolization of contradiction”, Jean-Yves Béziau and Caroline Pires Ting
• TBA, Bryson Brown
• “Recent work on paraconsistent logic”, Luis Estrada-González 

Venue

The Seventh World Congress of Paraconsistency will take place at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico).

We welcome contributions on the different aspects of paraconsistency. Topics include but are not limited to the following:

• Particular systems of paraconsistent logic

•  General tools and frameworks for paraconsistent systems

•  Interactions of paraconsistent logic with other logics

•  Philosophical issues in paraconsistency

• Applications of paraconsistent logic

•  History of paraconsistent logic

• Paraconsistency and computation.

There will also be a half-day symposium within WCP7 celebrating the 80 years of Diderik Batens. Any submission on the scope of Diderik's wide interests (adaptive logics, rationality, problem-solving processes, defeasible reasoning, logical dynamics, set theory, proper semantics, etc.) is most welcome.

Submissions should be anonymized 300- to 700-word abstracts and be sent to [email protected], indicating clearly in case it is intended for the Batens' symposium. Contact details, including paper title, affiliation, and email address, should be submitted as a separate PDF.

All submissions will be anonymously refereed. 

Some contributions may be accepted for presentation in a poster session.

Important dates

EXTENDED Submission deadline: April 1, 2024!