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/CAEQwYASd5jaHKQ_5QGhxxv2RXv6VQBg1fv84uN1MVLFeivvtXg%40mail.gmail.com.
