Quantities

Can we do science without numbers? How much contingency is there? These seemingly unrelated questions--one in the philosophy of math and science and the other in metaphysics--share an unexpectedly close connection. For as it turns out, a radical answer to the second leads to a breakthrough on the first. The radical answer is new view about modality called compossible immutabilism. The breakthrough is a new strategy for doing science without numbers. One of the chief benefits of the new strategy is (...) that, unlike the existing substantialism approach from Field (1980), the new strategy naturally generalizes to theories formulated in terms of state space. (shrink)

Donald Davidson argues against the claim that others have an alternative conceptual scheme, even that they could have such a thing: a radically different system of concepts for interpreting the data of sensation. But he strangely goes further: he also denies that mankind has one conceptual scheme, because "How can we intelligibly speak of one, if there cannot be two?" Sir P.F. Strawson asserts that this surely goes too far in his opposition to talk of conceptual schemes. But which premise (...) or inference Davidson relies on is mistaken? Hans Johann-Glock has objected on the grounds that we can intelligibly speak of one thing without being able to intelligibly speak of two, if we can distinguish this thing from some other thing, which may not be a thing of the same type, in this case may not be another conceptual scheme. I argue that Glock's objection fails and I present a different objection to Davidson: that speaking of one scheme is a reasonable shorthand for "There are certain concepts that all (language-using) humans share." One may believe this or merely discuss this under the heading of "There is only one conceptual scheme.". (shrink)

Tatiana Ehrenfest-Afanassjewa was an important physicist, mathematician, and educator in 20th century Europe. While some of her work has recently undergone reevaluation, little has been said regarding her groundbreaking work on dimensional analysis. This, in part, reflects an unfortunate dismissal of her interventions in such foundational debates by her contemporaries. In spite of this, her work on the generalized theory of homogeneous equations provides a mathematically sound foundation for dimensional analysis and has found some appreciation and development. It remains to (...) provide a historical account of Ehrenfest-Afanassjewa's use of the theory of homogeneous functions to ground (and limit) dimensional analysis. We take as a central focus Ehrenfest-Afanassjewa's contributions to a debate on the foundations of dimensional analysis started by physicist Richard Tolman in 1914. I go on to suggest an interpretation of the more thoroughgoing intervention Ehrenfest-Afanassjewa makes in 1926 based on this earlier context, especially her limited rehabilitation of a "theory of similitude" in contradistinction to dimensional analysis. It is shown that Ehrenfest-Afanassjewa has made foundational contributions to the mathematical foundations and methodology of dimensional analysis, our conception of the relation between constants and laws, and our understanding of the quantitative nature of physics, which remain of value. (shrink)

In this paper, I define and study an abstract algebraic structure, the dimensive algebra, which embodies the most general features of the algebra of dimensional physical quantities. I prove some elementary results about dimensive algebras and suggest some directions for future work.

The representational theory of measurement provides a collection of results that specify the conditions under which an attribute admits of numerical representation. The original architects of the theory interpreted the formalism operationally and explicitly acknowledged that some aspects of their representations are conventional. There have been a number of recent efforts to reinterpret the formalism to arrive at a more metaphysically robust account of physical quantities. In this paper we argue that the conventional elements of the representations afforded by the (...) representational theory of measurement require careful scrutiny as one moves toward such an interpretation. To illustrate why, we show that there is a sense in which the very number system in which one represents a physical quantity such as mass or length is conventional. We argue that this result does not undermine the project of reinterpreting the representational theory of measurement for metaphysical purposes in general, but it does undermine a certain class of inferences about the nature of physical quantities that some have been tempted to draw. (shrink)

A large number of diversity measures have been proposed in the literature, almost all of which are designed for sets with elements that differ in multiple aspects. However, these types of measures are not appropriate for sets with elements that differ in a single aspect only, such as duration, value or probability. In this essay I present a new measure of diversity, designed specifically for single aspect diversity. The measure captures the intuitive idea that single aspect diversity is affected by (...) the maximal dissimilarity between the elements, the number of different elements, and the even spacing of the elements’ aspect values, when represented as points in one dimension. I show that the measure satisfies six plausible conditions for a single aspect diversity measure, which concern scale independence, minimal diversity, maximal dissimilarity, restricted function growth, strict monotonicity, and even spacing. The measure is also characterised. (shrink)

