Mathematical Philosophy - the application of logical and mathematical methods in philosophy - is about to experience a tremendous boom in various areas of philosophy. At the new Munich Center for Mathematical Philosophy, which is funded mostly by the German Alexander von Humboldt Foundation, philosophical research will be carried out mathematically, that is, by means of methods that are very close to those used by the scientists.
The purpose of doing philosophy in this way is not to reduce philosophy to mathematics or to natural science in any sense; rather mathematics is applied in order...
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of...
Published 04/18/19
Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its...
Published 04/18/19