On the Contingency of Predicativism
Listen now
Description
Colloquium Mathematical Philosophy, 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 Episodes
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