Rafael Ongaratto, winner of the Newton da Costa Universal Logic Prize for Brazil 2025

[jean-yves beziau]

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

[Itala Maria Loffredo Dottaviano]

Caro Rafael:

Parabéns, pelo belo artigo!

Estamos orgulhosos de você.

Itala

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito 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 logica-l+u...@dimap.ufrn.br.
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.

--

Prof. Dr. Itala M. Loffredo D'Ottaviano

Full Professor in Logic and the Foundations of Science 

Member and Researcher of the Centre for Logic, Epistemology and the History of Science at the University of Campinas

Research Fellow of the Brazilian National Council for Scientific and Technological Development

Titular Member, Brazilian Academy of Philosophy (Rio de Janeiro)

Emeritus Member, Académie Internationale de Philosophie de Sciences (Bruxelles)

Titular Member, Institut International de Philosophie (Paris-Nancy)

Editor of Coleção CLE, by the Centre for Logic, Epistemology and the History of Science. 

[Walter Carnielli]

Parabéns ao Rafael, logo em seguida  à  medalha de ouro da Olimpiada  de Lógica,  agora outra premiação!

Rafael também está aqui na Universidade Nicolau Copérnico em Torun, Polônia,  mostrando seu trabalho para o grupo.

Continue  assim Rafael 

Abraços, 

W.

 ========================
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

 AI2- Advanced Institute for Artificial Intelligence 

Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG645EZQFK7wwfyFv6tL6-X70JY8dJvcOVXcK7ehvm798A%40mail.gmail.com.

[Marcelo Esteban Coniglio]

Parabéns pelo prêmio Rafael!!!

Abraço 

Marcelo 

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscribe@dimap.ufrn.br.

[Evandro L. Gomes]

Olá, Rafael, 

Parabéns pelo prêmio Newton da Costa 2025!

Um grande abraço,

Evandro.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

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.

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito 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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcnJEYM%3DSLeGZWnsAiioe2QKDGAN4odWCQ5waxBEvUaiSVg%40mail.gmail.com.