Radio and PodcastRadio and PodcastLive Radio & Podcasts
Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) artwork
Society & Culture

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

MCMP – Mathematical Philosophy (Archive 2011/12) by Ludwig-Maximilians-Universität Munich

Apr 20, 201901:07:06Society & Culture

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 conject...

About This Episode

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) is an episode from MCMP – Mathematical Philosophy (Archive 2011/12) by Ludwig-Maximilians-Universität Munich. Peter...

Podcast

This episode belongs to MCMP – Mathematical Philosophy (Archive 2011/12).

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Apr 20, 2019, 01:07:06 long, audio available.

Related Episodes

Continue listening to more episodes from MCMP – Mathematical Philosophy (Archive 2011/12).

Modality and Categories

Apr 22, 2019 - 01:01:52

Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Modality titled "Modality and Categories".

Questions About This Episode

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

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)".

Where can I listen to Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)?

You can listen to Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) online on Radio and Podcast. Open the player on this page to stream the available audio.

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

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) is an episode from MCMP – Mathematical Philosophy (Archive 2011/12) by Ludwig-Maximilians-Universität Munich.

How long is this episode?

This episode is 01:07:06 long.

When was this episode published?

This episode was published on Apr 20, 2019.

Can I save Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) for later?

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Are there related episodes from MCMP – Mathematical Philosophy (Archive 2011/12)?

Yes. This page shows related episodes from MCMP – Mathematical Philosophy (Archive 2011/12) when more episodes are available from the podcast feed.

Quick Answers About This Episode

Where can I listen to Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)?

You can listen to Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) on this page when the episode audio is available from the podcast feed.

Which podcast is this episode from?

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) is from MCMP – Mathematical Philosophy (Archive 2011/12) by Ludwig-Maximilians-Universität Munich.

What are the episode details?

Published Apr 20, 2019 and 01:07:06 long