| Description: |
We will discuss the structural proof theory of natural
deduction for (mainly minimal and intuitionistic) predicate logic,
focussing on normalization, its relation to cut elimination for sequent
calculi, and the structure of normal ("detour-free") derivations. The
more philosophical part of the course will be concerned with
"proof-theoretical semantics", i.e. the suggestion that the meaning of
a logical constant is given by (some or all of) the rules governing its
introduction and/or elimination in natural deductions, an approach
investigated by, among others, Michael Dummett, Dag Prawitz, and Peter
Schroeder-Heister.
|