Symposium · IV

The Fourth Symposium

Co-located with ESSLLI 2024. Two talks an evening across the week of the summer school.

5 – 9 August 2024

Monday 5th August

17:00 – 17:45

Proof-theoretic Semantics: Inferentialist Logic and Modelling

David J. Pym

17:45 – 18:30

Plenitudinous Platonism Through Base-extension Semantics

Tor Sandqvist

Tuesday 6th August

17:00 – 17:45

Prawitz's Theory of Grounds: Ideas, Results and Problems Some 20 Years LaterOnline

Antonio Piccolomini d'Aragona

17:45 – 18:30

Towards Canonical Proofs for Second Order Intuitionistic Logic

Paolo Pistone

Wednesday 7th August

17:00 – 17:45

Contradictions without Negation: a Bilateralist Account of Non-trivial Inconsistent Logics

Sara Ayhan

17:45 – 18:30

Bilateralism and Classical Logic: Some Comments from the Intensional PerspectiveCancelled

Luca Tranchini · joint work with Dennis Akdasli

Thursday 8th August

17:00 – 17:45

A Base-extension Semantics for PAL

Timo Eckhardt

17:45 – 18:30

A Base-extension Semantics for PDL

Gabriele Brancati

Friday 9th August

17:00 – 17:45

This Talk Needs No IntroductionsRemote

Hermógenes Oliveira

17:45 – 18:30

Base-extension Semantics via Definitional Reflection

Tao Gu

← All instalments