Apr 20, 20191:07:06pending
Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)
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)".
Get every episode summarized
Each time MCMP – Mathematical Philosophy (Archive 2011/12) publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from MCMP – Mathematical Philosophy (Archive 2011/12)
Modality and Categories
MCMP – Mathematical Philosophy (Archive 2011/12)
Apr 22, 20191:01:52pending
Adaptive Logics: Introduction, Applications, Computational Aspects and Recent De...
MCMP – Mathematical Philosophy (Archive 2011/12)
Apr 22, 20191:18:33pending
Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking
MCMP – Mathematical Philosophy (Archive 2011/12)
Apr 20, 20191:19:40pending
Tracking the Truth Requires a Non-wellfounded Prior!
MCMP – Mathematical Philosophy (Archive 2011/12)
Apr 20, 20191:31:54pending