Parabéns pelo prêmio Rafael!!! Abraço
Marcelo Em quarta-feira, 15 de outubro de 2025, 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/CAF2zFLA0vAqTeMgUKBiRUzuH0N1ZC > CPzPd-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> > . > -- 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/CAKuKcnJEYM%3DSLeGZWnsAiioe2QKDGAN4odWCQ5waxBEvUaiSVg%40mail.gmail.com.
