The Sleeping Beauty Problem attracts so much attention because it connects to a wide variety of unresolved issues in formal epistemology, decision theory, and the philosophy of science. The problem raises unanswered questions concerning relative frequencies, objective chances, the relation between self-locating and non-self-locating information, the relation between self-location and updating, Dutch Books, accuracy arguments, memory loss, indifference principles, the existence of multiple universes, and many-worlds interpretations of quantum mechanics. After stating the problem, this article surveys its connections to all (...) of these areas. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Many philosophers agree that Hume was not simply objecting to inductive inferences on the grounds of their logical invalidity and that his description of our inductive behaviour was inadequate, but none the less regard his argument against induction as irrefutable. I argue that this constellation of opinions contains a serious tension. In the light of the tension, I re-examine Hume’s actual sceptical argument and show that the argument as it stands is valid but unsound. I argue that it can only (...) be converted into a sound one if our inductive behaviour can be characterized as a process of rule-governed ampliation. Drawing on some Bayesian ideas, I argue that our inductive behaviour probably cannot be characterized in that way, so our immunity from Hume is secure. Finally, I compare my response to Hume’s argument with some other well known responses. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

Fundamental properties and the laws of nature go hand in hand: mass and gravitation, charge and electromagnetism, spin and quantum mechanics. So, it is unsurprising that one's account of fundamental properties affects one's view of the laws of nature and vice versa. In this essay, I will survey a variety of recent attempts to provide a joint account of the fundamental properties and the laws of nature. Many of these accounts are new and unexplored. Some of them posit surprising entities, (...) such as counterfacts. Other accounts posit surprising laws of nature, such as instantaneous laws that constrain the initial configuration of particles. These exciting developments challenge our assumptions about our basic ontology and provide fertile ground for further exploration. (shrink)

Although many aspects of Inference to the Best Explanation have been extensively discussed, very little has so far been said about what it takes for a hypothesis to count as a rival explanatory hypothesis in the context of IBE. The primary aim of this article is to rectify this situation by arguing for a specific account of explanatory rivalry. On this account, explanatory rivals are complete explanations of a given explanandum. When explanatory rivals are conceived of in this way, I (...) argue that IBE is a more plausible and defensible rule of inference than it would otherwise be. The secondary aim of the article is to demonstrate the importance of accounts of explanatory rivalry by examining a prominent philosophical argument in which IBE is employed, viz. the so-called Ultimate Argument for scientific realism. In short, I argue that a well-known objection to the Ultimate Argument due to Arthur Fine fails in virtue of tacitly assuming an account of explanatory rivalry that we have independent reasons to reject. (shrink)

Wigner found unreasonable the "effectiveness of mathematics in the natural sciences". But if the mathematics we use to describe nature is simply a carefully coded expression of our experience then its effectiveness is quite reasonable. Its effectiveness is built into its design. We consider group theory, the logic of symmetry. We examine the premise that symmetry is identity; that group theory encodes our experience of identification. To decide whether group theory describes the world in such an elemental way we catalogue (...) the detailed correspondence between elements of the physical world and elements of the formalism. Providing an unequivocal match between concept and mathematical statement completes the case. It makes effectiveness appear reasonable. The case that symmetry is identity is a strong one but it is not complete. The further validation required suggests that unexpected entities might be describable by the irreducible representations of group theory. (shrink)

The Reflection principle expresses a kind of epistemic deference to one's future self. There is a plausible intuitive argument to the effect that, if one believes one will reason well and gain information over time, then one ought to satisfy Reflection. There are also associated formal arguments that show that, if one's beliefs about one's current and future selves meet certain criteria, then one is committed by the axioms of probability to satisfy Reflection. The formal arguments, however, rely on an (...) assumption that has no apparent relevance to the intuitive argument: the assumption that one has perfect access to one's beliefs. This paper explains why it is advantageous to replace the perfect access assumption with a self-trust assumption. The self-trust assumption is superior from a formal point of view, since it is formally weaker than the perfect access assumption, and from an intuitive point of view, since it leads to an improved formulation of the intuitive argument. (shrink)