| Colegas: Participamos de um e então sobre Filosofia da Matemática , hoje, na USP. Fiz uma homenagem ao Mestre da Costa, lembrando-nos do um ano de sua partida! Itala Enviado do meu iPhone Em 16 de abr. de 2025, à(s) 16:06, jean-yves beziau <jyb.logic...@gmail.com> escreveu:
Grato Cifuentes! Na semana passada organizamos uma mesa redonda na UFRJ em homenagem a ele: 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: 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: Um abraço Jean-Yves
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
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.
Associate Organization: Carl Friedrich von Weizsäcker Center, Tübingen, Germany
Chair: Raja Natarajan, editorial board LU
Everybody is welcome to join, register here: >---------------------------------------------------------------- Jean-Yves Beziau
Editor-in-Chief Logica Universalis - LU
Organizer of the Logica Universalis Webinar - LUW
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.
--
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/CAF2zFLCTVLCaYB8dG4FA-gnBrKX--tTWnkDA1iLH11OHmWvryw%40mail.gmail.com.
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/D16D9477-BBE2-4124-A519-4DC841983FD7%40unicamp.br.
|
