IsisCB Explore

Article ID: CBB550734458

Frege’s Unification (2019)

Boddy, Rachel (Author)

History and Philosophy of Logic
Volume: 40
Issue: 2
Pages: 135-151

DOI: 10.1080/01445340.2018.1518103

URI: https://doi.org/10.1080/01445340.2018.1518103

Outside Links

WorldCat

Google Scholar

JSTOR

Academia.edu

What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic. In my view, what interpreters have failed to appreciate is that logicism is a project of unification, not reduction. For Frege, unification involves two separate steps: (1) an account of the content expressed by arithmetical claims and (2) the justification of that content. The distinction between these steps allows us to see that there are two notions of definition at play in Frege’s logicist work, viz., one concerned with conceptual analysis, the other concerned with the construction of gap-free proof. I then use this discussion to explain how Frege employs his definitions to defend an epistemological thesis about arithmetic, and to clarify Grundlagen’s fruitfulness condition of definitions, and thereby address two interpretive puzzles from the recent literature.

...More

Citation URI

http://data.isiscb.org/isis/citation/CBB550734458/

Citations Indexes

Similar Citations

Article Eder, Günther; (2013)
Remarks on Independence Proofs and Indirect Reference (/isis/citation/CBB001212142/)

Article Weltya, Ivan; (2011)
Frege on Indirect Proof (/isis/citation/CBB001210988/)

Chapter Goldfarb, Warren; (2010)
Frege's Conception of Logic (/isis/citation/CBB001211649/)

Book Weiner, Joan; (2004)
Frege Explained: From Arithmetic to Analytic Philosophy (/isis/citation/CBB000772767/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Article Cohoe, Caleb; (2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series (/isis/citation/CBB001201144/)

Book Yrjönsuuri, Mikko; (2001)
Medieval Formal Logic: Obligations, Insolubles and Consequences (/isis/citation/CBB000102010/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Article Bellissima, Fabio; (2002)
Il sistema assiomatico-deduttivo degli Elementi armonici di Aristosseno (/isis/citation/CBB000411050/)

Book Frege, Gottlob; (1999)
Zwei Schriften zur Arithmetik: Funktion und Begriff; Ueber die Zahlen des Herrn H. Schubert. Hrsg. von Kienzler, Wolfgang (/isis/citation/CBB000082256/)

Article Hunter, David A.; (1996)
Definition in Frege's Foundations of arithmetic (/isis/citation/CBB000072012/)

Article Schirn, Matthias; (1994)
Frege y los nombres de cursos de valores (/isis/citation/CBB000048691/)

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees (/isis/citation/CBB001214122/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Article Blanchette, Patricia A.; (1994)
Frege's reduction (/isis/citation/CBB000059170/)

Article Tappenden, Jamie; (1995)
Geometry and generality in Frege's philosophy of arithmetic (/isis/citation/CBB000062899/)

Chapter Knuutila, Simo; Kukkonen, Taneli; (2011)
Thought Experiments and Indirect Proofs in Averroes, Aquinas, and Buridan (/isis/citation/CBB001321020/)