We reconsider the Nagelian theory of reduction and argue that, contrary to a widely held view, it is the right analysis of intertheoretic reduction. The alleged difficulties of the theory either vanish upon closer inspection or turn out to be substantive philosophical questions rather than knock-down arguments.

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

Everettian quantum mechanics (EQM) results in ‘multiple, emergent, branching quasi-classical realities’ (Wallace [2012]). The possible outcomes of measurement as per ‘orthodox’ quantum mechanics are, in EQM, all instantiated. Given this metaphysics, Everettians face the ‘probability problem’—how to make sense of probabilities and recover the Born rule. To solve the probability problem, Wallace, following Deutsch ([1999]), has derived a quantum representation theorem. I argue that Wallace’s solution to the probability problem is unsuccessful, as follows. First, I examine one of the axioms (...) of rationality used to derive the theorem, ‘branching indifference’ (BI). I argue that Wallace is not successful in showing that BI is rational. While I think it is correct to put the burden of proof on Wallace to motivate BI as an axiom of rationality, it does not follow from his failing to do so that BI is not rational. Thus, second, I show that there is an alternative strategy for setting one’s credences in the face of branching which is rational and which violates BI. This is ‘branch counting’ (BC). Wallace is aware of BC and has proffered various arguments against it. However, third, I argue that Wallace’s arguments against BC are unpersuasive. I conclude that the probability problem in EQM persists. 1 Introduction2 Branching Indifference 2.1 The positive argument for branching indifference 2.2 The negative argument for branching indifference 2.3 Branching indifference section summary3 Branch Counting 3.1 Branch counting is rational under the subjective-uncertainty viewpoint 3.2 Branch counting is rational under the objective-determinism viewpoint 3.3 Branch counting section summary4 Number of Branches 4.1 Veracity of the framework 4.2 No such thing as the number of branches 4.2.1 The number of branches is indeterminate 4.2.2 The number of branches is indeterminable 4.3 Rationality and weight5 Conclusion. (shrink)

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)

Using the 'Aharonov approach', Linden and colleagues purportedly prove that reaching equilibrium is a universal property of quantum systems. Such a proof would constitute a very significant result in the foundations of statistical mechanics. I argue that, as it stands, this proof is not sound. However, based on the their theorems, I construct an argument for the conclusion that an arbitrary small subsystem of a large quantum system typically tends toward and remains in, or close to, equilibrium. This is the (...) central result of the article. In the final part of the article, I defend the Aharonov approach against anti-interventionist criticisms. (shrink)

In this paper we argue that there is a problem with the conjunction of David Lewis' account of counterfactual conditionals and his account of laws of nature. This is a pressing problem since both accounts are individually plausible, and popular.