Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Vadim Batitsky (2002). Some Measurement-Theoretic Concerns About Hale's ‘Reals by Abstraction';. Philosophia Mathematica 10 (3).Hale proposes a neo-logicist definition of real numbers by abstraction as ratios defined on a complete ordered domain of quantities (magnitudes). I argue that Hale's definition faces insuperable epistemological and ontological difficulties. On the epistemological side, Hale is committed to an explanation of measurement applications of reals which conflicts with several theorems in measurement theory. On the ontological side, Hale commits himself to the necessary and a priori existence of at least one complete ordered domain of quantities, which is extremely implausible because science treats the logical structure of quantities as subject to experimentally and theoretically motivated refinements and revisions.
Similar books and articles
In the first section of this paper I review Measurement Theoretic Semantics – an approach to formal semantics modeled after the application of numbers in measurement, e.g., of length. In the second section it is argued that the measurement theoretic approach to semantics yields a novel, useful conception of propositions. In the third section the measurement theoretic view of propositions is compared with major other accounts of propositional content.
Crispin Wright and Bob Hale have defended the strategy of defining the natural numbers contextually against the objection which led Frege himself to reject it, namely the so-called ‘Julius Caesar problem’. To do this they have formulated principles (called sortal inclusion principles) designed to ensure that numbers are distinct from any objects, such as persons, a proper grasp of which could not be afforded by the contextual definition. We discuss whether either Hale or Wright has provided independent motivation for a defensible version of the sortal inclusion principle and whether they have succeeded in showing that numbers are just what the contextual definition says they are.
What is wrong with abstraction, Michael Potter and Peter Sullivan explain a further objection to the abstractionist programme in the foundations of mathematics which they first presented in their Hale on Caesar and which they believe our discussion in The Reason's Proper Study misunderstood. The aims of the present note are: To get the character of this objection into sharper focus; To explore further certain of the assumptions—primarily, about reference-fixing in mathematics, about certain putative limitations of abstractionist set theory, and about the effects of impredicativity in abstraction principles—which underlie it; and To advance the debate of the issues thereby raised. Thanks for helpful comments to Roy Cook and to an anonymous referee. CiteULike Connotea Del.icio.us What's this?
The thesis that numbers are ratios of quantities has recently been advanced by a number of philosophers. While adequate as a definition of the natural numbers, it is not clear that this view suffices for our understanding of the reals. These require continuous quantity and relative to any such quantity an infinite number of additive relations exist. Hence, for any two magnitudes of a continuous quantity there exists no unique ratio. This problem is overcome by defining ratios, and hence real numbers, as binary relations between infinite standard sequences. This definition leads smoothly into a new definition of measurement consonant with the traditional view of measurement as the discovery or estimation of numerical relations. The traditional view is further strengthened by allowing that the additive relations internal to a quantity are distinct from relations observed in the behaviour of objects manifesting quantities. In this way the traditional theory can accommodate the theory of conjoint measurement. This is worth doing because the traditional theory has one great strength lacked by its rivals: measurement statements and quantitative laws are able to be understood literally. 1 This paper was completed in 1990-1. while the author was a visiting scholar at the Irvine Research Unit in Mathematical Behavioral Sciences. University of California. Irvine. The author wishes to thank the Director. Professor R. D. Luce, for the generous provision of space and facilities within the Unit and for his critical comments upon some of the ideas expressed herein: Professor L. Narens. for his trenchant criticisms: and the University of Sydney, for granting Special Study Leave and financial assistance to make the visit possible.
Explains why Bob Hale's proposed notion of weak
sense cannot explain the analyticity of Hume's principle as he claims.
Argues that no other notion of the sort Hale wants could do the job either.
Quantities are naturally viewed as functions, whose arguments may be construed as situations, events, objects, etc. We explore the question of the range of these functions: should it be construed as the real numbers (or some subset thereof)? This is Carnap's view. It has attractive features, specifically, what Carnap views as ontological economy. Or should the range of a quantity be a set of magnitudes? This may have been Helmholtz's view, and it, too, has attractive features. It reveals the close connection between measurement and natural law, it makes dimensional analysis intelligible, and explains the concern of scientists and engineers with units in equations. It leaves the philosophical problem of the relation between the structure of magnitudes and the structure of the reals. What explains it? And is it always the same? We will argue that on the whole, construing the values of quantities as magnitudes has some advantages, and that (as Helmholtz seems to suggest in "Numbering and Measuring from an Epistemological Viewpoint") the relation between magnitudes and real numbers can be based on foundational similarities of structure.
We correct a misunderstanding by Hale and Wright of an objection we raised in 'Hale on Caesar' to their abstractionist programme for rehabilitating logicism in the foundations of mathematics.
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 explain one way in which it may be extended to encompass the theory of real numbers, introducing the reals, by means of suitable further abstraction principles, as ratios of quantities.
In this paper I examine the prospects for a successful neo–logicist reconstruction of the real numbers, focusing on Bob Hale's use of a cut-abstraction principle. There is a serious problem plaguing Hale's project. Natural generalizations of this principle imply that there are far more objects than one would expect from a position that stresses its epistemological conservativeness. In other words, the sort of abstraction needed to obtain a theory of the reals is rampantly inflationary. I also indicate briefly why this problem is likely to reappear in any neo–logicist reconstruction of real analysis.
Defining the real numbers by abstraction as ratios of quantities gives prominence to then- applications in just the way that Frege thought we should. But if all the reals are to be obtained in this way, it is necessary to presuppose a rich domain of quantities of a land we cannot reasonably assume to be exemplified by any physical or other empirically measurable quantities. In consequence, an explanation of the applications of the reals, defined in this way, must proceed indirectly. This paper explains the main complications involved and answers the main objections advanced in Batitsky's paper in this issue.
Discussion of Vadim Batitsky, Some measurement-theoretic concerns about Hale's ‘reals by abstraction';
|
|
There are no threads in this forum |
Nothing in this forum yet.

