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.

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems; the same problems look different when we change the lens. There has recently been a shift to "postmodal" conceptual tools: concepts of ground, essence, and fundamentality. This shift transforms the debate over structuralism in the metaphysics of science and philosophy of mathematics. Structuralist theses say that patterns are "prior" to the nodes in the patterns. In modal (...) terms this would mean that the nodes cannot vary independently of the pattern. But its postmodal meaning is unclear. Does it mean, e.g., that a fundamental account of reality somehow speaks only of patterns? What would that mean? Three structuralist positions are examined through a postmodal lens: nomic/causal/dispositional essentialism, structuralism about individuals (e.g., structural realism, e.g., ante rem mathematical structuralism), comparativism about quantities. The question of when theories are equivalent, and how that impacts the debate over structuralism, is also discussed. (shrink)

A collection of 13 papers by David Lewis, written on a variety of topics including causation, counterfactuals and indicative conditionals, the direction of time, subjective and objective probability, explanation, perception, free will, and rational decision. The conclusions reached include the claim that time travel is possible, that counterfactual dependence is asymmetrical, that events are properties of spatiotemporal regions, that the Prisoners’ Dilemma is a Newcomb problem, and that causation can be analyzed in terms of counterfactual dependence between events. These papers (...) can be seen as a “prolonged campaign” for a philosophical position Lewis calls “Humean supervenience,” according to which “all there is to the world is a vast mosaic of local matters of particular fact,” with all global features of the world thus supervening on the spatiotemporal arrangement of local qualities. (shrink)

Are there really beliefs? Or are we learning (from neuroscience and psychology, presumably) that, strictly speaking, beliefs are figments of our imagination, items in a superceded ontology? Philosophers generally regard such ontological questions as admitting just two possible answers: either beliefs exist or they don't. There is no such state as quasi-existence; there are no stable doctrines of semi-realism. Beliefs must either be vindicated along with the viruses or banished along with the banshees. A bracing conviction prevails, then, to the (...) effect that when it comes to beliefs (and other mental items) one must be either a realist or an eliminative materialist. (shrink)

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

In a revolutionary new book, a theoretical physicist attacks the foundations of modern scientific theory, including the notion of time, as he shares evidence of ...

This paper argues that ground is irreducibly plural: a group of facts can be grounded together, as a collective, even though no member of the group has a ground on its own. This kind of plural grounding is applied to the metaphysics of individuals and quantities, yielding a “structuralist” view in each case. Some more general implications of plural grounding are also discussed.

This book espouses a theory of scientific realism in which due weight is given to mathematics and logic. The authors argue that mathematics can be understood realistically if it is seen to be the study of universals, of properties and relations, of patterns and structures, the kinds of things which can be in several places at once. Taking this kind of scientific platonism as their point of departure, they show how the theory of universals can account for probability, laws of (...) nature, causation and explanation, and explore the consequences in all these fields. This will be an important book for all philosophers of science, logicians and metaphysicians, and their graduate students. The readership will also include those outside philosophy interested in the interrelationship of philosophy and science. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

In recent literature, it has become clear that quantum physics does not refute Humeanism: Lewis’s thesis of Humean supervenience can be literally true even in the light of quantum entanglement. This point has so far been made with respect to Bohm’s quantum theory. Against this background, this paper seeks to achieve the following four results: to generalize the option of quantum Humeanism from Bohmian mechanics to primitive ontology theories in general; to show that this option applies also to classical mechanics; (...) to establish that it requires a commitment to matter as primitive stuff, but no commitment to natural properties ; to point out that by removing the commitment to properties, the stock metaphysical objections against Humeanism from quidditism and humility no longer apply. In that way, quantum physics strengthens Humeanism instead of refuting it. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the primitive (...) stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...) the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

The nature of measurement is a topic of central concern in the philosophy of science and, indeed, measurement is the essential link between science and mathematics. Professor Ellis's book, originally published in 1966, is the first general exposition of the philosophical and logical principles involved in measurement since N. R. Campbell's Principles of Measurement and Calculation, and P. W. Bridgman's Dimensional Analysis. Professor Ellis writes from an empiricist standpoint. His object is to distinguish and define the basic concepts in measurement, (...) for example: scale, quantity, unit. dimension, number and probability. He discusses the problem of classifying scales of measurement and the special logical problems associated with each kind of scale. A translation of mach's Critique on the Concept of Temperature, which gives his views on the nature of measurement more fully than in any of his other works, is given as an appendix. (shrink)

