Grato Cifuentes! Na semana passada organizamos uma mesa redonda na UFRJ em homenagem a ele: https://www.rio-logic.org/2025.html Durante esta mesa eu li o aviso seguinte de Newton da Costa: “Eu diria aos jovens que o mais importante é pensar originalmente. Sempre pensem por conta própria. Isso não significa que devam desconsiderar os livros e as autoridades das diversas áreas. Todavia, é importante que cada um seja o protagonista da sua história. Em uma passagem de David Copperfield, romance de Charles Dickens, o protagonista pergunta-se: serei eu o herói da minha vida? Atualmente, o brasileiro não tem sido o herói da própria vida. Antes, tem sido um náufrago, que é levado de um lado a outro por conta das circunstâncias. Se quiser ser realmente um país de primeiro mundo, o Brasil precisa oferecer às novas gerações uma educação que estimule esse pensamento original.” Extrato de uma entrevista para os 80 anos dele: https://unicamp.br/unicamp/unicamp_hoje/ju/agosto2009/ju437_pag0607.php# Hoje é o deadline para mandar um artigo para o livro em homenagem a ele, relacionado ao evento ici-Rio 2024: Imagination, Creativity, Intelligence que organizamos no Rio de Janeiro em dezembro passado: https://sites.google.com/view/ici-rio-2024/book Um abraço Jean-Yves
On Wed, Apr 16, 2025 at 8:23 PM josé carlos cifuentes <jcc...@gmail.com> wrote: > Hoje é o primeiro aniversário da partida do nosso mestre e amigo Newton da > Costa. Um abraço a todos os que o conheceram e desfrutaram de seu ensino e > amizade. > Desde Curitiba, sua terra natal. > José Carlos Cifuentes > > Em ter., 15 de abr. de 2025 7:11 PM, jean-yves beziau < > jyb.logic...@gmail.com> escreveu: > >> The next session of the Logica Universalis Webinar will be Wednesday >> April 16 at 4pm CET: >> >> Speaker: Antonio Piccolomini d’Aragona, University of Tübingen, Germany >> Title: "Intensionality of consequence and identity of proofs in Prawitz’s >> Theory of Grounds" >> >> Abstract: I discuss two possible ways for dealing with a constructive, >> proof based >> notion of logical consequence. The first, qualified as extensional, >> amounts >> to the idea that a given proof-structure is justifiable under every >> interpretation of >> the non-logical terminology it involves. The second, qualified as >> intensional, requires >> on the contrary that the given proof-structure be justified independently >> of >> its non-logical meaning. Contrarily to the extensional approach, the >> intensional >> account calls for a prior treatment of the notion of identity of proofs. >> Identity >> can be in turn addressed in an extensional or intensional way. Although >> these issues >> are obviously of a more general interest, I investigate them in a >> framework >> which seems to me to be particularly well-suited for the purpose, i.e., >> Prawitz’s >> (non-monotonic) Theory of Grounds. >> https://link.springer.com/journal/11787 >> >> Associate Organization: >> Carl Friedrich von Weizsäcker Center, Tübingen, Germany >> >> Chair: Raja Natarajan, editorial board LU >> >> Everybody is welcome to join, register here: >> https://cassyni.com/events/xUzYBgjqNA9nqwrdvBrpM >> >---------------------------------------------------------------- >> Jean-Yves Beziau >> Editor-in-Chief Logica Universalis - LU >> Organizer of the Logica Universalis Webinar - LUW >> https://philpeople.org/profiles/jean-yves-beziau >> >> >> >> >> >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <logica-l@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+unsubscr...@dimap.ufrn.br. >> Para ver esta conversa, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBwnQvnOt8tzULSxCF7KQ90OHaZfYYNmThQSTx_80MyYg%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBwnQvnOt8tzULSxCF7KQ90OHaZfYYNmThQSTx_80MyYg%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCTVLCaYB8dG4FA-gnBrKX--tTWnkDA1iLH11OHmWvryw%40mail.gmail.com.