This paper addresses the problem that Bayesian statistical inference cannot accommodate theory change, and proposes a framework for dealing with such changes. It first presents a scheme for generating predictions from observations by means of hypotheses. An example shows how the hypotheses represent the theoretical structure underlying the scheme. This is followed by an example of a change of hypotheses. The paper then presents a general framework for hypotheses change, and proposes the minimization of the distance between hypotheses as a (...) rationality criterion. Finally the paper discusses the import of this for Bayesian statistical inference. (shrink)

Physics presents us with a symphony of natural constants: G, h, c, etc. Up to this point, constants have received comparatively little philosophical attention. In this paper I provide an account of dimensionful constants, in particular the gravitational constant. I propose that they represent inter-quantity structure in the form of relations between quantities with different dimensions. I use this account of G to settle a debate over whether mass scalings are symmetries of Newtonian Gravitation. I argue that they are not, (...) but only if we interpret mass anti-quidditistically. This is analogous to anti-haecceitism in the presence of spacetime symmetries. (shrink)

The demand for 'criteria of correctness' to identify recurring particulars in Wittgenstein's private language argument favors an idealist interpretation of quantum phenomena.The indeterminacy principle in quantum physics and the logic of the private language argument share a common concern with the limitations by which microphysical or sensation particulars can be reidentified. Wittgenstein's criteria for reidentifying particular recurrent private sensations are so general as to apply with equal force to quantum particulars, and to support the idealist thesis that quantum phenomena are (...) themselves essentially mental or dependent on mental occurrences. (shrink)