Dispositions come in degrees. Powers theorists have suggested that this is explained by the fact that powers come in degrees, too. Degrees of powers have usually been characterised in terms of the robustness of the modal connection between power, stimulus, and manifestation. However, modal strength cannot account for all our comparative judgements between dispositions. In this paper, I argue that there is also a different kind of degrees of powers, which I dub intensity. Intensity is connected to the relation between (...) the magnitude of stimuli and manifestations. I first develop a number of models for intensity degrees; then, I argue that intensity is conceptually independent from modal strength, and that it can do important explanatory work. (shrink)

The distinction between dimensions and units in physics is commonplace. But are dimensions a feature of reality? The most widely-held view is that they are no more than a tool for keeping track of the values of quantities under a change of units. This anti-realist position is supported by an argument from underdetermination: one can assign dimensions to quantities in many different ways, all of which are empirically equivalent. In contrast, I defend a form of dimensional realism, on which some (...) assignments of dimensions to quantities better describe reality than others. The argument I provide is a form of inference to the best explanation. In particular, the technique of dimensional analysis is explanatory, but it is only successful for certain systems of dimensions. Since these dimensional systems support scientific explanations, we have reason to believe that they are real. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

Are widely used measurements in the human sciences (say happiness surveys or depression scales) quantitative or merely ordinal? If they are merely ordinal, could they be developed into quantitative measurements, just like in the progression from thermoscopes to thermometers? Taking inspiration from recent philosophy of measurement, some practitioners express optimism about future human science measurements. The so-called quantity objection stands out for having the only chance of settling the debate in favour of the pessimists. It claims that the problem lies (...) not with current, or likely future, measurement practices in the human sciences, but with human science attributes themselves—they just are not quantitative, but merely ordinal. Hence, they cannot not (thus will not) be measured quantitatively. The argument has a long and distinguished pedigree. This paper assesses old and recent versions of it, namely: the objection made originally to Fechner’s psychophysics by von Kries (among others) and Michell’s recent version of this objection. To do so, the paper first draws important distinctions between different versions of the argument that have been overlooked. Then, it argues that none of the versions of the quantity objection provide a good reason for the optimists to give up their optimism. In particular, Michell’s argument characterizes the measurand (that is, the attribute to be measured) in a way that optimists do not and need not accept. Yet the optimists’ defence articulated here brings with it serious burdens to discharge. The ball is in their court. (shrink)

Comparativists (about mass) eliminate absolute masses from the fundamental ontological picture by virtue of a principle of economy, the “Comparative Razor”, which requires that only mass-relations, that are invariant under (metrical) symmetries be considered fundamental. I show how this weapon backfires. If mass-relations are endowed with a standard (multiplicative) concatenation structure, power-transformations become (metrical) symmetries, leaving comparativists prima facie unable to distinguish a possible world and its duplicate where mass-relations are uniformly squared. Then, I considered possible exit strategies, which unfortunately (...) either rely on hidden absolutist assumptions, or leave comparativists and absolutists on equal footing. (shrink)

Representationalism is a metaphysical theory of quantities which explains the fact that we use unit-relative numbers to represent quantities by appealing to intrinsic, non-numeric relations between individual quantities plus a representation theorem. While the theory is well-developed for quantities such as mass or length, that development has not been extended to "mixed quantities" such as kilogram meters per second or cubed meters per kilogram-seconds-squared. Since typical instances of nomic constants are given in mixed units, this lack of development has gotten (...) tangled up in issues about the metaphysics of constants, including David Baker’s "Pandora" argument against comparativism about quantities. This paper develops a representationalist theory of mixed quantities and explores how it can be used, in tandem with another thesis, to answer Baker’s Pandora argument. (shrink)

On an influential reading, Leibniz's eighteenth-century followers, such as Wolff and Baumgarten, were proto-logicists who sought to transform all propositions into analytic truths. Kant's main innovation, on this reading, lies in asserting that there are synthetic a priori truths. Against this, I establish the importance of a line of thought in Leibniz, Wolff, and Baumgarten that stresses the role of perception for determinate knowledge of magnitudes, such as the objects of geometry. (I also consider Crusius, who hews much closer to (...) an analytic or conceptual account of magnitude.) I argue that these thinkers fail to solve a family of philosophical problems arising from a conflict between (1) their commitment to the objectivity and necessity of mathematics, and (2) their view that a determinate grasp of magnitude partly depends on relations to a perceiver. I then contend that Kant is also a participant in the debate about these problems, that he is closer to his predecessors than usually assumed (though partly rejecting their emphasis on empirical perception), and that at least two problems for his account remain unsolved. (shrink)

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are empirical and (...) dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

