MCMP – Mathematical Philosophy (Archive 2011/12) artwork

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

MCMP – Mathematical Philosophy (Archive 2011/12)

English - April 20, 2019 18:35 - 1 hour - 640 MB Video - ★★★★★ - 6 ratings
Philosophy Society & Culture philosophy logic science language mathematics hannes leitgeb stephan hartmann mcmp lmu Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Applying coherence based probability logic to philosophical problems
Next Episode: The Lockean Thesis Revisited

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