Zoom-Link PTS Seminar tomorrow: Robin Martinot, April 14, 12pm (UTC+0)

[staffor...@gmail.com]

Dear all,

The next session of our PTS Seminar Series is coming up! 

Here's the zoom link for tomorrow:   https://ksu.zoom.us/j/96934342849?pwd=oDe7AjPlQSYLiE5Enpo0wht4dVecrI.1

Meeting ID: 969 3434 2849
Passcode: PTSnetwork

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).


All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford