Modality and Categories
Apr 22, 2019 - 01:01:52
Radio and PodcastLive Radio & PodcastsSociety & Culture
Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)
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...
Related Episodes
Continue listening to more episodes from MCMP – Mathematical Philosophy (Archive 2011/12).
Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments
Apr 22, 2019 - 01:18:33
Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking
Apr 20, 2019 - 01:19:40
Tracking the Truth Requires a Non-wellfounded Prior!
Apr 20, 2019 - 01:31:54
Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology
Apr 20, 2019 - 00:54:20
Accuracy, Chance, and the Principal Principle
Apr 20, 2019 - 01:09:46
Theory and Concept in Tarski's Philosophy of Language
Apr 20, 2019 - 01:00:21
The 'fitting problem' for logical semantic systems
Apr 20, 2019 - 01:08:55