Thermoscopes, thermometers, and the foundations of measurement

Psychologists debate whether mental attributes can be quantified or whether they admit only qualitative comparisons of more and less. Their disagreement is not merely terminological, for it bears upon the permissibility of various statistical techniques. This article contributes to the discussion in two stages. First it explains how temperature, which was originally a qualitative concept, came to occupy its position as an unquestionably quantitative concept (§§1–4). Specifically, it lays out the circumstances in which thermometers, which register quantitative (or cardinal) differences, became distinguishable from thermoscopes, which register merely qualitative (or ordinal) differences. I argue that this distinction became possible thanks to the work of Joseph Black, ca. 1760. Second, the article contends that the model implicit in temperature’s quantitative status offers a better way for thinking about the quantitative status of mental attributes than models from measurement theory (§§5–6).     

The problem of contextuality and the impossibility of experimental metaphysics thereof

Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To this end, we give a clear presentation of the hidden variable models due to Meyer, Kent and Clifton (MKC), which would supposedly nullify the Kochen–Specker theorem. Although we disagree with this last statement, the models do play a significant role in the discussion on the meaning of contextuality. In fact, we introduce a specific MKC-model of which we show that it is non-contextual and completely in agreement with quantum mechanical predictions. We also investigate the possibility of other definitions of non-contextuality—with an emphasis on operational definitions—and argue that any useful definition relies on the specification of a theoretical framework. It is therefore concluded that no experimental test can yield any conclusions about contextuality on a metaphysical level.     

Newton–Cartan theory and teleparallel gravity: The force of a formulation

It is well-known that Newtonian gravity, commonly held to describe a gravitational force, can be recast in a form that incorporates gravity into the geometry of the theory: Newton–Cartan theory. It is less well-known that general relativity, a geometrical theory of gravity, can be reformulated in such a way that it resembles a force theory of gravity; teleparallel gravity does just this. This raises questions. One of these concerns theoretical underdetermination. I argue that these theories do not, in fact, represent cases of worrying underdetermination. On close examination, the alternative formulations are best interpreted as postulating the same spacetime ontology. In accepting this, we see that the ontological commitments of these theories cannot be directly deduced from their mathematical form. The spacetime geometry involved in a gravitational theory is not a straightforward consequence of anything internal to that theory as a theory of gravity. Rather, it essentially relies on the rest of nature (the non-gravitational interactions) conspiring to choose the appropriate set of inertial frames.     

Newton’s notion and practice of unification

In this paper I deal with a neglected topic with respect to unification in Newton’s Principia. I will clarify Newton’s notion (as can be found in Newton’s utterances on unification) and practice of unification (its actual occurrence in his scientific work). In order to do so, I will use the recent theories on unification as tools of analysis (Kitcher, Salmon and Schurz). I will argue, after showing that neither Kitcher’s nor Schurz’s account aptly capture Newton’s notion and practice of unification, that Salmon’s later work is a good starting point for analysing this notion and its practice in the Principia. Finally, I will supplement Salmon’s account in order to answer the question at stake.     

Representing with imaginary models: Formats matter

Models such as the simple pendulum, isolated populations, and perfectly rational agents, play a central role in theorising. It is now widely acknowledged that a study of scientific representation should focus on the role of such imaginary entities in scientists’ reasoning. However, the question is most of the time cast as follows: How can fictional or abstract entities represent the phenomena? In this paper, I show that this question is not well posed. First, I clarify the notion of representation, and I emphasise the importance of what I call the “format” of a representation for the inferences agents can draw from it. Then, I show that the very same model can be presented under different formats, which do not enable scientists to perform the same inferences. Assuming that the main function of a representation is to allow one to draw predictions and explanations of the phenomena by reasoning with it, I conclude that imaginary models in abstracto are not used as representations: scientists always reason with formatted representations. Therefore, the problem of scientific representation does not lie in the relationship of imaginary entities with real systems. One should rather focus on the variety of the formats that are used in scientific practice.     

