Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

from MCMP – Mathematical Philosophy (Archive 2011/12)

Peter Schroeder-Heister (Tübingen) gives a talk at the MCMP Colloquium Mathematical Philosophy - first part: "Proof-theoretic semantics and the format of deductive reasoning", second part: "Prawitz's completeness conjecture (A sketch of some ideas)".

Episode metadata supplied by the publisher feed · Published Jun 17, 2011

Embed this episode

Attribution link and audio player

NOW PLAYING

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

0:00 0:00

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

When was this MCMP – Mathematical Philosophy (Archive 2011/12) episode published?

This episode was published on June 17, 2011.

Can I download this MCMP – Mathematical Philosophy (Archive 2011/12) episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!