Dear all, The next session of our PTS Seminar Series is coming up!
On *Tuesday, April 14, 12pm (UTC+0), Robin Martinot* (University of Tübingen) will present her work with *the title "Semantic pollution of bilateral proof systems (and PTS)"*. Here is the abstract: The phenomenon of semantic pollution has gained recent attention in the philosophy of proof theory. It is mainly considered to occur in labeled proof systems with respect to Kripke or frame semantics. The behavior of semantic pollution in more general proof-theoretic syntax extensions is underexplored. In this talk I want to discuss some results on semantic pollution of bilateral proof systems for inconsistency-tolerant logics (in particular, for the paraconsistent logic of first-degree entailment FDE, Nelson's logic N4 and Abelian logic). For this I use my recent formalization of semantic pollution to analyze these logics, that focuses on the ability of syntax in a proof system to violate invariance results under model equivalences. I contrast these semantic pollution results to those of labeled calculi. Additionally, I will elaborate on the compatibility between semantic pollution and the efforts of proof-theoretic semantics (PTS), for which some thoughts are more worked-out, but some are very much in progress (such as: if we have semantic pollution relative to model-theoretic semantics, is there also a variant that exists relative to proof-theoretic semantics?). *Please make sure to convert the time correctly to your specific time zone!* The talk will take place at 1pm in the UK, 2pm CEST, 9pm in Japan, 8am in New York, 9am Brasilia Time (to give just some examples). *We will send the Zoom link over the PTS-Network mailing list <https://groups.google.com/g/pts-network> on the day before the session.* All the best, Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a541b6d1-f45a-4cba-8ff6-1945d1922b91n%40dimap.ufrn.br.
