We are glad to announce the winner of the Newton da Costa Universal Logic Prize for Brazil 2025: https://www.uni-log.org/logic-prize-brazil-2025 -------------------------------------------------------------------------------------------------------------------- Rafael Ongaratto, UNICAMP, Brazil Title of the paper: The Dynamics of Imperfect Reasoning: Change, Paraconsistency and Knowledge Abstract: In this article, the logic PALFI1 is introduced, a paraconsistent dynamic epistemic logic based on LFI1. Within an epistemic approach of paraconsistency, the themes of change and knowledge can be discussed in the framework of paraconsistent logic. This engenders new ways to think about epistemic states in epistemic logics, and it also illuminates the intricate connection between paraconsistency, change, and knowledge. Using PALFI1, it is possible to give a satisfactory reply to Kripke’s Paradox of Knowledge, and also to represent the evolution of informational environments with multiple agents. -------------------------------------------------------------------------------------------------- This paper will be published in the journal Logica Universalis and will represent Brazil at the 3rd edition of the World Logic Prizes Contest which will take place during the 8th UNILOG in Cusco: https://sites.google.com/view/unilog2025/logic-prizes ---------------------------------------------------------------------------------- For this prize, there were 7 submissions, besides the winner, in alphabetical order: - Antonielly Garcia Rodrigues, ANVISA, Brasília & Eduardo Mario Dias, USP, "Christine Ladd-Franklin, an outstanding Boolean algebraist from Peirce’s club" - Daniel Violato, UnB, "Suspensive Logic and Logical Skepticism" - Kherian Gracher, UFPI and UFRJ, "A Logic with Three Negations" - Ricardo Peraça Cavassane, Itala M. Loffredo D’Ottaviano & Felipe Sobreira Abrahão, UNICAMP, "Pragmatic Nonsense" - Samir Gorsky, UFRN, "A simple solution to Ulam’s game with e lies" - Thiago Gomes, UFRJ, "What is a proof?" We thank all the participants who submitted a paper as well as the six members of the jury, representative of the various regions of Brazil and the different aspects of logic, in the spirit of these prizes, which is to promote interaction between all logicians in each country, similarly to the *World Logic Day *launched January 14, 2019, and recognized by the UNESCO the same year, shortly after* the 1st World Logic Prizes Contest, *June 24, 2018, see: Logic Prizes *et Cætera* https://link.springer.com/article/10.1007/s11787-018-0215-6 All papers were considered good and we plan to publish these six papers in a special issue of the *South American Journal of Logic* together with non-winning good papers from other countries of South America. Four countries in this continent were organizing a prize: Argentina, Brazil, Colombia and Peru. This is the opportunity to promote logic in South America, as we have been doing since many years, organizing in particular the 4th UNILOG in Rio de Janeiro in 2013 (the biggest logic event in South America so far, with about 400 participants, including many famous personalities of the logic world): https://www.uni-log.org/enter-rio and SALOME 1 in Cusco last year in preparation of the forthcoming 8th UNILOG: https://www.salome2024.org/ ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Prof. Dr. Dr. Jean-Yves Beziau, Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau Creator of the Newton da Costa prize of logic and director of the project A PRIZE OF LOGIC IN EVERY COUNTRY ! https://www.uni-log.org/logic-prize-world
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLA0vAqTeMgUKBiRUzuH0N1ZCCPzPd-q_TbHSE-HUVA4%3DQ%40mail.gmail.com.
