The underdetermination of theory by evidence must be distinguished from holism. The latter is a doctrine about the testing of scientific hypotheses; the former is a thesis about empirically adequate logically incompatible global theories or "systems of the world". The distinction is crucial for an adequate assessment of the underdetermination thesis. The paper shows how some treatments of underdetermination are vitiated by failure to observe this distinction, and identifies some necessary conditions for the existence of multiple empirically equivalent global theories. (...) We consider how empiricists should respond to the possibility of such systems of the world. (shrink)

The article proposes a novel approach to the much discussed question of which symmetries have ‘direct empirical significance’ and which do not. The approach is based on a development of a recently proposed framework by Hilary Greaves and David Wallace, who claim that, contrary to the standard folklore among philosophers of physics, ‘local’ symmetries may have direct empirical significance no less than ‘global’ ones. Partly vindicating the standard folklore, a result is derived here from a number of plausible (...) assumptions, that states that local symmetries can indeed have no direct empirical significance. Ways to interpret the result are considered and possible morals are outlined. 1 Introduction2 Greaves and Wallace on Interior versus Non-interior Symmetries3 Elaborating on the Greaves/Wallace Framework4 The Result5 Problems with ’t Hooft’s Beam Splitter6 Summary and Conclusion. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures (...) are studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial distinction is drawn between data equivalence and empirical equivalence. Duhem showed that it is always possible to produce a data equivalent rival to any accepted scientific theory. But there is no reason to regard such a rival as equally well empirically supported and hence no threat to realism. Two (...) theories are empirically equivalent if they share all consequences expressed in purely observational vocabulary. This is a much stronger requirement than has hitherto been recognised— two such ‘rival’ theories must in fact agree on many claims that are clearly theoretical in nature. Given this, it is unclear how much of an impact on realism a demonstration that there is always an empirically equivalent ‘rival’ to any accepted theory would have—even if such a demonstration could be produced. Certainly in the case of the version of realism that I defend—structural realism—such a demonstration would have precisely no impact: two empirically equivalent theories are, according to structural realism, cognitively indistinguishable. (shrink)

In 1991 Larry Laudan and Jarret Leplin proposed a solution for the problem of empirical equivalence and the empirical underdetermination that is often thought to result from it. In this paper we argue that, even though Laudan and Leplin’s reasoning is essentially correct, their solution should be accurately assessed in order to appreciate its nature and scope. Indeed, Laudan and Leplin’s analysis does not succeed in completely removing the problem or, as they put it, in refuting the (...) thesis of underdetermination as a consequence of empirical equivalence. Instead, what they show is merely that science possesses tools that may eventually lead out of an underdetermination impasse. We apply their argument to a real case of two empirically equivalent theories: Lorentz’s ether theory and Einstein’s special relativity. This example illustrates the validity of Laudan and Leplin’s reasoning, but also shows the importance of the reassessment we argue for. (shrink)

Jarrett Leplin in A Novel Defense of Scientific Realism (1997) argues that if the thesis of empirical equivalence is cogent, then the thesis of underdetermination cannot even get off the ground. Part of Leplin's argument rests on the claim that auxiliary hypotheses can be independently confirmed, thus enabling us to determine the epistemic worth of a theory. This, in turn, helps in determining about what we should be realists. Leplin's claims are demonstrated to be problematic. Leplin wants, inconsistently, (...) to use only those auxiliary hypotheses which dovetail with confirmed theories. Finally, a detail of Leplin's argument is found wanting. (shrink)

In this paper I discuss the rule of inference proposed by Kuipers under the name of Inference to the Best Theory. In particular, I argue that the rule needs to be strengthened if it is to serve realist purposes. I further describe a method for testing, and perhaps eventually justifying, a suitably strengthened version of it.

Alexander George has put forward a novel interpretation of the Quine-Carnap debate over analyticity. George argues that Carnap's claim that there exists an analytic-synthetic distinction was held by Carnap to be empty of empirical consequences. As a result, Carnap understood his position to be empirically indistinguishable from Quine's. Although George defends his interpretation only briefly, I show that it withstands further examination and ought to be accepted. The consequences of accepting it undermine a common understanding of Quine's criticism of (...) Carnap, and I argue that it is difficult to find a perspective from which Quine can criticize Carnap in a non-question-begging way. (shrink)

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

