Time: Fri 29 May 2026, at 15:00

Place: Room 109, Building 3, Lee Shau Kee Humanities Hall

Speaker: Francesca Boccuni, St. Raphael University of Life and Health Sciences

This event is part of the Seminar Series on Frontier Issues in Logic.

Abstract:

In recent articles, Richard Kimberly Heck argues that a significant conceptual gap separates (Neologicist) Frege Arithmetic (FA) from ordinary arithmetic. The latter concerns finite cardinals employed in everyday contexts, whereas FA exceeds the conceptual resources required for ordinary arithmetical reasoning. This article investigates whether a consistent system of Frege's Basic Law V, and maximally faithful to Frege's original project—termed Frege's Frege Arithmetic (FFA)—is better suited than FA to capture ordinary arithmetic. By analysing the proof-theoretic strength (in Heck's sense) of FFA, I will argue that FFA is in fact conceptually stronger than FA, because of Frege's definition of cardinals as equivalence classes closed under equinumerosity. On the basis of Heck's considerations, the article suggests that Frege's original project offers less justification for our knowledge of ordinary arithmetic than Neologicism.