Neo-Fregeanism and the Burali-Forti Paradox

This chapter considers what form a neo-Fregean account of ordinal numbers might take. It begins by discussing how the natural abstraction principle for ordinals yields a contradiction (the Burali-Forti Paradox) when combined with impredicative second-order logic. It continues by arguing that the fault lies in the use of impredicative logic rather than in the abstraction principle per se. As the focus is on a form of predicative logic which reflects a philosophical diagnosis of the source of the paradox, the chapter considers how far Hale and Wright’s neo-logicist programme in cardinal arithmetic can be carried out in that logic.