In 1887 Helmholtz discussed the foundations of measurement in science as a last contribution to his philosophy of knowledge. This essay borrowed from earlier debates on the foundations of mathematics, on the possibility of quantitative psychology, and on the meaning of temperature measurement. Late nineteenth-century scrutinisers of the foundations of mathematics made little of Helmholtz’s essay. Yet it inspired two mathematicians with an eye on physics, and a few philosopher-physicists. The aim of the present paper is to situate Helmholtz’s contribution (...) in this complex array of nineteenth-century philosophies of number, quantity, and measurement.Author Keywords: Helmholtz; Measurement; Arithmetic; P. Du Bois-Reymond; H. and R. Grassmann; J. von Kries. (shrink)

A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination of them) into numbers that satisfy the mutual measurability property. Quantity calculus is based on a notational simplification of the concept of quantity. A key element of the simplification is that we consider units to be intentionally unspecified numbers that are measures of exactly specified objects, states or processes. This interpretation of quantity calculus combines all the advantages of (...) calculating with numerical values (since the values of quantities are numbers, we can do with them everything we do with numbers) and all the advantages of calculating with standardly conceived quantities (calculus is invariant to the choice of units and has built-in dimensional analysis). This also shows that the standard metaphysics and mathematics of quantities and their magnitudes is not needed for quantity calculus. At the end of the article, arguments are given that the concept of quantity as defined here is a pivotal concept in understanding the quantitative approach to nature. As an application of this interpretation of quantity calculus, an easy proof of dimensional homogeneity of physical laws is given. (shrink)

The question of the applicability of mathematics is an epistemological issue that was explicitly raised by Kant, and which has played different roles in the works of neo-Kantian philosophers, before becoming an essential issue in early analytic philosophy. This paper will first distinguish three main issues that are related to the application of mathematics: indispensability arguments that are aimed at justifying mathematics itself; philosophical justifications of the successful application of mathematics to scientific theories; and discussions on the application of real (...) numbers to the measurement of physical magnitudes. A refinement of this tripartition is suggested and supported by a historical investigation of the differences between Kant’s position on the problem, several neo-Kantian perspectives, early analytic philosophy, and late 19th century mathematicians. Finally, the debate on the cogency of an application constraint in the definition of real numbers is discussed in relation to a contemporary debate in neo-logicism, in order to suggest a comparison not only with Frege’s original positions, but also with the ideas of several neo-Kantian scholars, including Hölder, Cassirer, and Helmholtz. (shrink)

We have begun a theory of measurement in which an experimenter and his or her experimental procedure are modeled by algorithms that interact with physical equipment through a simple abstract interface. The theory is based upon using models of physical equipment as oracles to Turing machines. This allows us to investigate the computability and computational complexity of measurement processes. We examine eight different experiments that make measurements and, by introducing the idea of an observable indicator, we identify three distinct forms (...) of measurement process and three types of measurement algorithm. We give axiomatic specifications of three forms of interfaces that enable the three types of experiment to be used as oracles to Turing machines, and lemmas that help certify an experiment satisfies the axiomatic specifications. For experiments that satisfy our axiomatic specifications, we give lower bounds on the computational power of Turing machines in polynomial time using nonuniform complexity classes. These lower bounds break the barrier defined by the Church-Turing Thesis. (shrink)

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. (shrink)

Putnam's ``model-theoretic'' argument against metaphysical realism presupposes that an ideal scientific theory is expressible in a first order language. The central aim of this paper is to show that Putnam's ``first orderization'' of science, although unchallenged by numerous critics, makes his argument unsound even for adequate theories, never mind an ideal one. To this end, I will argue that quantitative theories, which dominate the natural sciences, can be adequately interpreted and evaluated only with the help of so-called theories of measurement (...) whose epistemological and methodological purpose is to justify systematic assignments of quantitative values to objects in the world. And, in order to fulfill this purpose, theories of measurement must have an essentially higher order logical structure. As a result, Putnam's argument fails because much of science turns out to rest on essentially higher order theoretical assumptions about the world. (shrink)

I am going to argue for a robust realism about magnitudes, as irreducible elements in our ontology. This realistic attitude, I will argue, gives a better metaphysics than the alternatives. It suggests some new options in the philosophy of science. It also provides the materials for a better account of the mind’s relation to the world, in particular its perceptual relations.

