Philosophy of Mathematics seminar




Juhani YliVakkuri, Australian Catholic University
Zachary Goodsell, University of Southern California
New Logical Foundations for Mathematics
It is well known that the project of Principia Mathematica (PM), which was to deliver a single system of formal logic adequate for both (i) the reduction of mathematics to logic by definitions and (ii) the formalization of all scientific reasoning, remains incomplete. But perhaps surprisingly, PM itself remains the state of the art in this project. The PM system (or the usable part of it) is extensional, and it has become increasingly clear that an extensional system will not be adequate for the formalization of all scientific reasoning, and yet no nonextensional system has been proposed to date that is capable of replicating the success (on its own terms) of the PM system. For example, the nonextensional system of Church’s “A formulation of the simple theory of types” is in many respects an improvement over the PM system, but it is so weak that, if we adopt PM’s definitions of the natural numbers, we will find that it cannot prove that 1 + 1 = 2. We propose a new nonextensional system, LF, and we argue that it can replicate the success of the PM system. We also argue that the LF is superior to set theory when it comes to the formalization of mathematics.

