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)

Extensive measurement theory is developed in terms of theratio of two elements of an arbitrary (not necessarily Archimedean) extensive structure; thisextensive ratio space is a special case of a more general structure called aratio space. Ratio spaces possess a natural family of numerical scales (r-scales) which are definable in non-representational terms; ther-scales for an extensive ratio space thus constitute a family of numerical scales (extensive r-scales) for extensive structures which are defined in a non-representational manner. This is interpreted as involving (...) arelational theory of quantity which contrasts in certain respects with thequalitative theory of quantity implicit in standard representational extensive measurement theory. The representational properties of extensiver-scales are investigated, and found to coincide withweak extensive measurement in the sense of Holman. This provides support for the thesis (developed in a separate paper) that weak extensive measurement is a more natural model of actual physical extensive scales than is the standard model using strong extensive measurement. Finally, the present apparatus is applied to slightly simplify the existing necessary and sufficient conditions for strong extensive measurement. (shrink)

To state an important fact about the photon, physicists use such expressions as (1) “the photon has zero (null, vanishing) mass” and (2) “the photon is (a) massless (particle)” interchangeably. Both (1) and (2) express the fact that the photon has no non-zero mass. However, statements (1) and (2) disagree about a further fact: (1) attributes to the photon the property of zero-masshood whereas (2) denies that the photon has any mass at all. But is there really a difference between (...) saying that something has zero mass (charge, spin, etc.) and saying that it has no mass (charge, spin, etc.)? Does the distinction cut any physical or philosophical ice? I argue that the answer to these questions is yes. Put briefly, the claim of this paper is that some zero-value physical quantities are not mere “privations”, “absences” or “holes in being”. They are respectable properties in the same sense in which their non-zero partners are. This, I will show, has implications for the debate between two rival views of the nature of property, dispositionalism and categoricalism. (shrink)

The history of the idea of predicate is the history of its emancipation. The lesson of this paper is that there are two more steps to take. The first is to recognize that predicates need not have a fixed degree, the second that they can combine with plural terms. We begin by articulating the notion of a multigrade predicate: one that takes variably many arguments. We counter objections to the very idea posed by Peirce, Dummett's Frege, and Strawson. We show (...) that the arguments of a multigrade predicate must be grouped into places, with perhaps several arguments occupying positions at a place. Variability may relate to places or positions. Russell's multiple judgement predicate turns out to be just one example of a family-'is necessarily true of', 'is said of', 'is instantiated by' and so on-of predicates with variably many places. Our main concern, however, is lists. Any adequate account of lists must include plural as well as singular terms. On one account, lists are mere strings of separate arguments, which occupy variably many positions within a place of a multigrade predicate. A quite different account takes the list itself to be a compound plural term. We compare these rival conceptions, and reach some surprising conclusions. As a coda, we deploy the conceptual apparatus developed in the paper to assess Morton's pioneer system of multigrade logic. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

This note considers a recent challenge to Field's nominalization programme due to Joseph Melia, who argues that Field's treatment of mass involves unacceptable ontological extravagance. I explain how Field can get around the difficulty by adding a new operator to his language. This tactic appears to threaten Field's argument against relationism about space; I argue, however, that this is not a genuine problem.

Scientific Essentialism defends the view that the fundamental laws of nature depend on the essential properties of the things on which they are said to operate, and are therefore not independent of them. These laws are not imposed upon the world by God, the forces of nature or anything else, but rather are immanent in the world. Ellis argues that ours is a dynamic world consisting of more or less transient objects which are constantly interacting with each other, and whose (...) identities depend on their roles in these processes. Natural objects must behave as they do, because to do otherwise would be contrary to their natures. The laws of nature are, therefore, metaphysically necessary, and consequently, there are necessary connections between events. Brian Ellis calls for the rejection of the theory of Humean Supervenience and an implementation of a new kind of realism in philosophical analysis. (shrink)

Resemblances obtain not only between objects but between properties. Resemblances of the latter sort - in particular resemblances between quantitative properties - prove to be the downfall of a well-known theory of universals, namely the one presented by David Armstrong. This paper examines Armstrong's efforts to account for such resemblances within the framework of his theory and also explores several extensions of that theory. All of them fail.

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

In physics, objects are often assigned vector characteristics such as a specific velocity. How can this be understood from a metaphysical point of view – is assigning an object a vector characteristic to attribute it an intrinsic property? As a short review of Newtonian, special relativistic and general relativistic physics shows, if we wish to assign some object a vector characteristic, we have to relate it to something – call it S. If S is to be different from the original (...) object – and I argue for this assumption – then having the specific vector characteristic is not an intrinsic property under different readings of “intrinsic”. For instance, I argue that lonely objects with different orientations do not constitute metaphysically distinct possibilities. There are, however, difficulties in applying the loneliness test, and they concern the role of the space‐time. (shrink)

In this paper I provide an ontology for the co‐variant vectors, contra‐variant vectors and tensors that are familiar from General Relativity. This ontology is developed in response to a problem that Timothy Maudlin uses to argue against universals in the interpretation of physics. The problem is that if vector quantities are universals then there should be a way of identifying the same vector quantity at two different places, but there is no absolute identification of vector quantities, merely a path‐relative one.My (...) solution to the problem is to use the mathematical characterization of vectors as differential operators on scalar fields. On the proposed hypothesis a scalar field is a conjunctive state of affairs, and vector and tensor fields are relations instantiated by scalar fields. (shrink)

As is well known, Aristotelian natural philosophy, and many other systems of natural philosophy since, have relied heavily on teleology and teleological causation. Somehow, the purpose or end of an obj ect can be used to predict and explain what that object does: once you know that the end of an acorn is to become an oak, and a few things about what sorts of circumstances are conducive to the attainment of this end, you can predict a lot about the (...) sprouting of the acorn and the subsequent behaviour of the piece of vegetation that results. Once you know that a rock seeks to move towards the centre of the Earth, you gain some insight into why it falls when released, and why it deforms the carpet or foot that it lands on. Once you know that the rabbit seeks to preserve itself, you can predict it will run from the fox. And so on. There are at least three features of Aristotle’s teleology, and more generally of an Aristotelian frame of mind about teleology, that may induce suspicion. One is that an end can serve as a "cause": as well as the sort of causation we all recognize, efficient causation, there are other forms, one of which is teleological causation. However, this can look less odd if we think of causes as things that figure in "because" answers to "why" questions. Whether or not self-preservation, or the rabbit’s continued existence, or something similar, causes the rabbit to run, the reply "because it seeks to continue in existence" certainly makes sense as an answer, or part of an answer, to a question about why it ran from the fox. (At present we are only. (shrink)

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I note (...) in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

John Hawthorne is widely regarded as one of the finest philosophers working today. He is perhaps best known for his contributions to metaphysics, and this volume collects his most notable papers in this field. Hawthorne offers original treatments of fundamental topics in philosophy, including identity, ontology, vagueness, and causation. Six of the essays appear here for the first time, and there is a valuable introduction to guide the reader through the selection.

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)