Sam Baron

Infinite idealizations appear in our best scientific explanations of phase transitions. This is thought by some to be paradoxical. In this paper I connect the existing literature on the phase transition paradox to work on the concept of indispensability, which arises in discussions of realism and anti-realism within the philosophy of science and the philosophy of mathematics. I formulate a version of the phase transition paradox based on the idea that infinite idealizations are explanatorily indispensable to our best science, and so ought to attract a realist attitude. I go on to offer a solution to the paradox by drawing a distinction between two types of indispensability: constructive and substantive indispensability. I argue that infinite idealizations are constructively indispensable to explanations of phase transitions, but not substantively indispensable. This helps to resolve the paradox, I maintain, since realist commitment tracks substantive, and not constructive, indispensability.

Mathematics appears to play a genuine explanatory role in science. But how do mathematical explanations work? Recently, a counterfactual approach to mathematical explanation has been suggested. I argue that such a view fails to differentiate the explanatory uses of mathematics within science from the non-explanatory uses. I go on to offer a solution to this problem by combining elements of the counterfactual theory of explanation with elements of a unification theory of explanation. The result is a theory according to which a counterfactual is explanatory when it is an instance of a generalized counterfactual scheme.

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being.

This paper offers a new account of metaphysical explanation. The account is modelled on Kitcher’s unificationist approach to scientific explanation. We begin, in Sect. 2, by briefly introducing the notion of metaphysical explanation and outlining the target of analysis. After that, we introduce a unificationist account of metaphysical explanation before arguing that such an account is capable of capturing four core features of metaphysical explanations: irreflexivity, non-monotonicity, asymmetry and relevance. Since the unificationist theory of metaphysical explanation inherits irreflexivity and non-monotonicity directly from the unificationist theory of scientific explanation that underwrites it, we focus on demonstrating how the account can secure asymmetry and relevance.

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered.

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well.

Time is woven into the fabric of our lives. Everything we do, we do in and across time. It is not just that our lives are stretched out in time, from the moment of birth to the moment of our death. It is that our lives are stories. We make sense of ourselves, today, by understanding who we were yesterday, and the day before, and the day before that; by understanding what we did and why we did it. Our memories shape our present selves, since we are the product of who we were, and who we remember being. Yet who we are lasts for but a moment. It is who we will be that demands attention. We are forever projecting ourselves into the future. We painstakingly plan for the needs of our future selves, all the while knowing that while what we do will make those future selves who they are, still, our future selves are elusive. So it is not simply that we happen to live our lives in time, the way, say, one might happen to live in Australia, or Singapore. It is hard to fathom how things could be otherwise. What would it be to live a life without time? Yet time itself is intangible. Though we are keenly aware of what has been ‒ of pain and loss, regret and pride ‒ and of what might be ‒ of anticipation, and dread, and longing ‒ time itself seems unaffected by anything we do. Though we can anticipate a future birthday cake, time itself cannot be tasted. Though we can dread a future dentist’s appointment, time itself cannot be touched. Though we remember the crunching of leaves this past autumn, time itself cannot be heard. How can it be that something so central to each of us, to who we are, and what we care about, can be so spectral? What, in the end, is time? Is time real, like a substance in which each of us, like insects in amber, finds ourselves trapped? Is time a dimension through which we can move? Is time not a thing at all, but some connection between events? If time is real, what is it like? Does it flow like a river, taking each of us prisoner in its current, washing us ever closer to the end of our lives? Is time like a cresting wave, coming ever closer to each of us from the future, engulfing us, and then receding into the past? Or is time static? Like a one-way road that each of us might wander, with no chance to turn back? Or perhaps time is like none of these things. Perhaps time is more like space; something we can navigate freely, so that we can visit different times just like we visit different places. Perhaps we can we travel in time the way we can travel in space. These questions, and many more, are the focus of this book. Now, you might wonder what philosophers are doing writing a book about time. Surely that’s a job for physicists! It is true: a great deal of what we know about time stems from our understanding of physics. However, even in physics we find that there are questions about time that go unanswered. Moreover, increasingly, physicists are turning to philosophers for help in understanding the role that time plays in current physical theories. Our goal is to get the reader up to speed on some of the central issues that influence our understanding of time so that they too may play a role in this ongoing discussion between science and philosophy. We hope that in doing so it will become clear what philosophy can bring to the study of time. There is a natural narrative in philosophy regarding the study of time, and we have chosen to organise this book according to that narrative. However, the book may also be approached in a ‘choose-your-own adventure’ spirit. While later chapters build on material introduced in earlier chapters, you can skip around, reading the book in any order you choose. For the instructor, this means that she can design her course around this book in any number of ways, depending on the particular topic she wishes to focus on.

In this paper we offer a response to one argument in favour of Priority Monism, what Jonathan Schaffer calls the nomic argument for monism. We proceed in three stages. We begin by introducing Jonathan Schaffer’s Priority Monism and the nomic argument for that view. We then consider a response to the nomic argument that we presented in an earlier paper. We show that this argument suffers from a flaw. We then go on to offer a different response to the nomic argument. The core idea is that the current laws of physics are not integrated in the manner that Schaffer requires to get the nomic argument for monism off the ground.

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap.

