Focus restored: Comments on John MacFarlane

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role.

[1]  Richard G. Heck Language, thought, and logic : essays in honour of Michael Dummett , 1997 .

[2]  C. Wright On the Philosophical Significance of Frege's Theorem , 2001 .

[3]  T. Williamson II—Timothy Williamson: Understanding and Inference , 2003 .

[4]  Alan Weir,et al.  Neo-Fregeanism: An Embarrassment of Riches , 2003, Notre Dame J. Formal Log..

[5]  Richard G. Heck Finitude and Hume’s Principle , 1997, J. Philos. Log..

[6]  B. Hale,et al.  Implicit definition and the a priori , 2000 .

[7]  C. Wright Response to Dummett , 2001 .

[8]  György Darvas,et al.  Philosophy of mathematics today , 1997 .

[9]  Jeffrey C. King Are complex 'that' phrases devices of direct reference ? , 1999 .

[10]  Michael Dummett,et al.  Frege: Philosophy of Mathematics. , 1993 .

[11]  Bertrand Russell,et al.  Logic and Knowledge , 1957 .

[12]  G. Boolos Meaning and Method: Essays in Honor of Hilary Putnam , 2009 .

[13]  Bob Hale,et al.  Reals by Abstractiont , 2000 .

[14]  K. Bach Varieties of Reference , 1994 .

[15]  THE STATE OF THE ECONOMY: NEO-LOGICISM AND , 2007 .

[16]  Hartry Field,et al.  Science without Numbers , 1983 .

[17]  B. Hale Dummett's Critique of Wright's Attempt to Resuscitate Frege , 1994 .

[18]  Bob Hale,et al.  To Bury Caesar . . . , 2001 .

[19]  J. E. Tiles,et al.  Frege's Conception of Numbers as Objects , 1984 .

[20]  M. Black,et al.  Translations from the philosophical writings of Gottlob Frege , 1953 .

[21]  Jeffrey C. King,et al.  Complex Demonstratives: A Quantificational Account , 2001 .

[22]  T. Williamson “Conceptual Truth” , 2006 .

[23]  Christopher Peacocke,et al.  New essays on the a priori , 2000 .

[24]  Philip A. Ebert The context principle and implicit definitions : towards an account of our a priori knowledge of arithmetic , 2005 .

[25]  Bob Hale,et al.  Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics , 2001 .

[26]  C. Wright On the Harmless Impredicativity of N= (Hume's Principle) , 2001 .

[27]  O. Spies Die grundlagen der arithmetik: by G. Frege. English translation by J. L. Austin. 119 pages, 14 × 22 cm. Breslau, Verlag von Wilhelm Koebner, 1884, and New York, Philosophical Library, 1950. Price, $4.75 , 1950 .

[28]  Øystein Linnebo,et al.  Predicative fragments of Frege Arithmetic , 2004, Bull. Symb. Log..

[29]  George Boolos,et al.  Logic, Logic, and Logic , 2000 .

[30]  Charles Parsons,et al.  Quality and Concept , 1987 .

[31]  S. Weidenschilling,et al.  A plurality of worlds , 1991, Nature.

[32]  Stewart Shapiro,et al.  “Neo-Logicist” Logic is not Epistemically Innocent , 2000 .

[33]  Bob Hale Abstraction and Set Theory , 2000, Notre Dame J. Formal Log..

[34]  C. Swoyer THEORIES OF PROPERTIES: FROM PLENITUDE TO PAUCITY , 1996 .

[35]  Crispin Wright,et al.  FREGE: PHILOSOPHY OF MATHEMATICS , 1995 .

[36]  David Armstrong,et al.  A theory of universals , 1980 .