There is a growing consensus among philosophers that quantifying value-laden concepts can be epistemically successful and politically legitimate if all value-laden choices in the process of quantification are aligned with stakeholder values. I argue that proponents of this alignment approach have failed to argue for its basic premise: Successful quantification is sufficiently unconstrained to be achievable along multiple, stakeholder-specific pathways. I then challenge this premise by considering a rare example of successful value-laden quantification in seismology, in which stakeholder values had (...) to be disregarded from measure design and testing. The example motivates my contention that value alignment is not a workable source of political legitimacy for successful programs of quantification. (shrink)

2025 update of the entry "Properties".

Although physical theories routinely posit absolute quantities, such as absolute position or intrinsic mass, it seems that only comparative quantities such as distance and mass ratio are observable. But even if there are in fact only distances and mass ratios, the success of absolutist theories means that the world looks just as if there are absolute positions and intrinsic masses. If comparativism is nevertheless true, there is a sense in which this is a cosmic conspiracy: the comparative quantities satisfy certain (...) relations that only absolutism can explain. I show that such cosmic conspiracies are a pervasive feature of comparativist theories. The argument is structurally similar to the well-known No Miracles Argument for scientific realism. Just as anti-realism cannot explain the empirical adequacy of our theories in general, so comparativism cannot explain the empirical adequacy of absolutist theories in particular. (shrink)

A supplement to "Metaphysics and Convention in Dimensional Analysis, 1914-1917" in HOPOS. Includes a transcription of the correspondence along with an editorial introduction and expository notes.

This paper recovers an important, century-old debate regarding the methodological and metaphysical foundations of dimensional analysis. Consideration of Richard Tolman's failed attempt to install the principle of similitude---the relativity of size---as the founding principle of dimensional analysis both clarifies the method of dimensional analysis and articulates two metaphysical positions regarding quantity dimensions. Tolman's position is quantity dimension fundamentalism. This is a commitment to dimensional realism and a set of fundamental dimensions which ground all further dimensions. The opposing position, developed primarily (...) by Bridgman, is quantity dimension conventionalism. Conventionalism is an anti-realism regarding dimensional structure, holding our non-representational dimensional systems have basic quantity dimensions fixed only by convention. This metaphysical dispute was left somewhat unsettled. It is shown here that both of these positions face serious problems: fundamentalists are committed to surplus dimensional structure; conventionalists cannot account for empirical constraints on our dimensional systems nor the empirical success of dimensional analysis. It is shown that an alternative position is available which saves what is right in both: quantity dimension functionalism. (shrink)

I argue that dimensional analysis provides an answer to a skeptical challenge to the theory of model mediated measurement. The problem arises when considering the task of calibrating a novel measurement procedure, with greater range, to the results of a prior measurement procedure. The skeptical worry is that the agreement of the novel and prior measurement procedures in their shared range may only be apparent due to the emergence of systematic error in the exclusive range of the novel measurement procedure. (...) Alternatively: what if the two measurement procedures are not in fact measuring the same quantity? The theory of model mediated measurement can only say that we _assume_ that there is a common quantity. In contrast, I show that the satisfaction of dimensional homogeneity across the metrological extension is independent evidence for the so-called assumption. This is illustrated by the use of dimensional analysis in high pressure experiments. This results in an extension of the theory of model mediated measurement, in which a common quantity in metrological extension is no longer assumed, but hypothesized. (shrink)

In this chapter, we provide an opinionated introduction to contemporary trope bundle theories of substance. We assess different trope bundle theories on the grounds of their two main aims: to provide an adequate account of substances or objects by means of tropes and a reductive analysis of inherence, that is, object's having tropes as their properties. Our discussion begins by a presentation of Donald C. Williams’ and Keith Campbell's paradigmatic trope theories, which maintain that tropes are independent existents. After highlighting (...) the central problems of paradigmatic trope theories, we discuss two more recent developments of trope bundle theory that also take non-relational tropes as independent existents, Anna-Sofia Maurin's and Douglas Ehring's independence theories. Finally, we present two alternative trope bundle theories, according to which tropes are dependent existents, dependence theories, namely, Arda Denkel's Saturation theory and our Strong Nuclear Theory (SNT). Although the latter two theories introduce existential dependencies among tropes, we argue that dependence theories provide a more satisfactory account of substances dividing into natural kinds than independence theories. (shrink)

