Schedule

The Schedule

14 January 2022

12:50 - 13:00

Welcome!

David Pym & Elaine Pimentel

13:00 - 13:20

Why Proof Theoretic Semantics?

Peter Schroeder-Heister

13:20 - 13:40

The problem of explicating the concept of valid inference

Dag Prawitz

13:40 - 14:00

On Popper and Proof Theoretic Semantics

Thomas Piecha

14:00 - 14:10

Break

14:10 - 14:30

Atomic bases and the validity of Peirce's law

Tor Sandqvist

14:30 - 14:50

On the distinctions between sense vs. denotation and identity vs. synonymy of proofs

Sara Ayhan

14:50 - 15:10

Proof-theoretic semantics and classical logic: the ecumenical perspective

Luiz Carlos Pereira

15:10 - 15:20

Break

15:20 - 15:40

Proof-theoretic Semantics in Sheaves

Edmund Robinson

15:40 - 16:00

Discussion and closing

All times are UTC

Page updated

Google Sites

Report abuse