Shifts are a well-known feature of the literature on spacetime symmetries. Recently, discussions have focused on so-called dynamic shifts, which by analogy with static and kinematic shifts enact arbitrary linear accelerations of all matter (as well as a change in the gravitational potential). But in mathematical formulations of these shifts, the analogy breaks down: while static and kinematic shift act on the matter field, the dynamic shift acts on spacetime structure instead. I formulate a different, `active' version of the dynamic (...) shift which does act on matter. (shrink)

The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain conditional probabilities; otherwise, all possible degrees of belief in the conclusion are left open given the premises. Such constraints cannot in general be empirically justified, on pain of infinite regress. Nor does subjective Bayesianism offer a way out for the empiricist. Despite often-cited convergence theorems, subjective (...) Bayesians cannot hold that any empirical hypothesis is ever objectively justified in the relevant sense. Rationalism is thus the only alternative to an implausible skepticism. (shrink)

This paper discusses the Bayesian updating rules of ordinary and Jeffrey conditionalisation. Their justification has been a topic of interest for the last quarter century, and several strategies proposed. None has been accepted as conclusive, and it is argued here that this is for a good reason; for by extending the domain of the probability function to include propositions describing the agent's present and future degrees of belief one can systematically generate a class of counterexamples to the rules. Dynamic Dutch (...) Book and other arguments for them are examined critically. A concluding discussion attempts to put these results in perspective within the Bayesian approach. (shrink)

We critically discuss Cleland''s analysis of effective procedures as mundane effective procedures. She argues that Turing machines cannot carry out mundane procedures, since Turing machines are abstract entities and therefore cannot generate the causal processes that are generated by mundane procedures. We argue that if Turing machines cannot enter the physical world, then it is hard to see how Cleland''s mundane procedures can enter the world of numbers. Hence her arguments against versions of the Church-Turing thesis for number theoretic functions (...) miss the mark. (shrink)

Hume's argument concerning miracles is interpreted by making approximations to terms in Bayes's theorem. This formulation is then used to analyse the impact of multiple testimony. Individual testimonies which are ‘non-miraculous’ in Hume's sense can in principle be accumulated to yield a high probability both for the occurrence of a single miracle and for the occurrence of at least one of a set of miracles. Conditions are given under which testimony for miracles may provide support for the existence of God.

The traditional absolutist-relationist debate is still clearly formulable in the context of General Relativity Theory (GTR), despite the important differences between Einstein's theory and the earlier context of Newtonian physics. This paper answers recent arguments by Robert Rynasiewicz against the significance of the debate in the GTR context. In his (1996) (‘Absolute vs. Relational Spacetime: An Outmoded Debate?’), Rynasiewicz argues that already in the late nineteenth century, and even more so in the context of General Relativity theory, the terms of (...) the original Descartes–Newton–Leibniz dispute about space are not to be found. Nineteenth-century ether theories of electromagnetism, and the metric field of GTR, he claims, do not lend themselves to being interpreted clearly as either absolute space à la Newton, or relational structures à la either Descartes or Leibniz. I argue that, while in some imaginable theories Rynasiewicz's claim that the classical debate dissolves would be correct, in fact in the most important historical theories he discusses, this is not the case. In particular, I argue that in both Lorentz's ether theory and General relativity theory, there is a clear and compelling way to establish connections to the classical absolutist-relationist disputes, and that in both these theories it is the absolutist position that is prima facie victorious. To support my arguments and give a clear overview of the whole debate, I end by offering definitional sketches of relationism and absolutism (substantivalism) about spacetime in the context of contemporary physics. The sketches show the clear connections between these views today and their ancestors in Newton and Leibniz. But at the same time, they indicate how both views are not just claims about existing physical theories, but rather also bets about how future physics will clarify the ontological picture. (shrink)

The interpretation of quantum mechanics is an area of increasing interest to many working physicists. In particular, interest has come from those involved in quantum computing and information theory, as there has always been a strong foundational element in this field. This paper introduces one interpretation of quantum mechanics, a modern ‘many-worlds’ theory, from the perspective of quantum computation. Reasons for seeking to interpret quantum mechanics are discussed, then the specific ‘neo-Everettian’ theory is introduced and its claim as the best (...) available interpretation defended. The main objections to the interpretation, including the so-called “problem of probability” are shown to fail. The local nature of the interpretation is demonstrated, and the implications of this both for the interpretation and for quantum mechanics more generally are discussed. Finally, the consequences of the theory for quantum computation are investigated, and common objections to using many worlds to describe quantum computing are answered. We find that using this particular many-worlds theory as a physical foundation for quantum computation gives several distinct advantages over other interpretations, and over not interpreting quantum theory at all. (shrink)

According to influential views the probabilities in classical statistical mechanics and other special sciences are objective chances, although the underlying mechanical theory is deterministic, since the deterministic low level is inadmissible or unavailable from the high level. Here two intuitions pull in opposite directions: One intuition is that if the world is deterministic, probability can only express subjective ignorance. The other intuition is that probability of high-level phenomena, especially thermodynamic ones, is dictated by the state of affairs in the world. (...) We argue in support of this second intuition and we show that in fact there are two different ways in which high-level probability describes matters of fact, even if the underlying microscopic reality is deterministic. Our analysis is novel, but supports approaches by, e.g., Loewer, Albert, Frigg and Hoefer, List and Pivato. In particular, the reductive view we propose here can be seen as a naturalization of the above approaches. We consider consequences of our result for nonreductive physicalist approaches, such as functionalism, that admit multiple realization of the kinds that appear in the special sciences by physical kinds. We show that nonreductive physicalism implies the existence of nonphysical matters of fact. (shrink)

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...) is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

I argue that Bayesians need two distinct notions of probability. We need the usual degree-of-belief notion that is central to the Bayesian account of rational decision. But Bayesians also need a separate notion of probability that represents the degree to which evidence supports hypotheses. Although degree-of-belief is well suited to the theory of rational decision, Bayesians have tried to apply it to the realm of hypothesis confirmation as well. This double duty leads to the problem of old evidence, a problem (...) that, we will see, is much more extensive than usually recognized. I will argue that degree-of-support is distinct from degree-of-belief, that it is not just a kind of counterfactual degree-of-belief, and that it supplements degree-of-belief in a way that resolves the problems of old evidence and provides a richer account of the logic of scientific inference and belief. (shrink)

Many of the "counterintuitive" features of relativistic quantum field theory have their formal root in the Reeh-Schlieder theorem, which in particular entails that local operations applied to the vacuum state can produce any state of the entire field. It is of great interest then that I.E. Segal and, more recently, G. Fleming (in a paper entitled "Reeh-Schlieder meets Newton-Wigner") have proposed an alternative "Newton-Wigner" localization scheme that avoids the Reeh-Schlieder theorem. In this paper, I reconstruct the Newton-Wigner localization scheme and (...) clarify the <em>limited</em> extent to which it avoids the counterintuitive consequences of the Reeh-Schlieder theorem. I also argue that there is no coherent interpretation of the Newton-Wigner localization scheme that renders it free from act-outcome correlations at spacelike separation. (shrink)

Argumentation is pervasive in everyday life. Understanding what makes a strong argument is therefore of both theoretical and practical interest. One factor that seems intuitively important to the strength of an argument is the reliability of the source providing it. Whilst traditional approaches to argument evaluation are silent on this issue, the Bayesian approach to argumentation (Hahn & Oaksford, 2007) is able to capture important aspects of source reliability. In particular, the Bayesian approach predicts that argument content and source reliability (...) should interact to determine argument strength. In this paper, we outline the approach and then demonstrate the importance of source reliability in two empirical studies. These experiments show the multiplicative relationship between the content and the source of the argument predicted by the Bayesian framework. (shrink)

In this article, we argue for the general importance of normative theories of argument strength. We also provide some evidence based on our recent work on the fallacies as to why Bayesian probability might, in fact, be able to supply such an account. In the remainder of the article we discuss the general characteristics that make a specifically Bayesian approach desirable, and critically evaluate putative flaws of Bayesian probability that have been raised in the argumentation literature.

Essay review of Gauging What’s Real: The Conceptual Foundations of Contemporary Gauge Theories R. Healey. Oxford University Press (2007). To be published in the Studies in History and Philosophy of Modern Physics, 39(3):687-693, 2008.

The CPT theorem of quantum field theory states that any relativistic (Lorentz-invariant) quantum field theory must also be invariant under CPT, the composition of charge conjugation, parity reversal and time reversal. This paper sketches a puzzle that seems to arise when one puts the existence of this sort of theorem alongside a standard way of thinking about symmetries, according to which spacetime symmetries (at any rate) are associated with features of the spacetime structure. The puzzle is, roughly, that the existence (...) of a CPT theorem seems to show that it is not possible for a well-formulated theory that does not make use of a preferred frame or foliation to make use of a temporal orientation. Since a manifold with only a Lorentzian metric can be temporally orientable—capable of admitting a temporal orientation—this seems to be an odd sort of necessary connection between distinct existences. The paper then suggests a solution to the puzzle: it is suggested that the CPT theorem arises because temporal orientation is unlike other pieces of spacetime structure, in that one cannot represent it by a tensor field. To avoid irrelevant technical details, the discussion is carried out in the setting of classical field theory, using a little-known classical analog of the CPT theorem. (shrink)

John Bell showed that a big class of local hidden-variable models stands in conflict with quantum mechanics and experiment. Recently, there were suggestions that empirically adequate hidden-variable models might exist which presuppose a weaker notion of local causality. We will show that a Bell-type inequality can be derived also from these weaker assumptions.

In this article I subject to criticism Field's argument, according to which field theory takes space-time to be substance since it ascribes field properties to space-time points. There is petitio principii error made in this reasoning because Field does not give any justification for his controversial assumption that fields are properties of space-time points. What is more, I suggest, Field's interpretation of field theory is incompatible with the way this theory is understood and utilized by its users, namely scientists. My (...) criticism is based on the assumption that one cannot propose an ontology of a given scientific theory, at the same time imposing on it an interpretation which clashes with the interpretation current among its users. I also suggest that in order to establish the ontology of a scientific theory one should also take into account the way it has been constructed. According to this criterion, field theory does indeed take space-time to be a substance. (shrink)

While there is a longstanding discussion about the interpretation of the extended, general principle of relativity, there seems to be a consensus that the special principle of relativity is absolutely clear and unproblematic. However, a closer look at the literature on relativistic physics reveals a more confusing picture. There is a huge variety of, sometimes metaphoric, formulations of the relativity principle, and there are different, sometimes controversial, views on its actual content. The aim of this paper is to develop a (...) precise language in order to provide a precise formulation of the principle. In view of the fact that the special relativity principle is considered as a universal meta-law, which must be valid for all physical laws in all situations, we try to keep the formalism as general as possible. The benefit of the formal reconstruction is that it makes explicit all the necessary conceptual components of the principle; it brings out many subtle details and the related conceptual problems. (shrink)

I formulate a theory of persistence in the endurantist family and pose a problem for the conjunction of this theory with orthodox versions of special or general relativity. The problem centers around the question: Where are things?

Special divine action is an integral part of the Christian worldview. In fact, the plausibility of the Christian worldview depends on and is grounded in the putative reality, and therefore possibility, of special divine action. Without special divine action, Scripture does not make sense, and without Scripture, Christianity neither. However, the possibility of special divine action is highly contested in almost every field of human enquiry. In what follows, I briefly suggest a minimal definition of special divine action and show (...) its indispensability for the internal plausibility of Christian faith. I then argue against the very possibility of special divine action. I end by way of identifying ways in which Christian theologians can respond to the arguments in order to justify the possibility of special divine action. It turns out that special divine action neither contradicts science nor metaphysics. (shrink)

Consider a gas that is adiabatically isolated from its environment and confined to the left half of a container. Then remove the wall separating the two parts. The gas will immediately start spreading and soon be evenly distributed over the entire available space. The gas has approached equilibrium. Thermodynamics (TD) characterizes this process in terms of an increase of thermodynamic entropy, which attains its maximum value at equilibrium. The second law of thermodynamics captures the irreversibility of this process by positing (...) that in an isolated system such as the gas entropy cannot decrease. The aim of statistical mechanics (SM) is to explain the behavior of the gas and, in particular, its conformity with the second law in terms of the dynamical laws governing the individual molecules of which the gas is made up. In what follows these laws are assumed to be the ones of Hamiltonian classical mechanics. We should not, however, ask for an explanation of the second law literally construed. This law is a universal law and as such cannot be explained by a statistical theory. But this is not a problem because we.. (shrink)

Effective quantum field theories are effective insofar as they apply within a prescribed range of length-scales, but within that range they predict and describe with extremely high accuracy and precision. The effectiveness of EFTs is explained by identifying the features—the scaling behaviour of the parameters—that lead to effectiveness. The explanation relies on distinguishing autonomy with respect to changes in microstates, from autonomy with respect to changes in microlaws, and relating these, respectively, to renormalizability and naturalness. It is claimed that the (...) effectiveness of EFTs is a consequence of each theory’s autonomyms rather than its autonomyml.1Introduction2Renormalizability2.1Explaining renormalizability3Naturalness3.1An unnatural but renormalizable theory4Two Kinds of Autonomy5The Effectiveness of Effective Quantum Field Theories6Conclusion. (shrink)

Although the formalizations of computability provided in the 1930s have proven to be equivalent, two different accounts of computability may be distinguished regarding computability as an epistemic concept. While computability, according to the epistemic account, should be based on epistemic constraints related to the capacities of human computers, the non-epistemic account considers computability as based on manipulations of symbols that require no human capacities other than the capacity of manipulating symbols according to a set of rules. In this paper, I (...) shall evaluate, both from a logical and physical point of view, whether computability should be regarded as an epistemic concept, i.e., whether epistemic constraints should be added on computability for considering functions as computable. Specifically, I shall argue that the introduction of epistemic constraints have deep implications for the set of computable functions, for the logical and physical Church-Turing thesis—cornerstones of logical and physical computability respectively—might turn out to be false according to which epistemic constraints are accepted. (shrink)

It is commonly claimed that the universality of critical phenomena is explained through particular applications of the renormalization group. This article has three aims: to clarify the structure of the explanation of universality, to discuss the physics of such RG explanations, and to examine the extent to which universality is thus explained. The derivation of critical exponents proceeds via a real-space or a field-theoretic approach to the RG. Building on work by Mainwood, this article argues that these approaches ought to (...) be distinguished: while the field-theoretic approach explains universality, the real-space approach fails to provide an adequate explanation. (shrink)

I have so far ignored Earman's Section IV in which spatiotemporal coincidence is discussed. The answer will be clear from the preceding: the exact definitions and principles of the exact theories we have displayed are to be discussed with reference to the special and not the general theory of relativity. But moreover, Earman's transition from (C) to (1) assumes what we do not grant: that events are causally connectible exactly if the points in the mathematical space-time at which they are (...) located are linked by a causal curve.This captures in a nutshell my own conclusions. The first is that the causal theory, after its success vis-à-vis the STR, must now provide a detailed analysis of spatiotemporal concepts in the GTR. The second is that the points raised by Earman do not provide substantive reasons for doubting the adequacy of the causal theory to this task, because Earman insists in his extrapolations on a much closer relation between the empirical structure of events and the mathematical structures that model it than ought to be assumed. (shrink)

To systematically answer the generalized Kretschmann objection, I propose a mean to make operational a criterion widely recognized as allowing one to decide whether the gauge symmetry of a theory is artificial or substantial. My proposition is based on the dressing field method of gauge symmetry reduction, a new simple tool from mathematical physics. This general scheme allows one in particular to straightforwardly argue that the notion of spontaneous symmetry breaking is superfluous to the empirical success of the electroweak theory. (...) Important questions regarding the context of justification of the theory then arise. (shrink)

In this paper I draw on Einstein's distinction between “principle” and “constructive” theories to isolate two levels of physical theory that can be found in both classical and (special) relativistic physics. I then argue that when we focus on theoretical explanations in physics, i.e. explanations of physical laws, the two leading views on explanation, Salmon's “bottom-up” view and Kitcher's “top-down” view, accurately describe theoretical explanations for a given level of theory. I arrive at this conclusion through an analysis of explanations (...) of mass—energy equivalence in special relativity. (shrink)

If the force on a particle fails to satisfy a Lipschitz condition at a point, it relaxes one of the conditions necessary for a locally unique solution to the particle’s equation of motion. I examine the most discussed example of this failure of determinism in classical mechanics—that of Norton’s dome—and the range of current objections against it. Finding there are many different conceptions of classical mechanics appropriate and useful for different purposes, I argue that no single conception is preferred. Instead (...) of arguing for or against determinism, I stress the wide variety of pragmatic considerations that, in a specific context, may lead one usefully and legitimately to adopt one conception over another in which determinism may or may not hold. (shrink)

We consider various curious features of general relativity, and relativistic field theory, in two spacetime dimensions. In particular, we discuss: the vanishing of the Einstein tensor; the failure of an initial-value formulation for vacuum spacetimes; the status of singularity theorems; the non-existence of a Newtonian limit; the status of the cosmological constant; and the character of matter fields, including perfect fluids and electromagnetic fields. We conclude with a discussion of what constrains our understanding of physics in different dimensions.

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

The (recent, Bayesian) cognitive science literature on the Wason Task (WT) has been modeled largely after the (not-so-recent, Bayesian) philosophy of science literature on the Paradox of Confirmation (POC). In this paper, we apply some insights from more recent Bayesian approaches to the (POC) to analogous models of (WT). This involves, first, retracing the history of the (POC), and, then, re-examining the (WT) with these historico-philosophical insights in mind.

A definition is proposed to give precise meaning to the counterfactual statements that often appear in discussions of the implications of quantum mechanics. Of particular interest are counterfactual statements which involve events occurring at space-like separated points, which do not have an absolute time ordering. Some consequences of this definition are discussed.

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

Deception has long been an important topic in philosophy. However, the traditional analysis of the concept, which requires that a deceiver intentionally cause her victim to have a false belief, rules out the possibility of much deception in the animal kingdom. Cognitively unsophisticated species, such as fireflies and butterflies, have simply evolved to mislead potential predators and/or prey. To capture such cases of “functional deception,” several researchers Machiavellian intelligence II, Cambridge University Press, Cambridge, pp 112–143, 1997; Searcy and Nowicki, The (...) evolution of animal communication, Princeton University Press, Princeton, 2005; Skyrms, Signals, Oxford University Press, Oxford 2010) have endorsed the broader view that deception only requires that a deceiver benefit from sending a misleading signal. Moreover, in order to facilitate game-theoretic study of deception in the context of Lewisian sender-receiver games, Brian Skyrms has proposed an influential formal analysis of this view. Such formal analyses have the potential to enhance our philosophical understanding of deception in humans as well as animals. However, as we argue in this paper, Skyrms’s analysis, as well as two recently proposed alternative analyses, are seriously flawed and can lead us to draw unwarranted conclusions about deception. (shrink)

Philosophies of nature over the past three centuries have gone through three distinct phases, beginning with classical views and now evolving into a process view at the dawn of the 21st century. These phases derive from a complex weaving of two frameworks of physics since Newton's time [classical, modern] with two principal metaphysical frameworks[substance, event]. Problematic fin de sicle claims at the end of both the 19th and 20th centuries appear to have a common root in substance metaphysics and part/whole (...) reductionism. Going beyond such simplistic forms of modernism requires a more integrated, ecological worldview, or process view of nature. (shrink)

This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory . In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form of (...) local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events. (shrink)

The idea that the quantum probabilities are best construed as the personal/subjective degrees of belief of Bayesian agents is an old one. In recent years the idea has been vigorously pursued by a group of physicists who fly the banner of quantum Bayesianism. The present paper aims to identify the prospects and problems of implementing QBism, and it critically assesses the claim that QBism provides a resolution of some of the long-standing foundations issues in quantum mechanics, including the measurement problem (...) and puzzles of nonlocality. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no-go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time machine. (...) We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently “potent” to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident “yes” has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

I sketch a new constraint on chance, which connects chance ascriptions closely with ascriptions of ability, and more specifically with 'CAN'-claims. This connection between chance and ability has some claim to be a platitude; moreover, it exposes the debate over deterministic chance to the extensive literature on (in)compatibilism about free will. The upshot is that a prima facie case for the tenability of deterministic chance can be made. But the main thrust of the paper is to draw attention to the (...) connection between the truth conditions of sentences involving 'CAN' and 'CHANCE', and argue for the context sensitivity of each term. Awareness of this context sensitivity has consequences for the evaluation of particular philosophical arguments for (in) compatibilism when they are presented in particular contexts. (shrink)

An essay review of Richard Johns "A Theory of Physical Probability" (University of Toronto Press, 2002). Forthcoming in Studies in History and Philosophy of Science.

I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...) a more faithful mathematical representation of general relativity as used by physicists. It also gives a substantive notion of general covariance. (shrink)

Earman (1993) distinguishes three notions of empirical indistinguishability and offers a rigorous framework to investigate how each of these notions relates to the problem of underdetermination of theory choice. He uses some of the results obtained in this framework to argue for a version of scientific anti- realism. In the present paper we first criticize Earman's arguments for that position. Secondly, we propose and motivate a modification of Earman's framework and establish several results concerning some of the notions of indistinguishability (...) in this modified framework. Finally, we interpret these results in the light of the realism/anti- realism debate. (shrink)