This paper develops and explores a new framework for theorizing about the measurement and aggregation of well-being. It is a qualitative variation on the framework of social welfare functionals developed by Amartya Sen. In Sen’s framework, a social or overall betterness ordering is assigned to each profile of real-valued utility functions. In the qualitative framework developed here, numerical utilities are replaced by the properties they are supposed to represent. This makes it possible to characterize the measurability and interpersonal comparability of (...) well-being directly, without the use of invariance conditions, and to distinguish between real changes in well-being and merely representational changes in the unit of measurement. The qualitative framework is shown to have important implications for a range of issues in axiology and social choice theory, including the characterization of welfarism, axiomatic derivations of utilitarianism, the meaningfulness of prioritarianism, the informational requirements of variable-population ethics, the impossibility theorems of Arrow and others, and the metaphysics of value. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and explain.

This dissertation draws upon historical studies of scientific practice and contemporary issues in the metaphysics and epistemology of science to account for the nature of physical quantities. My dissertation applies this integrated HPS approach to dimensional analysis—a logic for quantitative physical equations which respects the distinct dimensions of quantities (e.g. mass, length, charge). Dimensional analysis and its historical development serve both as subjects of study and as a sources for solutions to contemporary problems. The dissertation consists primarily of three related (...) papers on: (1) the methodological and metaphysical foundations of dimensional analysis, (2) the use of dimensional analysis in determining physical symmetries, (3) the use of dimensional analysis in securing metrological extension. (shrink)

I provide an account of the physical appropriate to the task of the physicalist while remaining faithful to the usage of “physical” natural to physicists. Physicalism is the thesis that everything in the world is physical, or reducible to the physical. I presuppose that some version of this position is a live epistemic possibility. The physicalist is confronted with Hempel’s dilemma: that physicalism is either false or contentless. The proposed account of the physical avoids both horns and generalizes a recent (...) proposal by Vicente (2011). My account defines physicalism as the thesis that there are no objects that cannot be described by physical quantities. A dimensional account of physical quantities is given: quantities are determined by measurement procedures. (shrink)

Measurement practices are central to most sciences. In the human sciences, however, it remains controversial whether the measurement of human attributes—depression, happiness, intelligence, etc.—has been successful. Are, say, widely used depression questionnaires valid measuring instruments? Can we trust self-reported happiness scales to deliver quantitative measurements as it is sometimes claimed? These and related questions are till today hotly disputed. There are two main frameworks under which human measurements are studied and criticized. One is the so-called construct validity framework. Here, criticisms (...) to human measurements are typically of the form “this instrument is not valid: it does not actually measure the attribute we set out to measure”. The second framework is the standard typology of measurement scales (nominal, ordinal, interval, and ratio). Human measurements are commonly challenged for being merely ordinal—not quantitative: interval or ratio—despite the fact that many researchers use measurement results as if they were quantitative. The first part of the dissertation studies how adequate these frameworks are for evaluating measuring instruments and the inferences they afford. Regarding the concept of validity, it is commonly understood unconditionally, that is, without restricting validity judgments about measuring instruments to context-specific situations. Instruments are said to be (in)valid simpliciter. In Chapter 2, I argue against this conception of validity and in favor of a contextual one. Regarding the second main framework, the standard typology of scales is typically linked to a set of prescriptions regarding (un)justified measurement inferences. I call this classification-cum-prescriptions the “received view” on measurement scales. In chapters 3 and 4, I question the idea that the received view is an impeccable guide for clarifying the kinds of inferences we are licensed to make from measurement results in human science contexts. I motivate general doubts about the adequacy of the received view in Chapter 3, and I articulate these doubts in detail for the specific case of average group comparisons in Chapter 4. The upshot of this first part of the dissertation is a deeper awareness of the complexity surrounding which inferences can legitimately be made from measuring instruments. The first part of the dissertation is largely framed under the assumption that some human attributes are indeed quantitative, even if they are not currently being measured quantitatively. The second part addresses two important issues raised by that assumption. Chapter 5 tackles the so-called “quantity objection”: that human science attributes are themselves not quantitative, thus they cannot be quantitatively measured. This objection has been deployed to argue against optimistic positions regarding human quantification. I argue that the quantity objection is not successful in this sense—it begs the question to these optimistic human scientists that, just like their colleagues in the physical sciences have done, postulate theoretical quantitative attributes as working hypotheses. But what does treating human attributes quantitatively as working hypotheses amount to? And what are, or can be, “amounts” of depression, happiness, etc.? Chapter 6 argues that there is not one but various approaches for quantitatively conceiving of human attributes, each with its own success conditions. This chapter offers a conceptual framework for making progress on debates about controversial human measurements. (shrink)

