AI-powered podcast search and transcription. Find any topic, guest, or phrase across millions of episodes.

Product

Search
Browse Podcasts
Pricing

Company

About
Blog
Careers
Contact

Legal

Privacy Policy
Terms of Service
Cookie Policy

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

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

MCMP – Mathematical Philosophy (Archive 2011/12)·Apr 20, 2019·1:07:06·pending

About this Episode

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

Hosts & Guests

MCMP Team

Host

No transcript available for this episode.

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

MCMP – Mathematical Philosophy (Archive 2011/12)

0:00

1:07:06

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

About this Episode

Hosts & Guests

More from MCMP – Mathematical Philosophy (Archive 2011/12)

Modality and Categories

Adaptive Logics: Introduction, Applications, Computational Aspects and Recent De...

Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking

Tracking the Truth Requires a Non-wellfounded Prior!