MCMP – Philosophy of Mathematics

On the Contingency of Predicativism


Listen Later

Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Russell proposed to ban the vicious circle principle, nowadays called impredicative definition, by which a set may be defined by referring to the totality of sets it belongs to. Russell's proposal was taken up by Weyl and Feferman in their development of the foundational program predicativist mathematics. The fifth `Big Five' system from Reverse Mathematics (resp. arithmetical comprehension, the third Big Five systen) is a textbook example of impredicative (resp. predicative) mathematics. In this talk, we show that the fifth Big Five system can be viewed as an instance of nonstandard arithmetical comprehension. We similarly prove that the impredicative notion of bar recursion can be viewed as the predicative notion primitive recursion with nonstandard numbers. In other words, predicativism seems to be contingent on whether the framework at hand accommodates Nonstandard Analysis, arguably an undesirable feature for a foundational philosophy.
...more
View all episodesView all episodes
Download on the App Store

MCMP – Philosophy of MathematicsBy MCMP Team

  • 5
  • 5
  • 5
  • 5
  • 5

5

2 ratings


More shows like MCMP – Philosophy of Mathematics

View all
Geld und Leben - Ringvorlesung (WiSe 2009-2010) by Ludwig-Maximilians-Universität München

Geld und Leben - Ringvorlesung (WiSe 2009-2010)

0 Listeners

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06 by Ludwig-Maximilians-Universität München

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06

1 Listeners

Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Statistik I für Studierende der Wirtschaftswissenschaften by PD Dr. Christian Heumann

LMU Statistik I für Studierende der Wirtschaftswissenschaften

0 Listeners

Institut für Produktionswirtschaft und Controlling (LMU) by Prof. Dr. Dr. h.c. Hans-Ulrich Küpper

Institut für Produktionswirtschaft und Controlling (LMU)

0 Listeners

LMU Rechtsphilosophie by Prof. Dr. jur. Dr. jur. h.c. mult. Bernd Schünemann

LMU Rechtsphilosophie

0 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

2 Listeners

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD by Ludwig-Maximilians-Universität München

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

1 Listeners

LMU Physik 2 für Chemiker (PN2) SS2016 by Prof. Dr. Jan Lipfert

LMU Physik 2 für Chemiker (PN2) SS2016

0 Listeners

Medizin - Open Access LMU - Teil 16/22 by Ludwig-Maximilians-Universität München

Medizin - Open Access LMU - Teil 16/22

0 Listeners