In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a degreed property to count as degrees of consciousness, (...) and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

In recent work, Christopher Peacocke has argued for a kind of realism (or anti-reductionism) about magnitudes such as temperature and spatial distance. Peacocke’s argument is that magnitudes are an ineliminable commitment of scientific and everyday explanations (including high-level explanations), and that they are the natural candidates for semantic values of our ordinary magnitude talk, and for contents of our mental states. I critique these arguments, in particular focusing on whether the realist has a satisfactory account of how high-level magnitude facts (...) are grounded in lower-level facts. I argue that a less realist (i.e., more reductionist approach) is preferable, or at least viable. I also aim to substantially clarify what is at stake in the debate. (shrink)

Comparativism maintains that physical quantities are ultimately relational in character. For example, an object’s having 1 kg rest mass depends on the relations it stands in to other objects in the universe. Comparativism, its advocates allege, reveals that quantities are not metaphysically mysterious: Quantities are reducible to familiar relations holding among physical objects. Modal accounts of intrinsicality—such as Lewis’s duplication account or Langton and Lewis’s combinatorial account—are popular accounts preserving many of our core intuitions regarding which properties are intrinsic. I (...) argue that to endorse both comparativism and a modal account of intrinsicality, we must reject the plausible thesis that determinable properties are instantiated solely in virtue of their determinates. I call this ‘the determinacy tension’ and I suggest approaches for dissolving it. (shrink)

This paper is about the role of interpersonal comparisons in Harsanyi's aggregation theorem. Harsanyi interpreted his theorem to show that a broadly utilitarian theory of distribution must be true even if there are no interpersonal comparisons of well-being. How is this possible? The orthodox view is that it is not. Some argue that the interpersonal comparability of well-being is hidden in Harsanyi's premises. Others argue that it is a surprising conclusion of Harsanyi's theorem, which is not presupposed by any one (...) of the premises. I argue instead that Harsanyi was right: his theorem and its weighted-utilitarian conclusion do not require interpersonal comparisons of well-being. The key to making sense of this possibility is to treat Harsanyi's weights as dimensional constants rather than dimensionless numbers. (shrink)

According to comparativist theories of quantities, their intrinsic values are not fundamental. Instead, all the quantity facts are grounded in scale-independent relations like "twice as massive as" or "more massive than." I show that this sort of scale independence is best understood as a sort of metaphysical symmetry--a principle about which transformations of the non-fundamental ontology leave the fundamental ontology unchanged. Determinism--a core scientific concept easily formulated in absolutist terms--is more difficult for the comparativist to define. After settling on the (...) most plausible comparativist understanding of determinism, I offer some examples of physical systems that the comparativist must count as indeterministic although the relevant physical theory gives deterministic predictions. Several morals are drawn. In particular: comparativism is metaphysically contingent if true, and it is most natural for a comparativist to accept an at-at theory of motion. (shrink)

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

The term ‘heat’ originates from the Old English word hǣtu, a word of Germanic origin; related to the Dutch ‘hitte’ and German ‘Hitze’. Today, we distinguish three different meanings of the word ‘heat’. First, ‘heat’ is understood in colloquial English as ‘hotness’. There are, in addition, two scientific meanings of ‘heat’. ‘Heat’ can have the meaning of the portion of energy that changes with a change of temperature. And finally, ‘heat’ can have the meaning of the transfer of thermal energy (...) from a hotter to a colder system or body. By contrast, for the Ancients and Scholastics, ‘heat’ was a manifest, real quality of bodies and there was an ontological distinction between biological or innate heat (which was regarded as an innate principle of life for warm-blooded animals) and the physical manifest heat of external objects, which is potentially harmful. During the late Renaissance period, however, both views changed fundamentally and evolved - via the application of physical and mechanical analogies - into the foundations for today’s unified mechanistic theory of heat. (shrink)

