Olá, Amanhã ocorrerá mais uma sessão do Explanatory Inference seminar por volta das 10h às 12h no horário de Brasília. A apresentação será exibida ao vivo no YouTube (link abaixo).
Att., João Daniel *** Dear all, The *Explanatory Inference Seminar* is happy to announce its third session, which will take place on the *21st of January*, at the Salle Ladrière, from *2 to 4 pm*. The speaker will be *Sara Ayhan* from Ruhr University Bochum, and her talk is entitled: *How to secure uniqueness of logical connectives in bilateralism (or multilateralism)* (see abstract below). The talk will be simultaneously streamed on YouTube Live: https://youtu.be/WD3yH0Fjbic <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%2FWD3yH0Fjbic&data=04%7C01%7Ccefises_cercle%40listes.uclouvain.be%7Cc465ba8e42fa42e9744408d9da89c662%7C7ab090d4fa2e4ecfbc7c4127b4d582ec%7C0%7C0%7C637781108592202672%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=uifCt3Hz8NEhDHfBBbIV65A5GO4PbSPUeXE29ygcmNk%3D&reserved=0> Looking forward to see you there. Best wishes, Pilar & Pierre ——— Title: How to secure uniqueness of logical connectives in bilateralism (or multilateralism) Abstract: In the literature on uniqueness it has been clearly shown that the question whether a connective is uniquely characterized by its set of rules is strongly related to the logic, its specific representation, and in particular to the underlying consequence relation. I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, I will present and argue for a specific - and so far underrated - form of bilateralism: one that is bilateral not only on the level of rules, but also on a meta-level, namely concerning inferential relations. This is realized in the logic 2Int, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting. Finally, I want to discuss some implications of these considerations with regard to what may be considered more or less suitable representations of logics as well as possible extensions to forms of multilateralism. -- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKFx%2BYHU1US2MnraWSyZUL20_XBxfbORyzJ%3DdBf4fx7m0TCdWA%40mail.gmail.com.