Local reduction in physics

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called “reduction.” While certain influential accounts of inter-theory reduction in physics take reduction to require a single “global” derivation of one theory׳s laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker “local” form of reduction, which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows a certain liberalized construal of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the “physicist׳s” limit-based notion of reduction.     

Mechanistic artefact explanation

One thing about technical artefacts that needs to be explained is how their physical make-up, or structure, enables them to fulfil the behaviour associated with their function, or, more colloquially, how they work. In this paper I develop an account of such explanations based on the familiar notion of mechanistic explanation. To accomplish this, I (1) outline two explanatory strategies that provide two different types of insight into an artefact’s functioning, and (2) show how human action inevitably plays a role in artefact explanation. I then use my own account to criticize other recent work on mechanistic explanation and conclude with some general implications for the philosophy of explanation.     

Formalizing the separability condition in Bell's theorem

The nonseparability of physical systems is often invoked in philosophical analyses of what has come to be known as Bell's theorem. Until recently, the formalization of the notion of separability was assumed to be unproblematic, equivalent to that of outcome independence (Jarrett incompleteness). Although this equivalence has been called into question, an alternative has not yet been specified with sufficient precision, leading to confusion as to what kinds of models should be considered separable. I identify four plausible candidates for the proper formalization of the separability condition, understood in terms of part–whole determination, and then discuss the relative merits of each. I show that three of these are, in fact, equivalent to outcome independence under most conditions, and that one is not, raising the possibility of a new decomposition of Bell locality. I also question whether part–whole determination should be considered sufficient for separability.     

Models as interpreters (with a case study from pain science)

Most philosophical accounts of scientific models assume that models represent some aspect, or some theory, of reality. They also assume that interpretation plays only a supporting role. This paper challenges both assumptions. It proposes that models can be used in science to interpret reality. (a) I distinguish these interpretative models from representational ones. They find new meanings in a target system’s behaviour, rather than fit its parts together. They are built through idealisation, abstraction and recontextualisation. (b) To show how interpretative models work, I offer a case study on the scientific controversy over foetal pain. It highlights how pain scientists use conflicting models to interpret the human foetus and its behaviour, and thereby to support opposing claims about whether the foetus can feel pain. (c) I raise a sceptical worry and a methodological challenge for interpretative models. To address the latter, I use my case study to compare how interpretative and representational models ought to be evaluated.     

One phenomenon, many models: Inconsistency and complementarity

The paper examines philosophical issues that arise in contexts where one has many different models for treating the same system. I show why in some cases this appears relatively unproblematic (models of turbulence) while others represent genuine difficulties when attempting to interpret the information that models provide (nuclear models). What the examples show is that while complementary models needn’t be a hindrance to knowledge acquisition, the kind of inconsistency present in nuclear cases is, since it is indicative of a lack of genuine theoretical understanding. It is important to note that the differences in modeling do not result directly from the status of our knowledge of turbulent flows as opposed to nuclear dynamics—both face fundamental theoretical problems in the construction and application of models. However, as we shall, the ‘problem context(s)’ in which the modeling takes plays a decisive role in evaluating the epistemic merit of the models themselves. Moreover, the theoretical difficulties that give rise to inconsistent as opposed to complementary models (in the cases I discuss) impose epistemic and methodological burdens that cannot be overcome by invoking philosophical strategies like perspectivism, paraconsistency or partial structures.     

Quantum reality: A pragmaticized neo-Kantian approach

