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 Em qui., 16 de out. de 2025 01:58, Itala Maria Loffredo Dottaviano < [email protected]> escreveu: > Caro Rafael: > > Parabéns, pelo belo artigo! > > Estamos orgulhosos de você. > > Itala > > Em qua., 15 de out. de 2025 às 12:10, jean-yves beziau < > [email protected]> escreveu: > >> 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ê 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 [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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLA0vAqTeMgUKBiRUzuH0N1ZCCPzPd-q_TbHSE-HUVA4%3DQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > 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.* > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG645EZQFK7wwfyFv6tL6-X70JY8dJvcOVXcK7ehvm798A%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG645EZQFK7wwfyFv6tL6-X70JY8dJvcOVXcK7ehvm798A%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAOrCsLfM9aTw-ifsMO%2BxtVfpSs4t%2BtV-JtQnpsQryVgk2aEs2g%40mail.gmail.com.
