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