This article analyses the relationship between the concept of single aspect similarity and proposed measures of similarity. More precisely, it compares eleven measures of similarity in terms of how well they satisfy a list of desiderata, chosen to capture common intuitions concerning the properties of similarity and the relations between similarity and dissimilarity. Three types of measures are discussed: similarity as commonality, similarity as a function of dissimilarity, and similarity as a joint function of commonality and difference. Relative to the (...) desiderata, it is found that a measure of the second type fares the best. However, rather than recommend this measure alone as a measure of similarity, it is suggested that there are at least three separate concepts of single aspect similarity, corresponding to the three types of measures. In light of this proposal, three of the eleven measures (and variants of these) are deemed acceptable. (shrink)

Ordinarily, the order in which some objects are attached to a scale does not affect the total weight measured by the scale. This principle is shown to fail in certain cases involving infinitely many objects. In these cases, we can produce any desired reading of the scale merely by changing the order in which a fixed collection of objects are attached to the scale. This puzzling phenomenon brings out the metaphysical significance of a theorem about infinite series that is well (...) known by mathematicians but has so far eluded philosophical scrutiny. (shrink)

Newton published his deduction of universal gravity in Principia (first ed., 1687). To establish the universality (the particle-to-particle nature) of gravity, Newton must establish the additivity of mass. I call ‘additivity’ the property a body's quantity of matter has just in case, if gravitational force is proportional to that quantity, the force can be taken to be the sum of forces proportional to each particle's quantity of matter. Newton's argument for additivity is obscure. I analyze and assess manuscript versions of (...) Newton's initial argument within his initial deduction, dating from early 1685. Newton's strategy depends on distinguishing two quantities of matter, which I call ‘active’ and ‘passive’, by how they are measured. These measurement procedures frame conditions on the additivity of each quantity so measured. While Newton has direct evidence for the additivity of passive quantity of matter, he does not for that of the active quantity. Instead, he tries to infer the latter from the former via conceptual analyses of the third law of motion grounded largely on analogies to magnetic attractions. The conditions needed to establish passive additivity frustrate Newton's attempted inference to active additivity. (shrink)

The so-called ‘redintegration experiment’ is traditionally at the center of the comments on the supposed Boyle/Spinoza controversy. A. Clericuzio influentially argued in his publications that, in De nitro, Boyle accounted for the ‘redintegration’ of saltpeter on the grounds of the chemical properties of corpuscles and “did not make any attempt to deduce them from mechanical principles”. By way of contrast, this paper argues that with his De nitro Boyle wanted to illustrate and promote his new corpuscular or mechanical philosophy, and (...) that he made significant attempts to explain the phenomena in terms of mechanical qualities. Boyle had borrowed the ‘redintegration experiment’ from R. Glauber and used it in an attempt to demonstrate that his philosophy was superior to the Peripatetic and Paracelsian theory. Consequently, Clericuzio’s characterization of the Boyle/Spinoza controversy as a discussion between a strict mechanical philosopher and a chemist is problematic and a wider view of Spinoza’s interpretation and its context gives a fairer picture. (shrink)

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything of scientific (...) interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

It would seem that some statements like ‘There are exactly four moons of Jupiter’ and ‘The number of moons of Jupiter is four’ have the same truth-conditions and yet differ in ontological commitment. One strategy to resolve this paradoxical phenomenon is to insist that the statements have not only the same truth-conditions but also the same ontological commitments; the other strategy is to reject the presumption that they have the same truth-conditions. This paper critically examines some popular versions of these (...) two strategies, and defends a new solution according to which the statements have the same ontological commitments and yet differ in truth-conditions. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to the (...) obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

Trope theories aim to eschew the primitive dichotomy between characterising (properties, relations) and characterized entities (objects). This article (in Finnish) presents a new trope theoretical analysis of relational inherence as the best way out of the impasse created by the alleged necessity to choose between an eliminativist and a primitivist ("relata-specific") view about relations in trope theory.

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