The instrumentalist argument from the underdetermination of theories by data runs as follows: (1) every theory has empirically equivalent rivals; (2) the only warrant for believing one theory over another is its possession of a greater measure of empirical virtue; (3) therefore belief in any theory is arbitrary. In this paper, I examine the status of the first premise. Several arguments against the universal availability of empirically equivalent theoretical rivals are criticized, and four algorithms for producing empirically equivalent rivals (...) are defended. I conclude that the case for the first premise of the argument from underdetermination is very strong. The disposition of the argument itself depends on the fate of the second premise. (shrink)

In this paper, I explore Larry Laudan's and Jarrett Leplin's recent claim that empirically equivalent theories may be differentially confirmed. I show that their attempt to prise apart empirical equivalence and epistemic parity commits them to two principles of confirmation that Hempel demonstrated to be incompatible.

String dualities establish empirical equivalence between theories that often look entirely different with respect to their basic ontology and physical structure. Therefore, they represent a particularly interesting example of empirical equivalence in physics. However, the status of duality relations in string physics differs substantially from the traditional understanding of the role played by empirical equivalence. The paper specifies three important differences and argues that they are related to a substantially altered view on the underdetermination (...) of theory building. (shrink)

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The (...) fairly recent acceptance of nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

In this paper I argue that the case of Einstein׳s special relativity vs. Hendrik Lorentz׳s ether theory can be decided in terms of empirical evidence, in spite of the predictive equivalence between the theories. In the historical and philosophical literature this case has been typically addressed focusing on non-empirical features. I claim that non-empirical features are not enough to provide a fully objective and uniquely determined choice in instances of empirical equivalence. However, I argue (...) that if we consider arguments proposed by Richard Boyd, and by Larry Laudan and Jarret Leplin, a choice based on non-entailed empirical evidence favoring Einstein׳s theory can be made. (shrink)

The main purpose of this paper is to investigate various notions of empirical equivalence in relation to the two main arguments for realism in the philosophy of science, namely the no-miracles argument and the indispensability argument. According to realism, one should believe in the existence of the theoretical entities postulated by empirically adequate theories. According to the no-miracles argument, one should do so because truth is the the best explanation of empirical adequacy. According to the indispensability argument, (...) one should do so because the theoretical terms employed in the formulation of an empirically adequate theory are practically indispensable for the formulation of its empirical content. The no-miracles argument might be refuted if one can establish an underdetermination thesis to the effect that every theory has empirically equivalent rivals that are incompatible with each other. Insofar as truth cannot explain the empirical adequacy of two incompatible theories, there is an obvious conflict between the underdetermination thesis and the no-miracles argument. I show that, under certain assumptions, some but not all notions of empirical equivalence support the underdetermination thesis. The indispensability argument might be refuted if one can establish a dispensability thesis to the effect that, for any theory with a practical formulation, there is an empirically equivalent theory with a practical formulation in purely empirical terms. I show that some but not all notions of empirical equivalence support this thesis. (shrink)

In this paper I analyze three artificial examples of empirical equivalence: van Fraassen’s alternative formulations of Newton’s theory, the Poincaré-Reichenbach argument for the conventionality of geometry; and predictively equivalent ‘systems of the world’. These examples have received attention in the philosophy of science literature because they are supposed to illustrate the connection between predictive equivalence and underdetermination of theory choice. I conclude that this view is wrong. These examples of empirical equivalence are harmless with respect (...) to the problem of underdetermination. (shrink)

What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a boundary condition that accounts for the time-asymmetry of the universe. The natural choice is given not by a wave function but by a density matrix. I begin by classifying quantum theories into two types: theories with a fundamental wave function and theories with (...) a fundamental density matrix. The Past Hypothesis is compatible with infinitely many initial wave functions, none of which seems to be particularly natural. However, once we turn to density matrices, the Past Hypothesis provides a natural choice---the normalized projection onto the Past Hypothesis subspace in the Hilbert space. Nevertheless, the two types of theories can be empirically equivalent. To provide a concrete understanding of the empirical equivalence, I provide a novel subsystem analysis in the context of Bohmian theories. Given the empirical equivalence, it seems empirically underdetermined whether the universe is in a pure state or a mixed state. Finally, I discuss some theoretical payoffs of the density-matrix theories and present some open problems for future research. (Bibliographic note: the thesis was submitted for the Master of Science in mathematics at Rutgers University.). (shrink)

