Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Bob Hale & Crispin Wright (2009). Focus Restored: Comments on John MacFarlane. Synthese 170 (3).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.In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of Bob Hale & Crispin Wright, Focus restored: Comments on John MacFarlane
Nothing in this forum yet.
Similar books and articles
Much of The Reason’s Proper Study is devoted to defending the claim that simply by stipulating an abstraction principle for the “number-of” functor, we can simultaneously fix a meaning for this functor and acquire epistemic entitlement to the stipulated principle. In this paper, I argue that the semantic and epistemological principles Hale and Wright offer in defense of this claim may be too strong for their purposes. For if these principles are correct, it is hard to see why they do (...)
Much of The Reason’s Proper Study is devoted to defending the claim that simply by stipulating an abstraction principle for the “number-of” functor, we can simultaneously fix a meaning for this functor and acquire epistemic entitlement to the stipulated principle. In this paper, I argue that the semantic and epistemological principles Wright and Hale offer in defense of this claim may be too strong for their purposes. For if these principles are correct, it is hard to see why they do (...)
No categories
The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...)
In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction (...)
The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Principle: for any concepts X and Y , the number of X ’s is the same as the number of Y ’s just in case there is a 1–1 correspondence between X and Y . The Caesar Problem, originally raised by Frege in §56 of Die Grundlagen der Arithmetik , emerges in the context of the neo-Fregean programme, because, though Hume’s Principle provides a criterion of (...)
The question whether numbers are objects and if so how such objects can be understood is a central question in the philosophy of mathematics. Often in addressing this question philosophers have made appeal to natural language, either to clarify our intuitions about numbers in general or to obtain supporting evidence for a particular philosophical view about numbers. Frege is a good case in point. For Frege numbers are objects because there are singular terms that stand for them, and not just (...)
The question whether numbers are objects and if so how such objects can be understood is a central question in the philosophy of mathematics. Often in addressing this question philosophers have made appeal to natural language, either to clarify our intuitions about numbers in general or to obtain supporting evidence for a particular philosophical view about numbers. Frege is a good case in point. For Frege numbers are objects because there are singular terms that stand for them, and not just (...)
On the neo-Fregean approach to the foundations of mathematics, elementary arithmetic is analytic in the sense that the addition of a principle wliich may be held to IMJ explanatory of the concept of cardinal number to a suitable second-order logical basis suffices for the derivation of its basic laws. This principle, now commonly called Hume's principle, is an example of a Fregean abstraction principle. In this paper, I assume the correctness of the neo-Fregean position on elementary aritlunetic and seek to (...)
Frege wanted to define the number 1 and the concept of number. What is required of a satisfactory definition? A truly arbitrary definition will not do: to stipulate that the number one is Julius Caesar is to change the subject. One might expect Frege to define the number 1 by giving a description that picks out the object that the numeral '1' already names; to define the concept of number by giving a description that picks out precisely those objects that (...)
No categories