Quantities like mass and temperature are properties that come in degrees. And those degrees (e.g. 5 kg) are properties that are called the magnitudes of the quantities. Some philosophers (e.g., Byrne 2003; Byrne & Hilbert 2003; Schroer 2010) talk about magnitudes of phenomenal qualities as if some of our phenomenal qualities are quantities. The goal of this essay is to explore the anti-physicalist implication of this apparently innocent way of conceptualizing phenomenal quantities. I will first argue for a metaphysical thesis (...) about the nature of magnitudes based on Yablo’s proportionality requirement of causation. Then, I will show that, if some phenomenal qualities are indeed quantities, there can be no demonstrative concepts about some of our phenomenal feelings. That presents a significant restriction on the way physicalists can account for the epistemic gap between the phenomenal and the physical. I’ll illustrate the restriction by showing how that rules out a popular physicalist response to the Knowledge Argument. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

In this paper, I take up the question of “how fast does time flow?” This question is usually asked as a rejoinder to the view that time is irreducibly tensed, which is motivated by the fact that we experience the passage of time. I consider what the meaning of this question could be and provide a defence of the view that the passage of time is meaningless (due to its rate of passage being dimensionless), undercutting the motivation for a tensed (...) view of time. (shrink)

This book is about matter. It involves our ordinary concept of matter in so far as this deals with enduring continuants that stand in contrast to the occurrents or processes in which they are involved, and concerns the macroscopic realm of middle-sized objects of the kind familiar to us on the surface of the earth and their participation in medium term processes. The emphasis will be on what science rather than philosophical intuition tells us about the world, and on chemistry (...) rather than the physics that is more usually encountered in philosophical discussions. It is the everyday science of matter characterised by differences of chemical substance that constitutes individuated macroscopic bodies of geological and biological complexity—the continuous matter of macroscopic theory and described by mass terms. -/- The discussion might be characterised as descriptive metaphysics, being content, to paraphrase Strawson’s use of the term, to describe the structure of our scientific thought about the actual world. The method in the central chapters dealing with the nature of matter will be to pursue key steps in the historical development of scientific thought about chemical substance and related concepts with a view to tracing the emergence of a systematic ontological interpretation. Aristotle’s and the Stoics’ discussions of elements and mixtures, based on a continuous view of matter, bear some resemblance to modern, macroscopic conceptions and therefore have some interest as precursors to modern views as well as being of conceptual interest in their own right. Some of the issues they raised are still reflected in modern discussions, despite the considerable increase in complexity of the subject. Other ideas, such as the intimate connection between what modern science distinguishes as substance and phase, maintained their grip on the understanding of matter until the end of the eighteenth century. These are some of the important aspects of the properties of matter that have been neglected by linguistic concerns that have dominated the recent study of mass terms and which the present study seeks to redress. It will be of interest to see how the bounds of possibility are delimited by the laws governing the appropriate use of concepts refined for the purpose of describing the behaviour of matter. But the concern with modality will not stretch to venturing into the realms of metaphysical possibility governed by philosophical speculation about individual essences and underlying natures. -/- Like many contemporary discussions of material objects, this one relies heavily on mereology. Unlike several such discussions, this one adheres to the classical principles of mereology governing the usual dyadic relations of part, overlapping, etc. and the operations of sum, product and difference. These principles apply to the mereological structure of regions of space, intervals of time, processes and quantities of matter. Material objects that gain and lose matter are not understood to gain and lose parts and don’t call for a modification of the classic dyadic mereological relations to triadic relations with the introduction of a third term referring to time. Rather, a distinction is drawn between quantities of matter, which don’t gain or lose parts over time, and individuals, which are typically constituted of different quantities of matter at different times. The proper treatment of the temporal aspect of the features of material objects is a central issue in this book. The topics falling under this heading are addressed by investigating the conditions governing the application of predicates relating time and other entities. Of particular interest here are relations between quantities of matter and times expressing substance kind, phase and mixture. (shrink)

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for the (...) status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

ABSTRACTThis paper presents a view of quantities as ‘adverbial’ entities of a certain kind—more specifically, determinate ways, or modes, of having length, mass, speed, and the like. In doing so, it will be argued that quantities as such should be distinguished from quantitative properties or relations, and are not universals but are particulars, although they are not objects, either. A main advantage of the adverbial view over its rivals will be found in its superior explanatory power with respect to both (...) certain fundamental principles of quantity and ordinary quantitative reasoning involving quantitative relations like three times as long as and 2 metres longer than. (shrink)