allfeeds.ai

 

MCMP Philosophy of Mathematics  

MCMP Philosophy of Mathematics

Author: MCMP Team

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 to derive philosophical conclusions from philosophical assumptions, just as in physics mathematical methods are used to derive physical predictions from physical laws. Nor is the idea of mathematical philosophy to dismiss any of the ancient questions of philosophy as irrelevant or senseless: although modern mathematical philosophy owes a lot to the heritage of the Vienna and Berlin Circles of Logical Empiricism, unlike the Logical Empiricists most mathematical philosophers today are driven by the same traditional questions about truth, knowledge, rationality, the nature of objects, morality, and the like, which were driving the classical philosophers, and no area of traditional philosophy is taken to be intrinsically misguided or confused anymore. It is just that some of the traditional questions of philosophy can be made much clearer and much more precise in logical-mathematical terms, for some of these questions answers can be given by means of mathematical proofs or models, and on this basis new and more concrete philosophical questions emerge. This may then lead to philosophical progress, and ultimately that is the goal of the Center.
Be a guest on this podcast

Language: en

Genres: Philosophy, Society & Culture

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it


Get all podcast data

Listen Now...

The Univalence Axiom
Episode 16
Thursday, 18 April, 2019

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 background and consequences, both mathematical and philosophical.

 

We also recommend:


The Unconstrained Podcast
info@beunconstrained.com (Myles Wakeham)

The Random Show Podcast
The Random Show Podcast

The Rkadrano Cast
rkadrano

Leda grupputveckling

About Last Night
Cloud10

Institute for Science, Innovation and Society
Oxford University

TK in the AM:
TK in The AM



War and Peace by Leo Tolstoy
Loyal Books

WRINT: Politikunterricht
Holger Klein, Thomas Brandt

NativeQuestions' Podcast
NativeQuestions

Modern Muses
BBC Radio 3