Change seems missing in Hamiltonian General Relativity's observables. The typical definition takes observables to have $0$ Poisson bracket with \emph{each} first-class constraint. Another definition aims to recover Lagrangian-equivalence: observables have $0$ Poisson bracket with the gauge generator $G$, a \emph{tuned sum} of first-class constraints. Empirically equivalent theories have equivalent observables. That platitude provides a test of definitions using de Broglie's massive electromagnetism. The non-gauge ``Proca'' formulation has no first-class constraints, so everything is observable. The gauge ``Stueckelberg'' formulation has first-class (...) constraints, so observables vary with the definition. Which satisfies the platitude? The team definition does; the individual definition does not. Subsequent work using the gravitational analog has shown that observables have not a 0 Poisson bracket, but a Lie derivative for the Poisson bracket with the gauge generator $G$. The same should hold for General Relativity, so observables change locally and correspond to 4-dimensional tensor calculus. Thus requiring equivalent observables for empirically equivalent formulations helps to address the problem of time. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent (...) philosophical literature, including definitional equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to (...) make the theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

One typical realist response to the argument from underdetermination of theories by evidence is an appeal to epistemic criteria besides the empirical evidence to argue that, while scientific theories might be empirically equivalent, they are not epistemically equivalent. In this article, I spell out a new and reformulated version of the underdetermination argument that takes such criteria into account. I explain the notion of epistemic equivalence which this new argument appeals to, and argue that epistemic equivalence can (...) be achieved in several, significantly different, ways. On the basis of this ‘multiple realisability’ of epistemic equivalence, I then proceed to explain and examine some of the main consequences of this reformulated underdetermination argument for both realists and anti-realists. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to (...) make the theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

Change and local spatial variation are missing in Hamiltonian general relativity according to the most common definition of observables as having 0 Poisson bracket with all first-class constraints. But other definitions of observables have been proposed. In pursuit of Hamiltonian–Lagrangian equivalence, Pons, Salisbury and Sundermeyer use the Anderson–Bergmann–Castellani gauge generator G, a tuned sum of first-class constraints. Kuchař waived the 0 Poisson bracket condition for the Hamiltonian constraint to achieve changing observables. A systematic combination of the two reforms might (...) use the gauge generator but permit non-zero Lie derivative Poisson brackets for the external gauge symmetry of General Relativity. Fortunately one can test definitions of observables by calculation using two formulations of a theory, one without gauge freedom and one with gauge freedom. The formulations, being empirically equivalent, must have equivalent observables. For de Broglie-Proca non-gauge massive electromagnetism, all constraints are second-class, so everything is observable. Demanding equivalent observables from gauge Stueckelberg–Utiyama electromagnetism, one finds that the usual definition fails while the Pons–Salisbury–Sundermeyer definition with G succeeds. This definition does not readily yield change in GR, however. Should GR’s external gauge freedom of general relativity share with internal gauge symmetries the 0 Poisson bracket, or is covariance sufficient? A graviton mass breaks the gauge symmetry, but it can be restored by parametrization with clock fields. By requiring equivalent observables, one can test whether observables should have 0 or the Lie derivative as the Poisson bracket with the gauge generator G. The latter definition is vindicated by calculation. While this conclusion has been reported previously, here the calculation is given in some detail. (shrink)

Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different “thick” metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our empirical evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones. In this paper, I ask (...) whether this response to the dispensability argument is tenable. I claim that it is not. This is because it presupposes an indefensible thesis about when two empirical consequences are distinct or the same. My argument provides some insight into what our empirical consequences are, and I conclude that empirical evidence is radically metaphysically neutral. This gives us some insight into the significant content of our scientific theories—the content that a scientific realist is committed to—and I show how this insight relates to questions about theoretical equivalence more broadly. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role (...) in the empirical equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are intertranslatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of (...) special relativity lead me to conclude that the two theories are equally explanatory, and thus finally that they are metaphysically equivalent. (shrink)

In this article, I give a counterexample to a claim made in that empirically equivalent theories can often be regarded as theoretically equivalent by treating one as having surplus structure, thereby overcoming the problem of underdetermination of theory choice. The case I present is that of Lorentz's ether theory and Einstein's theory of special relativity. I argue that Norton's suggestion that surplus structure is present in Lorentz's theory in the form of the ether state of rest is based on a (...) misunderstanding of the role that the ether plays in Lorentz's theory, and that in general, consideration of the conceptual framework in which a theory is embedded is vital to understanding the relationship between different theories. (shrink)

