Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Bob Hale (2002). Real Numbers, Quantities, and Measurement. Philosophia Mathematica 10 (3).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 Bob Hale, Real numbers, quantities, and measurement
Nothing in this forum yet.
Similar books and articles
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 (...)
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 (...)
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 (...)
Our model of time is the classical continuum of real numbers, and our model of other measurable quantities that change over time is that of functions defined on real numbers with real numbers as values. This model is not derived from reality or from our experience of it, but imposed on reality; and the fit is very imperfect. In classical mathematics, the value of a function for any real number as argument is independent of its value for any other argument: (...)
No categories
Degree theories of vagueness build on the observation that vague predicates such as 'tall' and 'red' come in degrees. They employ an infinite-valued logic, where the truth values correspond to degrees of truth and are typically represented by the real numbers in the interval [0,1]. In this paper, the success with which the numerical assignments of such theories can capture the phenomenon of vagueness is assessed by drawing an analogy with the measurement of various physical quantities using real numbers. I (...)
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).
No categories
A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle ‘The part is less than the whole’ introduced by Ancient Greeks and applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). It is shown that it becomes possible to write down finite, infinite, and infinitesimal numbers by a finite number of symbols as particular cases of a unique framework. The (...)
Werner Heisenberg was, from a technical point of view, the principal founder of quantum theory. He discovered in 1925 the completely amazing and wholly unprecedented solution to the puzzle: the quantities that classical physical theory was based upon, and which were thought to be numbers, must be treated not as numbers but as actions! Ordinary numbers, such as 2 and 3, have the property that the product of any two of them does not depend on the order of the factors: (...)
The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets (sheaves). In (...)
No categories
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth-value to a proposition that the value of a quantity lies in a certain set D of real numbers. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectrum (we call these interval valuations). There are two main (...)
No categories