Skow ([2007]), and much more recently Callender ([2017]), argue that time can be distinguished from space due to the special role it plays in our laws of nature: our laws determine the behaviour of physical systems across time, but not across space. In this work we assess the claim that the laws of nature might provide the basis for distinguishing time from space. We find that there is an obvious reason to be sceptical of the argument Skow submits for distinguishing time from space: Skow fails to pay sufficient attention to the relationship between the dynamical laws and the antecedent conditions required to establish a complete solution from the laws. Callender’s more sophisticated arguments in favour of distinguishing time from space by virtue of the laws of nature presents a much stronger basis to draw the distinction. By developing a radical reading of Callender’s view we propose a novel approach to differentiating time and space that we call temporal perspectivalism. This is the view according to which the difference between time and space is a function of the agentive perspective.

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument that the strong non-maximalist herself will find dialectically motivating.

The anglophone philosophy profession has a well-known problem with gender equity. A sig-nificant aspect of the problem is the fact that there are simply so many more male philoso-phers than female philosophers among students and faculty alike. The problem is at its stark-est at the faculty level, where only 22% - 24% of philosophers are female in the United States (Van Camp 2014), the United Kingdom (Beebee & Saul 2011) and Australia (Goddard 2008). While this is a result of the percentage of women declining at each point through-out the standard career trajectory, recent large-scale studies in the United States (Paxton et al. 2012) and Australia (Goddard et al. 2008) have identified a key drop-off point as the transi-tion between taking introductory classes and majoring in philosophy. So why do dispropor-tionately few female students choose to major in philosophy?

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past.

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism.

In this paper I consider the aboutness objection against standard truth-preserving presentism (STP). According to STP: (1) past-directed propositions (propositions that seem to be about the past) like, are sometimes true (2) truth supervenes on being and (3) the truth of past-directed propositions does not supervene on how things were, in the past. According to the aboutness objection (3) is implausible, given (1) and (2): for any proposition, P, P ought to be true in virtue of what P is about, and so it is upon the past that the truth of past-directed propositions ought to supervene. Although an objection along these lines has been offered previously, I press the objection in two ways. First, by providing needed support for the view that propositions ought to be true in virtue of what they are about and, second, by arguing that the two responses available to the proponent of STP fail to be compelling.

Why does female under- representation emerge during undergraduate education? At the University of Sydney, we surveyed students before and after their first philosophy course. We failed to find any evidence that this course disproportionately discouraged female students from continuing in philosophy relative to male students. Instead, we found evidence of an interaction effect between gender and existing attitudes about philosophy coming into tertiary education that appears at least partially responsible for this poor retention. At the first lecture, disproportionately few female students intended to major. Further, at the first lecture, female students were less interested in philosophy, were less self-confident about philosophy, and were less able to imagine themselves as philosophers. Similarly, female students predicted they would feel more uncomfortable in philosophy classes than male students did. Further study with a control is warranted to determine whether this interaction effect is peculiar to philosophy, or whether it is indicative of a more general gendered trend amongst first year undergraduate students.

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

Presentism faces a familiar objection from truthmaker theory. How can propositions about the past be made true if past entities do not exist? In answering this question, there are, broadly, two roads open to the presentist. The easy road to presentism proceeds by capitulating to the demands imposed by truthmaker theory and finding truthmakers for claims about the past. This road typically involves the invocation of controversial metaphysical posits that must then be defended. The hard road to presentism resists the demands of truthmaker theory by denying that all truths must be truth-made. The road is hard as it requires providing a principled restriction on the scope of truthmaker theory. In this paper, I argue that the hard road collapses back into the easy road; there is no hard road to presentism.

Is time necessary for causation? We argue that, given a counterfactual theory of causation, it is not. We defend this claim by considering cases of counterfactual dependence in quantum mechanics. These cases involve laws of nature that govern entanglement. These laws make possible the evaluation of causal counterfactuals between space-like separated entangled particles. There is, for the proponent of a counterfactual theory of causation, a possible world in which causation but not time exists that can be reached by ‘stripping out’ time from the actual world, leaving quantum mechanical laws intact.

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious about a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory.

There has been a recent surge of interest in mathematical explanations of empirical facts. A number of putative cases of such explanation have been identified, and used to provide support for an explanatory version of the indispensability argument for mathematical platonism. In this paper, I consider the prospects for developing a metaphysically light-weight theory of mathematical explanations by appealing to the resources currently available in existing work on applied mathematics and scientific explanation. I argue that new resources must be marshalled to handle the mathematical case, and sketch out one option for doing so.

The present paper advances an analogy between cases of extra-mathematical explanation and cases of what might be termed ‘extra-logical explanation’: the explanation of a physical fact by a logical fact. A particular case of extra-logical explanation is identified that arises in the philosophical literature on time travel. This instance of extra-logical explanation is subsequently shown to be of a piece with cases of extra-mathematical explanation. Using this analogy, we argue extra-mathematical explanation is part of a broader class of non-causal explanation. This has important implications for extra-mathematical explanation, for time travel and for theories of explanation more generally.