In this article I probe the consequences and limits of the underdetermination thesis and the empirical equivalence thesis, using Laudan and Leplin's fecund article as a springboard. Although a realist at heart, my primary intention is not to undermine the anti-realist arguments but rather to try to precisify the challenge the realist, and more generally the participant in the scientific realism debate, faces.

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent (...) philosophical literature, including (generalized) definitional equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 1, which addresses empirical equivalence and definitional equivalence. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent (...) philosophical literature, including (generalized) definitional equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (shrink)

According to the standard interpretation of Einstein’s field equations, gravity consists of mass-energy curving spacetime, and an additional physical force or entity—denoted by Λ (the ‘cosmological constant’)—is responsible for the Universe’s metric-expansion. Although General Relativity’s direct predictions have been systematically confirmed, the dominant cosmological model thought to follow from it—the ΛCDM (Lambda cold dark matter) model of the Universe’s history and composition—faces considerable challenges, including various observational anomalies and experimental failures to detect dark matter, dark energy, or inflation-field candidates. This (...) paper shows that Einstein’s Equivalence Principle entails two possible physical interpretations of General Relativity’s field equations. Although the field equations facially appear to support the standard interpretation—that gravity consists of mass-energy curving spacetime—the field equations can be equivalently understood as holding that gravitational effects instead result from mass-energy accelerating the metric-expansion of a second-order spacetime fabric superimposed upon an absolute, first-order Euclidean space, resulting in the observational appearance of spacetime curvature. This alternative interpretation of relativity is shown to be empirically equivalent to the standard interpretation of relativity, albeit with a changing value for Λ (which is similar to how Λ is understood in the conception of Λ as ‘quintessence’, but in this case takes Λ to be gravity). The reconceptualization is then shown to potentially resolve major observational anomalies for the ΛCDM model, including recent observations conflicting with ΛCDM predictions, as well as failures to directly detect dark matter, dark energy, and inflation field/particle candidates. (shrink)

Genic selectionists (Williams 1966; Dawkins 1976) defend the view that genes are the (unique) units of selection and that all evolutionary events can be adequately represented at the genic level. Pluralistic genic selectionists (Sterelny and Kitcher 1988; Waters 1991; Dawkins 1982) defend the weaker view that in many cases there are multiple equally adequate accounts of evolutionary events, but that always among the set of equally adequate representations will be one at the genic level. We describe a range of cases (...) all involving stable equilibria actively maintained by selection. In these cases genotypic models correctly show that selection is active at the equilibrium point. In contrast, the genic models have selection disappearing at equilibrium. For deterministic models this difference makes no difference. However, once drift is added in, the two sets of models diverge in their predicted evolutionary trajectories. Thus, contrary to received wisdom on this matter, the two sets of models are not empirically equivalent. Moreover, the genic models get the facts wrong. (shrink)

We argue that the economic evaluation of health care (cost–benefit analysis) should respect individual preferences and should incorporate distributional considerations. Relying on individual preferences does not imply subjective welfarism. We propose a particular non-welfarist approach, based on the concept of equivalent income, and show how it helps to define distributional weights. We illustrate the feasibility of our approach with empirical results from a pilot survey.

Using a two-player Tullock-type contest, we show that intuitively and structurally different contests can be strategically equivalent. Strategically equivalent contests generate the same best response functions and, as a result, the same equilibrium efforts. However, strategically equivalent contests may yield different equilibrium payoffs. We propose a simple two-step procedure to identify strategically equivalent contests. Using this procedure, we identify contests that are strategically equivalent to the original Tullock contest, and provide new examples of strategically equivalent contests. Finally, we discuss possible (...) contest design applications and avenues for future theoretical and empirical research. (shrink)