Axiomatic measurement theories are commonly interpreted as claiming that, in order to quantify an empirical domain, the qualitative structure of data about that domain must be mapped to a numerical structure. Such mapping is supposed to be established independently, i.e., without presupposing that the domain can be quantified. This interpretation is based on two myths: that it is possible to independently infer the qualitative structure of objects from empirical data, and that the adequacy of numerical representations can only be justified (...) by mapping such qualitative structures to numerical ones. I dispel the myths and show that axiomatic measurement theories provide an inadequate characterization of the kind of evidence required to detect quantities. (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

What sort of subject is the philosophy of science? It would be difficult to find any sort of agreement on the answer to this question. There are a large number of physicists who have promoted the idea that the subject is a kind of cosmic journalism: any new major discoveries in physics warrant an up-to-the- minute, catch-as-catch-can analysis of the boundaries of scientific knowledge. On the other hand, the Oxonian sirens of ordinary language tell us that any careful scrutiny of (...) technical scientific matters is not proper philosophical activity. I want to argue that the philosopher of science need be neither a journalist of science nor merely an acute man of common sense eternally restricted to contemplating the general meaning of such notions as those of mind, free will, cause and determinism. -/- . (shrink)

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Patrick Suppes' set-theoretical approach to the analysis of theories, and Joseph D. Sneed's metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms ‘perception’ and ‘truth’ are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

In this paper I defend mathematical nominalism by arguing that any reasonable account of scientific theories and scientific practice must make explicit the empirical non-mathematical grounds on which the application of mathematics is based. Once this is done, references to mathematical entities may be eliminated or explained away in terms of underlying empirical conditions. I provide evidence for this conclusion by presenting a detailed study of the applicability of mathematics to measurement. This study shows that mathematical nominalism may be regarded (...) as a methodological approach to applicability, illuminating the use of mathematics in science. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

It has become customary to locate the origins of modern measurement theory in the works of Helmholtz and Hölder. If by ‘modern measurement theory’ is meant the representational theory, then this may not be an accurate assessment. Both Helmholtz and Hölder present theories of measurement which are closely related to the classical conception of measurement. Indeed, Hölder can be interpreted as bringing this conception to fulfilment in a synthesis of Euclid, Newton, and Dedekind. The first explicitly representational theory appears to (...) have been Russell's. He rejected the traditional concept of quantity and its connection to number, making the use of number in quantitative science problematical. He solved the problem via representationalism. (shrink)

The transition from the traditional to the representational theory of measurement around the turn of the century was accompanied by little sustained criticism of the former. The most forceful critique was Bertrand Russell''s 1897 Mind paper, On the relations of number and quantity. The traditional theory has it that real numbers unfold from the concept of continuous quantity. Russell''s critique identified two serious problems for this theory: (1) can magnitudes of a continuous quantity be defined without infinite regress; and (2) (...) can additive relations between such magnitudes exist if magnitudes are not divisible? The present paper shows how the traditional theory answers these questions and compares the traditional and representational theories as contributions to our understanding of the logic of application. (shrink)

Suppose that the axioms of conjoint measurement hold for quantities having two independent components and that the axioms of extensive measurement hold for each of these components separately. In a recent paper, Luce shows that if a certain axiom relates the two measurement systems, then the conjoint measure on each component is a power function of the extensive measure on that component. Luce supposes that each component set contains all "rational fractions" of each element in that set; in this note (...) we present an alternative form of the axiom relating the measurement systems that enables us to prove Luce's result without requiring that such "rational fractions" exist. (shrink)

In this paper, I argue for a distinction between two scales of coordination in scientific inquiry, through which I reassess Georg Simon Ohm’s work on conductivity and resistance. Firstly, I propose to distinguish between measurement coordination, which refers to the specific problem of how to justify the attribution of values to a quantity by using a certain measurement procedure, and general coordination, which refers to the broader issue of justifying the representation of an empirical regularity by means of abstract mathematical (...) tools. Secondly, I argue that the development of Ohm’s measurement practice between the first and the second experimental phase of his work involved the change of the measurement coordination on which he relied to express his empirical results. By showing how Ohm relied on different calibration assumptions and practices across the two phases, I demonstrate that the concurrent change of both Ohm’s experimental apparatus and the variable that Ohm measured should be viewed based on the different form of measurement coordination. Finally, I argue that Ohm’s assumption that tension is equally distributed in the circuit is best understood as part of the general coordination between Ohm’s law and the empirical regularity that it expresses, rather than measurement coordination. (shrink)

Suppose that entities composed of two independent components are qualitatively ordered by a relation that satisfies the axioms of conjoint measurement. Suppose, in addition, that each component has a concatenation operation that, together either with the ordering induced on the component by the conjoint ordering or with its converse, satisfies the axioms of extensive measurement. Without further assumptions, nothing can be said about the relation between the numerical scales constructed from the two measurement theories except that they are strictly monotonic. (...) An axiom is stated that relates the two types of measurement theories, seems to cover all cases of interest in physics, and is sufficient to establish that the conjoint measurement scales are power functions of the extensive measurement scales. (shrink)

Peacocke’s recent The Primacy of Metaphysics covers a wide range of topics. This critical discussion focuses on the book’s novel account of extensive magnitudes and numbers. First, I further develop and defend Peacocke’s argument against nominalistic approaches to magnitudes and numbers. Then, I argue that his view is more Aristotelian than Platonist because reified magnitudes and numbers are accounted for via corresponding properties and these properties’ application conditions, and because the mentioned objects have a “shallow nature” relative to the corresponding (...) properties. The result is an asymmetric conception of abstraction, which contrasts with the neo-Fregeans’ but has important tenets in common with an approach that I have recently developed. (shrink)

In both axiomatic theories and the practice of extensive measurement, it is assumed that a series of replicas of any given object can be found. The replicas give rise to a standard series, the "multiples" of the given object. The numerical value assigned to any object is determined, approximately, by comparisons with members of a suitable standard series. This prescription introduces unspecified errors, if the comparison process is somewhat insensitive, so that "replicas" are not really equivalent. In this paper, it (...) is assumed that the comparison process leads only to a semiorder, which allows for such insensitivity. It is shown that, nevertheless, extensive measurement can be carried out, provided that a certain set of (plausible) axioms is valid. Approximate measures, and their limits of error, can be derived from finite sets of semiorder observations. These approximate measures converge to ratio-scale exact measurement. (shrink)

This paper states two sets of axioms sufficient for extensive measurement. The first set, like previously published axioms, requires that each of the objects measured must be classifiable as either greater than, or less than, or indifferent to each other object. The second set, however, requires only that any two objects be classifiable as either indifferent or different, and does not need any information about which object is greater. Each set of axioms produces an extensive scale with the usual properties (...) of additivity and uniqueness except for unit. Moreover, the axioms imply Weber's Law: whether two objects are indifferent depends only upon the ratio of their scale values. (shrink)

An exact formulation of the frequency interpretation of probability is proposed on the basis of G. Ludwig's concept of physical theories. Starting from a short outline of this concept, a formal definition of weak approximate reduction is developed, which covers the reduction of probability to frequency as a special case.

Measurement is widely applied because its results are assumed to be more reliable than opinions and guesses, but this reliability is sometimes justified in a stereotyped way. After a critical analysis of such stereotypes, a structural characterization of measurement is proposed, as partly empirical and partly theoretical process, by showing that it is in fact the structure of the process that guarantees the reliability of its results. On this basis the role and the structure of background knowledge in measurement and (...) the justification of the conditions of object-relatedness ("objectivity") and subject-independence ("intersubjectivity") of measurement are specifically discussed. (shrink)

We examine the notions of negative, infinite and hotter than infinite temperatures and show how these unusual concepts gain legitimacy in quantum statistical mechanics. We ask if the existence of an infinite temperature implies the existence of an actual infinity and argue that it does not. Since one can sensibly talk about hotter than infinite temperatures, we ask if one could legitimately speak of other physical quantities, such as length and duration, in analogous terms. That is, could there be longer (...) than infinite lengths or temporal durations? We argue that the answer is surprisingly yes, and we outline the properties of a number system that could be employed to characterize such magnitudes. (shrink)

Part II: Suppes and the mature theory. Representation and uniqueness.

Extensive measurement is the standard measurement-theoretic approach for constructing a ratio scale. It involves the comparison of objects that can be concatenated in an additively representable way. This paper studies the implications of extensively measurable welfare for social choice theory. We do this in two frameworks: an Arrovian framework with a fixed population and no interpersonal comparisons, and a generalized framework with variable populations and full interpersonal comparability. In each framework we use extensive measurement to introduce novel domain restrictions, independence (...) conditions, and constraints on social evaluation. We prove a welfarism theorem for these domains and characterize the social welfare functions that satisfy the axioms of extensive measurement at both the individual and social levels. The main results are simple axiomatizations of strong dictatorship in the Arrovian framework and classical utilitarianism in the generalized framework. (shrink)

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...) representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

In this paper I examine Field’s account of the applicability of mathematics from a measurementtheoretic perspective. Within this context, I object to Field’s instrumentalism, arguing that it depends on an incomplete analysis of applicability. I show in particular that, once the missing piece of analysis is provided, the role played by numerical entities in basic empirical theories must be revised: such revision implies that instrumentalism should be rejected and mathematical entities be regarded not merely as useful tools but also as (...) conceptual schemata by means of which we can articulate our understanding of experience. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)