Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
LUW April 16, Intensionality of consequence and identity of proofs in Prawitz’s Theory of Grounds - Antonio Piccolomini d’Aragona
77 views
Skip to first unread message
jean-yves beziau
Apr 15, 2025, 6:11:57 PMApr 15
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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.
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
Editor-in-Chief Logica Universalis - LU
Organizer of the Logica Universalis Webinar - LUW
josé carlos cifuentes
Apr 16, 2025, 2:23:09 PMApr 16
to jean-yves beziau, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
--
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/CAF2zFLBwnQvnOt8tzULSxCF7KQ90OHaZfYYNmThQSTx_80MyYg%40mail.gmail.com.
jean-yves beziau
Apr 16, 2025, 3:06:22 PMApr 16
to josé carlos cifuentes, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
Itala Maria Loffredo D'Ottaviano
Apr 16, 2025, 10:51:11 PMApr 16
to jean-yves beziau, josé carlos cifuentes, logi...@dimap.ufrn.br
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.lo...@gmail.com> escreveu:
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCTVLCaYB8dG4FA-gnBrKX--tTWnkDA1iLH11OHmWvryw%40mail.gmail.com.
Evandro L. Gomes
Apr 23, 2025, 7:23:22 AMApr 23
to Itala Maria Loffredo D'Ottaviano, jean-yves beziau, josé carlos cifuentes, logi...@dimap.ufrn.br
Olá, Itala, olá Jean-Yves, olá colegas da lista,
Homenagem justa e merecida.
Abs,
Evandro.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D16D9477-BBE2-4124-A519-4DC841983FD7%40unicamp.br.
Reply all
Reply to author
Forward
0 new messages