Despite remarkable efforts, it remains notoriously difficult to equip quantum theory with a coherent ontology. Hence, Healey (2017, 12) has recently suggested that “quantum theory has no physical ontology and states no facts about physical objects or events”, and Fuchs et al. (2014, 752) similarly hold that “quantum mechanics itself does not deal directly with the objective world”. While intriguing, these positions either raise the question of how talk of ‘physical reality’ can even remain meaningful, or they must ultimately embrace a hidden variables-view, in tension with their original project. I here offer a neo-Kantian alternative. In particular, I will show how constitutive elements in the sense of Reichenbach (1920) and Friedman (1999, 2001) can be identified within quantum theory, through considerations of symmetries that allow the constitution of a ‘quantum reality’, without invoking any notion of a radically mind-independent reality. The resulting conception will inherit elements from pragmatist and ‘QBist’ approaches, but also differ from them in crucial respects. Furthermore, going beyond the Friedmanian program, I will show how non-fundamental and approximate symmetries can be relevant for identifying constitutive principles.     

The morals of model-making

I address questions about values in model-making in engineering, specifically: Might the role of values be attributable solely to interests involved in specifying and using the model? Selected examples illustrate the surprisingly wide variety of things one must take into account in the model-making itself. The notions of system (as used in engineering thermodynamics), and physically similar systems (as used in the physical sciences) are important and powerful in determining what is relevant to an engineering model. Another example (windfarms) illustrates how an idea to completely re-characterize, or reframe, an engineering problem arose during model-making.I employ a qualitative analogue of the notion of physically similar systems. Historical cases can thus be drawn upon; I illustrate with a comparison between a geoengineering proposal to inject, or spray, sulfate aerosols, and two different historical cases involving the spraying of DDT (fire ant eradication; malaria eradication). The current geoengineering proposal is seen to be like the disastrous and counterproductive case, and unlike the successful case, of the spraying of DDT. I conclude by explaining my view that model-making in science is analogous to moral perception in action, drawing on a view in moral theory that has come to be called moral particularism.     

The explanatory role of abstraction processes in models: The case of aggregations

Though it is held that some models in science have explanatory value, there is no conclusive agreement on what provides them with this value. One common view is that models have explanatory value vis-à-vis some target systems because they are developed using an abstraction process (i.e., a process which involves omitting features). Though I think this is correct, I believe it is not the whole picture. In this paper, I argue that, in addition to the well-known process of abstraction understood as an omission of features or information, there is also a family of abstraction processes that involve aggregation of features or information and that these processes play an important role in endowing the models they are used to build with explanatory value. After offering a taxonomy of abstraction processes involving aggregation, I show by considering in detail several models drawn from different sciences that the abstraction processes involving aggregation that are used to build these models are responsible (at least partially) for their having explanatory value.     

Uncomfortable bedfellows: Objective quantum Bayesianism and the von Neumann–Lüders projection postulate

In this paper I critically evaluate the justification of the von Neumann–Lüders projection postulate for state changes in projective measurement contexts from the objective quantum Bayesian perspective. I point out that the justification provided so far for the von Neumann–Lüders projection postulate is insufficient. I argue that the best way to correct this problem is to make an assumption, Benign Realism, which is contradictory to the objective quantum Bayesian interpretation of quantum states.     

Did Samuel Clarke really disavow action at a distance in his correspondence with Leibniz?: Newton,Clarke, and Bentley on gravitation and action at a distance

In this paper I ague against John Henry's claim that Newton embraced unmediated action at a distance as an explanation of gravity (Henry, 1994, 1999, 2011, 2014). In particular, I take issue with his apparent suggestion that the fact, as he sees it, that two of Newton's prominent followers, namely, Richard Bentley and Samuel Clarke, embraced unmediated action at a distance as an explanation of gravity provides significant supporting evidence that Newton did as well (see Henry, 1994 and 1999). Instead, I argue that while Bentley did ultimately defend the notion of unmediated action at a distance as an explanation of gravity, Newton himself accepted that notion neither in his correspondence with Bentley, as Henry has maintained, nor in any of his later works. I also provide evidence that suggests that Newton did, in fact, accept both the principle of local causation and the passivity of matter. Finally, I argue that whatever the case may be with respect to Newton on the matter, it is clear from his correspondence with Leibniz, as well as from his Boyle lectures, that contrary to what Henry has maintained, Clarke was a stalwart opponent of unmediated action at a distance due to his strong commitment to both the principle of local causation and the passivity of matter.     