The book expounds most of the doctrines that would later be identified with the classical period of the Vienna Circle.

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)

Zeno argued that since at any instant an arrow does not change its location, the arrow does not move at any time, and hence motion is impossible. I discuss the following three views that one could take in view of Zeno's argument:(i) the "at-at" theory, according to which there is no such thing as instantaneous velocity, while motion in the sense of the occupation of different locations at different times is possible,(ii) the "impetus" theory, according to which instantaneous velocities do (...) exist but these are only contingently and causally related to the temporal developments of positions,(iii) the "no instants" theory, according to which instants in time do not exist, and hence instantaneous velocities do not exist, while motion, in the sense of different areas occupied during different time intervals, is possible.I argue that, despite the fact that there have been interesting and relevant developments in mathematics and physics since the time of Zeno, each of these views still has serious drawbacks. (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)

The concept of mass is one of the most fundamental notions in physics, comparable in importance only to those of space and time. But in contrast to the latter, which are the subject of innumerable physical and philosophical studies, the concept of mass has been but rarely investigated. Here Max Jammer, a leading philosopher and historian of physics, provides a concise but comprehensive, coherent, and self-contained study of the concept of mass as it is defined, interpreted, and applied in contemporary (...) physics and as it is critically examined in the modern philosophy of science. With its focus on theories proposed after the mid-1950s, the book is the first of its kind, covering the most recent experimental and theoretical investigations into the nature of mass and its role in modern physics, from the realm of elementary particles to the cosmology of galaxies.The book begins with an analysis of the persistent difficulties of defining inertial mass in a noncircular manner and discusses the related question of whether mass is an observational or a theoretical concept. It then studies the notion of mass in special relativity and the delicate problem of whether the relativistic rest mass is the only legitimate notion of mass and whether it is identical with the classical mass. This is followed by a critical analysis of the different derivations of the famous mass-energy relationship E = mc2 and its conflicting interpretations. Jammer then devotes a chapter to the distinction between inertial and gravitational mass and to the various versions of the so-called equivalence principle with which Newton initiated his Principia but which also became the starting point of Einstein's general relativity, which supersedes Newtonian physics. The book concludes with a presentation of recently proposed global and local dynamical theories of the origin and nature of mass.Destined to become a much-consulted reference for philosophers and physicists, this book is also written for the nonprofessional general reader interested in the foundations of physics. (shrink)

Sometimes, ignorance is inexpressible. Lewis recognized this when he argued, in “Ramseyan Humility,” that we cannot know which property occupies which causal role. This peculiar state of ignorance arises in a number of other domains too, including ignorance about our position in space and the identities of individuals. In these cases, one does not know something, and yet one cannot give voice to one's ignorance in a certain way. But what does the ignorance in these cases consist in? This essay (...) argues that many standard models of ignorance cannot account for the phenomenon of inexpressible ignorance. It then develops an alternative model that does better, on which the ignorance consists in a failure to identify something by way of its nature or essence. (shrink)

Physicists who work on canonical quantum gravity will sometimes remark that the general covariance of general relativity is responsible for many of the thorniest technical and conceptual problems in their field.1 In particular, it is sometimes alleged that one can trace to this single source a variety of deep puzzles about the nature of time in quantum gravity, deep disagreements surrounding the notion of ‘observable’ in classical and quantum gravity, and deep questions about the nature of the existence of spacetime (...) in general relativity. Philosophers who think about these things are sometimes skeptical about such claims. We have all learned that Kretschmann was quite correct to urge against Einstein that the “General Theory of Relativity” was no such thing, since any theory could be cast in a generally covariant form, and hence the general covariance of general relativity could not have any physical content, let alone bear the kind of weight that Einstein expected it to.2 Friedman’s assessment is widely accepted: “As Kretschmann first pointed out in 1917, the principle of general covariance has no physical content whatever: it specifies no particular physical theory; rather, it merely expresses our commitment to a certain style of formulating physical theories” (1984, p. 44). Such considerations suggest that general covariance, as a technically crucial but physically contentless feature of general relativity, simply cannot be the source of any significant conceptual or physical problems.3 Physicists are, of course, conscious of the weight of Kretschmann’s points against Einstein. Yet they are considerably more ambivalent than their philosophical colleagues. Consider Kuchaˇr’s conclusion at the end of a discussion of this topic. (shrink)

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