Dark matter is an essential ingredient of the present Standard Cosmological Model, according to which only 5% of the mass/energy content of our universe is made of ordinary matter. In recent times, it has been argued that certain cases of gravitational lensing represent a new type of evidence for the existence of DM. In a recent paper, Peter Kosso attempts to substantiate that claim. His argument is that, although in such cases DM is only detected by its gravitational effects, gravitational (...) lensing is a direct consequence of Einstein's Equivalence Principle and therefore the complete gravitational theory is not needed in order to derive such lensing effects. In this paper I critically examine Kosso's argument: I confront the notion of empirical evidence involved in the discussion and argue that EEP does not have enough power by itself to sustain the claim that gravitational lensing in the Bullet Cluster constitutes evidence for the DM Hypothesis. As a consequence of this, it is necessary to examine the details of alternative theories of gravity to decide whether certain empirical situations are indeed evidence for the existence of DM. It may well be correct that gravitational lensing does constitute evidence for the DM Hypothesis—at present it is controversial whether the proposed modifications of gravitation all need DM to account for the phenomenon of gravitational lensing and if so, of which kind—but this will not be a direct consequence of EEP. (shrink)

In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it (...) has any content in Einsteinian gravitation, but more remains to be said about its methodological role in the development of the theory. I argue that the principle should be understood as a kind of foundational principle known as a criterion of identity. This work extends and substantiates a recent account of the notion of a criterion of identity by William Demopoulos. Demopoulos argues that the notion can be employed more widely than in the foundations of arithmetic and that we see this in the development of physical theories, in particular space–time theories. This new account forms the basis of a general framework for applying a number of mathematical theories and for distinguishing between applied mathematical theories that are and are not empirically constrained. (shrink)

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation (...) to the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

Suppose that two theories θ and θ ′ are observationally equivalent, so that any possible evidence for or against one has the same relation to the other. Are these theories then logically equivalent? If not, is rational choice between them possible (on non-empirical grounds), or must we forever suspend judgment? It is argued that these questions are unintelligible, because the required sense of "observationally equivalent" does not exist. An explanation as to why this fact has been long overlooked is (...) attempted by suggesting that the existence of a precisely describable "domain" for θ and θ ′ frequently makes discussion of observational equivalence possible, though not in the sense required by the above questions. (shrink)

Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are (...) more expressive than algorithms. Refinement of function equivalence by observation of outer interactive behavior and inner computation steps is examined. The change of focus from algorithms specified by computable functions to interaction specified by observation equivalence captures the essence of empirical computer science. Part II relates interaction in models of computation to observation in the natural sciences. Explanatory power in physics is specified by the same observability metric as expressiveness in interactive systems. Realist models of inner structure are characterized by induction, abduction, and Occam's Razor. Interactive realism extends the hidden-variable model of Einstein to hidden interfaces that provide extra degrees of freedom to formulate hypotheses with testable predictions conforming with quantum theory. Greater expressiveness of collaborative computational observers (writers) than single observers implies that hidden-interface models are more expressive than hidden-variable models. By providing a common foundation for empirical computational and physical models we can use precise results about computational models to establish properties of physical models. Part III shows that the evolution in computing from algorithms to interaction parallels that in physics from rationalism to empiricism. Plato's cave metaphor is interactively extended from Platonic rationalism to empiricism. The Turing test is extended to TMs with hidden interfaces that express interactive thinking richer than the traditional Turing test. Interactive (nonmonotonic) extensions of logic such as the closed-world assumption suggest that interactiveness is incompatible with monotonic logical inference. Procedure call, atomicity of transactions, and taking a fixed point are techniques for closing open systems similar to "preparation" followed by "observation" of a physical system. Pragmatics is introduced as a framework for extending logical models with a fixed syntax and semantics to multiple-interface models that support collaboration among clients sharing common resources. (shrink)

This paper examines the role of ideology in the emergence of the empirical sciences and the evolution of philosophy. It argues that the orientation of the religious ideology, Christianity, at the epistemological and ontological levels was very instrumental in the emergence of the empirical sciences in the area dominated by the culture of the Western (Latin) church. This claim is demonstrated by an analysis of the theoretical and methodological orientation of pre-Christian Europe, the epistemological and other philo- sophical (...) values sponsored by Christianity, as well as a comparative analysis of other cultural regions where such philosophical values did not exist. The paper then explores the evolution of philosophy after the emergence of the empirical sciences. It points out that the progress of philosophy along rational lines and the generation of knowledge thereof is not equivalent to embracing the method of the empirical sciences (scientism), but rather is a rediscovery of the rational attitude bearing in mind the context in which it has to operate. (shrink)