# Talk by Peter Schroeder-Heister (LTCS)

**Venue:**

Room 206, Main Building, Hochschulstrasse 4, 3012 Bern

**Speaker:**

Prof. Dr. Peter Schroeder-Heister (Universität Tübingen)

**Title:**

Intensional aspects of proofs

**Abstract:**

I plead to give intensional considerations in proof theory, in particular the question of identity of proofs, a stronger stance than it is often given. This is particularly important for philosophical investigations in proof-theoretic semantics. A crucial aspect is what can be counted as a proper step of proof reduction, as this is what constitutes the dentity of proofs. I discuss in particular Ekman's paradox, which is an interesting example of a derivation in intuitionistic propositional logic, which is non-normalizable given a (prima facie) plausible extension of the standard notion of reduction.

- Log in to post comments