This paper is concerned with the debate between substantival and relational theories of space-time, and discusses two difficulties that beset the relationalist: a difficulty posed by field theories, and another difficulty called the problem of quantities. A main purpose of the paper is to argue that possibility can not always be used as a surrogate of ontology, and that in particular that there is no hope of using possibility to solve the problem of quantities.

Absolutism about mass within Newtonian gravity claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Defenders of comparativism promise to recover all the empirical and theoretical virtues of absolutism, but at a lower ‘metaphysical cost’. This article develops a Machian form of comparativism about mass in Newtonian gravity, obtained by replacing Newton’s constant in the law of universal gravitation by another constant divided by the sum over all masses. Although this form of comparativism is indeed empirically (...) equivalent to the absolutist version of Newtonian gravity—thereby meeting the challenge posed by the comparativist’s bucket argument—it is argued that the explanatory power and metaphysical parsimony of comparativism are highly questionable. (shrink)

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has no structure whatsoever. The (...) main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (shrink)

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

A “frame of reference” is a standard relative to which motion and rest may be measured; any set of points or objects that are at rest relative to one another enables us, in principle, to describe the relative motions of bodies. A frame of reference is therefore a purely kinematical device, for the geometrical description of motion without regard to the masses or forces involved. A dynamical account of motion leads to the idea of an “inertial frame,” or a reference (...) frame relative to which motions have distinguished dynamical properties. For that reason an inertial frame has to be understood as a spatial reference frame together with some means of measuring time, so that uniform motions can be distinguished from accelerated motions. The laws of Newtonian dynamics provide a simple definition: an inertial frame is a reference-frame with a time-scale, relative to which the motion of a body not subject to forces is always rectilinear and uniform, accelerations are always proportional to and in the direction of applied forces, and applied forces are always met with equal and opposite reactions. It follows that, in an inertial frame, the center of mass of a system of bodies is always at rest or in uniform motion. It also follows that any other frame of reference moving uniformly relative to an inertial frame is also an inertial frame. For example, in Newtonian celestial mechanics, taking the “fixed stars” as a frame of reference, we can determine an inertial frame whose center is the center of mass of the solar system; relative to this frame, every acceleration of every planet can be accounted for as a gravitational interaction with some other planet in accord with Newton 's laws of motion. (shrink)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

Several philosophers of science and metaphysicians claim that the dispositional properties of fundamental particles, such as the mass, charge, and spin of electrons, are ungrounded in any further properties. It is assumed by those making this argument that such properties are intrinsic, and thus if they are grounded at all they must be grounded intrinsically. However, this paper advances an argument, with one empirical premise and one metaphysical premise, for the claim that mass is extrinsically grounded and is thus an (...) extrinsic disposition. Although the argument concerns mass characterized as a disposition, it applies equally well whether mass is a categorical or dispositional property; however, the dispositional nature of mass is relevant to some important objections and implications discussed. (shrink)

INTRODUCTION TO THE ARGUMENT OF 1768 Some ordinary facts about the world we live in can be readily explained by other ordinary facts. One can, for example, explain the fact that when we are facing north the sun rises on the right and ...

The debate concerning the ontological status of spacetime is standardly construed as a dilemma between substantivalism and relationalism. I argue that a trilemma is more appropriate, emergent spacetime theories being the third category. Traditional philosophical arguments do not distinguish between emergent spacetime and substantivalism. It is arguments from physics that suggest giving up substantivalism in favour of emergent spacetime theories. The remaining new dilemma is between emergent spacetime and relationalism. I provide a list of questions, which one should consider when (...) discussing emergent spacetime theories, and apply them to a quantum superfluid toy model of emergent spacetime. (shrink)