7th World Congress of Paraconsistency

September 2, 2024 - September 7, 2024
Instituto de Investigación en Humanidades, Universidad Benito Juárez de Oaxaca

Av. de la Independencia 901, RUTA INDEPENDENCIA, Centro, 68000 Oaxaca de Juárez, Oax.
Oaxaca de Juárez 68000

View the Call For Papers


  • Institute for Philosophical Research-UNAM
  • Graduate program in Philosophy of Science-UNAM
  • Mexican Academy of Logic
  • Lógica Universalis Association
  • Nicolaus Copernicus University in Toruń


Universidad de Buenos Aires (UBA)
University of Ghent
University of Alberta
University of Cologne (PhD)
Universidade Federal do Rio Grande do Norte


National Autonomous University of Mexico
National Autonomous University of Mexico (PhD)

Topic areas

Talks at this conference

Add a talk


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


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


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!

Supporting material

Add supporting material (slides, programs, etc.)




August 30, 2024, 9:00am CST

RSVP below

Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.