Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ( ) or ‘Frege Constraint’ ( ), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how generalizes Frege’s views while comes closer to his original conceptions. Different authors diverge on the interpretation of and on whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish from (§2). We discuss six rationales which may motivate the adoption of different instances of and (§3). We turn to the possible interpretations of (§4), and advance a Semantic (§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of to Frege and appreciating the role of the Architectonic can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5).

FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM

SERENI, ANDREA
2018

Abstract

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ( ) or ‘Frege Constraint’ ( ), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how generalizes Frege’s views while comes closer to his original conceptions. Different authors diverge on the interpretation of and on whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish from (§2). We discuss six rationales which may motivate the adoption of different instances of and (§3). We turn to the possible interpretations of (§4), and advance a Semantic (§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of to Frege and appreciating the role of the Architectonic can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5).
Frege’s Constraint; Applicability of mathematics; Frege’s foundational program; Logicism
File in questo prodotto:
File Dimensione Formato  
10.1017@S1755020318000278.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Dominio pubblico
Dimensione 380 kB
Formato Adobe PDF
380 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12076/4927
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact