Frege's Constraint and the Nature of Frege's Foundational Program

Abstract : Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either 'Application Constraint' (AC) or 'Frege Constraint' (FC), 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 these two names, by showing how AC generalizes Frege's s views while FC comes closer to his original conceptions. Different authors diverge on the interpretation of FC and on whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of FC 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 AC from FC (§2). We discuss six rationales which may motivate the adoption of different instances of AC and FC (§3). We turn to the possible interpretations of FC (§4), and advance a Semantic FC (§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 FC 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 FC to Frege and appreciating the role of the Architectonic FC can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5).
Type de document :
Article dans une revue
The review of symbolic logic, Cambridge University Press, inPress
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-01882402
Contributeur : Marco Panza <>
Soumis le : jeudi 27 septembre 2018 - 01:12:11
Dernière modification le : lundi 8 octobre 2018 - 16:16:06

Fichier

FC-and-Frege's-Foundational-Pr...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-01882402, version 1

Citation

Marco Panza, Andrea Sereni. Frege's Constraint and the Nature of Frege's Foundational Program. The review of symbolic logic, Cambridge University Press, inPress. 〈halshs-01882402〉

Partager

Métriques

Consultations de la notice

29

Téléchargements de fichiers

12