Dissemination of advances in paraconsistent logic and its applications

• Grant number: 24/00683-5
• Support Opportunities: Scholarships in Brazil - Scientific Journalism
• Start date: July 01, 2024
• End date: June 30, 2025
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Daniel Santiago Jockwich Martinez
• Grantee: Andres Julian Schablatura Vera
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Associated research grant: 21/04883-0 - Paraconsistent set theory, AP.JP

Abstract

This scientific diffusion project on paraconsistent logic has three main objectives: (i) present to the public a historical trajectory of the field of paraconsistency in Brazil, starting from its development by Professor Newton da Costa in the 1960s, (ii) explain the main mathematical and philosophical concepts that underlie different paraconsistent logics and identify their current research frontiers, such as the "Paraconsistent Set Theory" project associated with this proposal and, finally, (iii) investigate the potential applications of paraconsistency in numerous fields of knowledge, theoretical and practical. To achieve these objectives, the project starts from a bibliographical research and intends to carry out a series of interviews with relevant paraconsistency researchers at institutions such as USP and Unicamp. Intended for the general public, the project will use language without formalism whenever possible, accessible to the non-expert or academic who is not familiar with the field of logic. The content of diffusion products, regardless of the format to be chosen, will be guided simultaneously by scientific accuracy and by an informative, dynamic and attractive character, suitable for the entertainment language of social media.