Principle or constructive relativity

Appealing to Albert Einstein's distinction between principle and constructive theories, Harvey Brown has argued for an interpretation of the theory of relativity as a dynamic and constructive theory. Brown's view has been challenged by Michel Janssen and in this paper I investigate their dispute. I argue that their disagreement appears larger than it actually is due to the two frameworks used by Brown and Janssen to express their respective views: Brown's appeal to Einstein's principle–constructive distinction and Janssen's framing of the disagreement as one over the question whether relativity provides a kinematic or a dynamic constraint. I appeal to a distinction between types of theories drawn by H. A. Lorentz two decades before Einstein's distinction to argue that Einstein's distinction represents a false dichotomy. I argue further that the disagreement concerning the kinematics–dynamics distinction is a disagreement about labels but not about substance. There remains a genuine disagreement over the explanatory role of spacetime geometry and here I agree with Brown arguing that Janssen sees a pressing need for an explanation of Lorentz invariance where no further explanation is needed.     

The case of the composite Higgs: The model as a “Rosetta stone” in contemporary high-energy physics

This paper analyses the practice of model-building “beyond the Standard Model” in contemporary high-energy physics and argues that its epistemic function can be grasped by regarding models as mediating between the phenomenology of the Standard Model and a number of “theoretical cores” of hybrid character, in which mathematical structures are combined with verbal narratives (“stories”) and analogies referring back to empirical results in other fields (“empirical references”). Borrowing a metaphor from a physics research paper, model-building is likened to the search for a Rosetta stone, whose significance does not lie in its immediate content, but rather in the chance it offers to glimpse at and manipulate the components of hybrid theoretical constructs. I shall argue that the rise of hybrid theoretical constructs was prompted by the increasing use of nonrigorous mathematical heuristics in high-energy physics. Support for my theses will be offered in form of a historical–philosophical analysis of the emergence and development of the theoretical core centring on the notion that the Higgs boson is a composite particle. I will follow the heterogeneous elements which would eventually come to form this core from their individual emergence in the 1960s and 1970s, through their collective life as a theoretical core from 1979 until the present day.     

Stable regularities without governing laws?

Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens (2003), which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity.     

A Kuhnian defence of inference to the best explanation

According to inference to the best explanation (IBE), scientists infer the loveliest of competing hypotheses, ‘loveliness’ being explanatory virtue. This generates two key objections: that loveliness is too subjective to guide inference, and that it is no guide to truth. I defend IBE using Thomas Kuhn’s notion of exemplars: the scientific theories, or applications thereof, that define Kuhnian normal science and facilitate puzzle-solving. I claim that scientists infer the explanatory puzzle-solution that best meets the standard set by the relevant exemplar of loveliness. Exemplars are the subject of consensus, eliminating subjectivity; divorced from Kuhnian relativism, they give loveliness the context-sensitivity required to be truth-tropic. The resulting account, ‘Kuhnian IBE’, is independently plausible and offers a partial rapprochement between IBE and Kuhn’s account of science.     

Playing with molecules

Recent philosophy of science has seen a number of attempts to understand scientific models by looking to theories of fiction. In previous work, I have offered an account of models that draws on Kendall Walton’s ‘make-believe’ theory of art. According to this account, models function as ‘props’ in games of make-believe, like children’s dolls or toy trucks. In this paper, I assess the make-believe view through an empirical study of molecular models. I suggest that the view gains support when we look at the way that these models are used and the attitude that users take towards them. Users’ interaction with molecular models suggests that they do imagine the models to be molecules, in much the same way that children imagine a doll to be a baby. Furthermore, I argue, users of molecular models imagine themselves viewing and manipulating molecules, just as children playing with a doll might imagine themselves looking at a baby or feeding it. Recognising this ‘participation’ in modelling, I suggest, points towards a new account of how models are used to learn about the world, and helps us to understand the value that scientists sometimes place on three-dimensional, physical models over other forms of representation.