The goal of this paper is to develop a counterfactual theory of explanation. The CTE provides a monist framework for causal and non-causal explanations, according to which both causal and non-causal explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I argue that the CTE is applicable to two paradigmatic examples of non-causal explanations: Euler’s explanation and renormalization group explanations of universality.

Frankfurt‐style cases suggest that an agent's moral responsibility for an action supervenes on the causal history of that action—at least when epistemic considerations are held constant. However, PAP‐style cases suggest that moral responsibility does not supervene on causal history, for judgments concerning an agent's responsibility for an action are also sensitive to the presence of alternative—and causally idle—possibilities. I appeal to the causal modeling tradition and the definitions of actual causation that derive therefrom in an attempt to resolve this contradiction. (...) I show that even the weakest definitions of actual causation proposed in the literature establish that some PAP‐style cases constitute genuine counterexamples to the supervenience thesis. I consider several responses to these counterexamples on behalf of the defenders of supervenience and show that they fail. Our best current thinking on causation thus appears to be inconsistent with an intuitive and widely held claim concerning the nature of moral responsibility. (shrink)

I argue that Kroedel's 'Simple Argument' for downward causation fails and that this failure has consequences for any attempt to establish the reality of downward causation by appealing to counterfactual theories thereof. A central premise in Kroedel's argument equivocates. On one reading, it is true but renders the argument invalid; on another, it renders the argument valid but is likely false. I dedicate most of my efforts to establishing the second of these two claims. I show that the purported physical (...) effects of mental properties do not counterfactually depend upon the total realizers of these properties. If counterfactual dependence is necessary for causation, it follows that mental properties are not causes. If counterfactual dependence is merely sufficient for causation, it follows that no appeal to counterfactuals will by itself succeed in showing that mental properties are causes. (shrink)

Weak and strong consistency of the Abstract Principal Principle are defined in terms of classical probability measure spaces. It is proved that the Abstract Principal Principle is both weakly and strongly consistent. The Abstract Principal Principle is strengthened by adding a stability requirement to it. Weak and strong consistency of the resulting Stable Abstract Principal Principle are defined. It is shown that the Stable Abstract Principal Principle is weakly consistent. Strong consistency of the Stable Abstract Principal principle remains an open (...) question. (shrink)

This paper investigates the implicative conditional, a connective intended to describe the logical behavior of an empirically defined class of natural language conditionals, also named implicative conditionals, which excludes concessive and some other conditionals. The implicative conditional strengthens the strict conditional with the possibility of the antecedent and of the contradictory of the consequent. $${p\Rightarrow q}$$ p ⇒ q is thus defined as $${\lnot } \Diamond {(p \wedge \lnot q) \wedge } \Diamond {p \wedge } \Diamond {\lnot q}$$ ¬ ◊ (...) ( p ∧ ¬ q ) ∧ ◊ p ∧ ◊ ¬ q. We explore the logical properties of this conditional in a reflexive normal Kripke semantics, provide an axiomatic system and prove it to be sound and complete for our semantics. The implicative conditional validates transitivity and contraposition, which we take to be integral parts of reasoning and communication. But it only validates restricted versions of strengthening the antecedent, right weakening, simplification, and rational monotonicity. Apparent counterexamples to some of these properties are explained as due to contextual factors. Finally, the implicative conditional avoids the paradoxes of material and strict implication, and validates some connexive principles such as Aristotle’s theses and weak Boethius’ thesis, as well as some highly entrenched principles of conditionals, such as conjunction of consequents, disjunction of antecedents, modus ponens, cautious monotonicity and cut. (shrink)

Scientific explanations must bear the proper relationship to the world: they must depict what, out in the world, is responsible for the explanandum. But explanations must also bear the proper relationship to their audience: they must be able to create human understanding. With few exceptions, philosophical accounts of explanation either ignore entirely the relationship between explanations and their audience or else demote this consideration to an ancillary role. In contrast, I argue that considering an explanation’s communicative role is crucial to (...) any satisfactory account of explanation. (shrink)

Traditionally, Physics has been dominated by the image of objects, that is, by the atomistic metaphysics of absolutely intrinsic properties of qualitatively unchangeable individual entities. The first major challenge to this metaphysics inside physics comes with quantum mechanics, specifically with the well-known phenomenon known as ‘quantum entanglement’. From quantum entanglement it seems that we can conclude that: quantum objects are not independent entities; wholes have an ontological priority over their parts. However, it is arguable that is too risky to infer (...) such conclusions directly from quantum mechanics. If epistemological consequences of quantum mechanics are inescapable, is seems unwise to take any direct ontological consequences from it. After all, quantum mechanics does not refer to the states of physical entities before measurements, but it is just a theory that allows us to calculate the possible outcomes from any given measurement. Still, this does not mean that, indirectly, quantum mechanics does not give some account of quantum reality that deeply challenges traditional objects metaphysics, namely, through the simple existence of the measurement problem; and through the experimental violations of Bell inequality. Even challenged, the object picture in physics can thus prevail. But we must also not forget that on the last decades, Quantum Physics has being evolved beyond the direct scope of quantum mechanics. I will try to argue that in at least some contemporary approaches in Quantum Physics we can see that there is a movement pointing towards a relational ontological view, according to which the ontological primacy is not to be given to individual entities, as self-sufficient elements with their own intrinsic and immutable identities—as in traditional object’s metaphysics—but to some sort of relational structures. I argue that although this relational metaphysics is still to be developed, it will have to be able to account for both the relational and object natures of quantum entities. (shrink)

The explanation of the suppression of Modus Ponens inferences within the framework of linguistic pragmatics and of plausible reasoning (i.e., deduction from uncertain premises) is defended. First, this approach is expounded, and then it is shown that the results of the first experiment of Byrne, Espino, and Santamar a (1999) support the uncertainty explanation but fail to support their counterexample explanation. Second, two experiments are presented. In the first one, aimed to refute one objection regarding the conclusions observed, the additional (...) conditional premise ( if N, C ) was replaced with a statement of uncertainty ( it is not certain that N ); the answers produced by the participants remained qualitatively and quantitatively similar in both conditions. In the second experiment, a fine-grained analysis of the responses to and justifications for an evaluation task was performed. The results of both experiments strongly supported the uncertainty explanation. (shrink)

Most practitioners of the metaphysics of science agree that it should be a naturalized metaphysics. But, just as in other areas of philosophy, there is no consensus on what constitutes naturalism. Here I will focus on just one aspect, viz., the idea that the metaphysics of science should be epistemically naturalized. In the first section I will characterize the kind of epistemic naturalism relevant to the metaphysics of science. The main idea, drawing on the work of Penelope Maddy, is that (...) metaphysical inquiry is to be conducted and metaphysical claims justified in the very same way that scientific inquiry is conducted and scientific claims are justified. I then examine two prominent examples of metaphysicians of science proposing to “naturalize” the metaphysics of science, and argue that they fail to be epistemically natural. These are approaches due to James Ladyman and Don Ross, and to Anjan Chakravartty. Considering their failures shows us a way forward for naturalized metaphysics of science that is both more metaphysical and more scientific. (shrink)

G. E. Moore argues that goodness is an intrinsic non-natural property that supervenes irreducibly on the intrinsic natural properties of its bearers. Accordingly, it is often supposed that “Moorean” supervenience is incompatible with physicalism, a naturalistic thesis. In this paper I argue that Moorean supervenience is not in itself incompatible with physicalism, Moore’s ethical non-naturalism notwithstanding. Understanding why will help us to better appreciate the full range of resources available to physicalists.

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

This paper offers an account of what it is for a physical system to be a computing mechanism—a system that performs computations. A computing mechanism is a mechanism whose function is to generate output strings from input strings and (possibly) internal states, in accordance with a general rule that applies to all relevant strings and depends on the input strings and (possibly) internal states for its application. This account is motivated by reasons endogenous to the philosophy of computing, namely, doing (...) justice to the practices of computer scientists and computability theorists. It is also an application of recent literature on mechanisms, because it assimilates computational explanation to mechanistic explanation. The account can be used to individuate computing mechanisms and the functions they compute and to taxonomize computing mechanisms based on their computing power. (shrink)

According to Relational Quantum Mechanics the wave function \ is considered neither a concrete physical item evolving in spacetime, nor an object representing the absolute state of a certain quantum system. In this interpretative framework, \ is defined as a computational device encoding observers’ information; hence, RQM offers a somewhat epistemic view of the wave function. This perspective seems to be at odds with the PBR theorem, a formal result excluding that wave functions represent knowledge of an underlying reality described (...) by some ontic state. In this paper we argue that RQM is not affected by the conclusions of PBR’s argument; consequently, the alleged inconsistency can be dissolved. To do that, we will thoroughly discuss the very foundations of the PBR theorem, i.e. Harrigan and Spekkens’ categorization of ontological models, showing that their implicit assumptions about the nature of the ontic state are incompatible with the main tenets of RQM. Then, we will ask whether it is possible to derive a relational PBR-type result, answering in the negative. This conclusion shows some limitations of this theorem not yet discussed in the literature. (shrink)

According to one influential response to evolutionary debunking arguments against moral realism, debunking arguments fail to undermine our moral beliefs because they fail to imply that those beliefs are insensitive or unsafe. The position that information about the explanatory history of our belief must imply that our beliefs are insensitive or unsafe in order to undermine those beliefs has been dubbed “Modal Security”, and I therefore label this style of response to debunking arguments the “modal security response”. An alternative position, (...) that our beliefs can be defeated if we accept those beliefs are not explained by the relevant facts, I call “explanationism”. In this article, I argue against Modal Security in favour of explanationism. First, I present two examples from the literature that appear to support explanationism, and I argue that these examples imply that the modal security response is fundamentally misguided about the nature of epistemic defeat. I then consider a recent response from Justin Clarke-Doane and Dan Baras, who claim that examples of this kind fail because they are either incoherent or involve a failure of modal security. I argue that, due to their position on the failure of evolutionary debunking arguments, Clarke Doane and Dan Baras are committed to the existence of coherent, sufficiently simple examples that can help us arbitrate between explanationism and modal security. I then construct such an example and argue that it clearly indicates that we should reject Modal Security in favour of explanationism. This implies the modal security response to debunking arguments fails. (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

I argue that there are such things as nomological probabilities—probabilities that play a certain explanatory role with respect to stable, long-run relative frequencies. Indeed, I argue, we should be willing to accept nomological probabilities even if they turn out to be metaphysically weird or even wholly sui generis entities. I then give an example of one way in which this argument should shape future work on the metaphysics of chance by describing a challenge to a common group of analyses of (...) objective probability—Humean analyses— understood as analyses of nomological probability. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

Nonreductive physicalism states that actions have sufficient physical causes and distinct mental causes. Nonreductive physicalism has recently faced the exclusion problem, according to which the single sufficient physical cause excludes the mental causes from causal efficacy. Autonomists respond by stating that while mental-to-physical causation fails, mental-to-mental causation persists. Several recent philosophers establish this autonomy result via similar models of causation :1031–1049, 2016; Zhong, J Philos 111:341–360, 2014). In this paper I argue that both of these autonomist models fail on account (...) of the problem of Edwards’s Dictum. However, I appeal to foundational principles of action theory to resuscitate mental-to-mental causation in a manner that is consistent with the models of causation endorsed by these autonomists. (shrink)

This paper argues that modal realism has a problem with mathematical impossibilities. Due to the peculiar way it treats both propositions and mathematical objects, modal realism cannot distinguish the content of different mathematically impossible beliefs. While one might be happy to identify all logically impossible beliefs, there are many different mathematically impossible beliefs, none of which is a belief in a logical contradiction. The fact that it cannot distinguish these beliefs speaks against adopting modal realism.

Frankfurt‐style action cases have been immensely influential in the free will and moral responsibility literatures because they arguably show that an agent can be morally responsible for a behavior despite lacking the ability to do otherwise. However, even among the philosophers who accept Frankfurt‐style action cases, there remains significant disagreement about whether also to accept Frankfurt‐style omission cases – cases in which an agent omits to do something, is unable to do otherwise, and is allegedly morally responsible for that omission. (...) Settling this debate about Frankfurt‐style omission cases is significant because the resolution entails an important fact about moral responsibility: whether there is there a moral asymmetry between actions and omissions with respect to the ability to do otherwise. My proposal is that both Frankfurt‐style action cases and omission cases involve the same type of causal structure: causal preemption. However, the preemptor and the preemptee differ. In action cases, the Frankfurted agent preempts the neuroscientist and is causally and morally responsibility for the effect. In omission cases, Frankfurted agent is neither causally nor morally responsible for the effect. Instead, the neuroscientist preempts the Frankfurted agent. Thus, there are no Frankfurt‐style omission cases. (shrink)

Philosophers have already recognized the importance of causal preemption involving “positive” events. First, preemption with positive events raises problems for counterfactual theories of causation. Second, theories of moral and legal responsibility rely heavily on the concept of causation, so accurately assessing responsibility in preemption cases requires correctly assessing their causal structure. However, philosophers have not discussed preemption involving “negative” events or omissions. This paper argues that cases of preemptive omissions exist and have important implications for theories of causation and for (...) moral and legal responsibility. Of theoretical importance, the alterations made to counterfactual theories of causation to address preemption with positive events do not seem to work for accommodating preemptive omissions. Of practical importance, there have been actual legal cases involving preemptive omissions, and at least one such case was, this paper contends, decided incorrectly on erroneous causal grounds. This paper identifies what must happen for preemptive omissions to obtain. It then argues for the existence of preemptive omissions by constructing a series of cases and drawing structural parallels between preemption cases with positive events and cases with omissions. It ultimately presents a formula for generating preemptive omissions and examines both why “traditional” methods of generating preemption fail for omissions and why the proposed method avoids such concerns. (shrink)

This paper examines a promising probabilistic theory of singular causation developed by David Lewis. I argue that Lewis' theory must be made more sophisticated to deal with certain counterexamples involving pre-emption. These counterexamples appear to show that in the usual case singular causation requires an unbroken causal process to link cause with effect. I propose a new probabilistic account of singular causation, within the framework developed by Lewis, which captures this intuition.

Judea Pearl (2000) has recently advanced a theory of token causation using his structural equations approach. This paper examines some counterexamples to Pearl's theory, and argues that the theory can be modified in a natural way to overcome them.

If physicalism is true (e.g., if every event is a fundamental-physical event), then it looks as if there is a fundamental-physical explanation of everything. If so, then what is to become of special scientific explanations? They seem to be excluded by the fundamental-physical ones, and indeed to be excellent candidates for elimination. I argue that, if physicalism is true, there probably is a fundamental-physical explanation of everything, but that nevertheless there can perfectly well be special scientific explanations as well, notwithstanding (...) eliminativist scruples concerning overdetermination and Ockham's Razor. (shrink)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The first of these articles provides a brief sketch of statistical mechanics, and discusses the indifference approach (...) to statistical mechanical probabilities. (shrink)

What is it for an event not to occur? This is an urgent, yet under explored, question for counterfactual analyses of causation quite generally. In this paper I take a lead from Lewis in identifying two different possible standards of non-occurrence that we might adopt and I argue that we need to apply them asymmetrically: one standard for the cause, another for the effect. This is a surprising result. I then offer a contextualist refinement of the Lewis approach in light (...) of initial problems, and discuss how the asymmetry remained hidden until now. I then relate the non-occurrence problem to issues of transitivity and proportionality in causation, before showing that a parallel problem exists for contrastivist and interventionist approaches to causation too. (shrink)

Leibniz speaks, in a variety of contexts, of there being two realms—a "kingdom of power or efficient causes" and "a kingdom of wisdom or final causes." This essay explores an often overlooked application of Leibniz's famous "two realms doctrine." The first part turns to Leibniz's work in optics for the roots of his view that nature can be seen as being governed by two complete sets of equipotent laws, with one set corresponding to the efficient causal order of the world, (...) and the other to its teleological order. The second part offers an account of how this picture of lawful over-determination is to be reconciled with Leibniz's mature metaphysics. The third addresses a line of objection proposed by David Hirschmann to the effect that Leibniz's doctrine undermines his stated commitment to an efficient, broadly mechanical account of the natural world. Finally, the fourth part suggests that Leibniz's thinking about the harmony of final and efficient causes in connection with corporeal nature may help to shed light on his understanding of the teleological unfolding of monads as well. (shrink)

How do we distinguish between cause and effect? The main argument of this paper is that if a realist account of the meaning of causal statements is adopted, then two clear distinctions between cause and effect emerge. By realist account is meant conceiving a cause as something with a power to act. Since a realist approach to causality is not widely accepted among philosophers, two arguments against a realist approach to causality are countered. The asymmetry of causality is defended against (...) the claim that physics, in the main, describes a symmetrical universe. (shrink)

Is time-travel possible? Like most intriguing problems that lie within the shared locus of physics, metaphysics and logic, this question admits of many interpretations, each of which engenders a different line of research. At its most anemic, the issue can be just: Is it possible to tell a story about travel into the past that contains no explicit contradictions? Under the stimulation of physical concerns it may develop into a more challenging problem: Do the laws of physics, as best we (...) understand them, admit of solutions that contain closed time-like curves? And next: Would it be physically possible for a massive object to travel along one of those curves into its own local past? Then: Are the known facts about our universe consistent with it being such a world? And finally: Is time-travel in our universe technologically possible? When prodded in this direction our original question arrives at last on the drawing boards of the engineers, having passed successively through the precincts of the theoretical physicists, the mathematicians, and the astronomers. (shrink)

Comparativism—the view that mass ratios are not grounded in absolute masses—faces a challenge by Baker which suggests that absolute masses are empirically meaningful. Regularity comparativism uses a liberalized version of the Mill-Ramsey-Lewis Best Systems Account to have both the laws of Newtonian gravity and the absolute mass scale supervene on a comparativist Humean mosaic as a package deal. I discuss three objections to this view and conclude that it is untenable. The most severe problem is that once we have reduced (...) away the absolute masses, there is nothing that stops us from also reducing the mass ratios. (shrink)

Absolutism about mass within Newtonian gravity claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Defenders of comparativism promise to recover all the empirical and theoretical virtues of absolutism, but at a lower ‘metaphysical cost’. This article develops a Machian form of comparativism about mass in Newtonian gravity, obtained by replacing Newton’s constant in the law of universal gravitation by another constant divided by the sum over all masses. Although this form of comparativism is indeed empirically (...) equivalent to the absolutist version of Newtonian gravity—thereby meeting the challenge posed by the comparativist’s bucket argument—it is argued that the explanatory power and metaphysical parsimony of comparativism are highly questionable. (shrink)

Rubin and Pearl offered approaches to causal effect estimation and Lewis and Pearl offered theories of counterfactual conditionals. Arguments offered by Pearl and his collaborators support a weak form of equivalence such that notation from the rival theory can be re-purposed to express Pearl’s theory in a way that is equivalent to Pearl’s theory expressed in its native notation. Nonetheless, the many fundamental differences between the theories rule out any stronger form of equivalence. A renewed emphasis on comparative research can (...) help to guide applications, further develop each theory, and better understand their relative strengths and weaknesses. (shrink)

A personal view is presented of how metaphysics and ontology stand at the beginning of the twenty-first century, in the light of developments during the twentieth. It is argued that realist metaphysics, with serious ontology at its heart, has a promising future, provided that its adherents devote some time and effort to countering the influences of both its critics and its false friends.

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we propose a (...) Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

A certain type of counterfactual is thought to be intimately related to causation, control, and explanation. The time asymmetry of these phenomena therefore plausibly arises from a time asymmetry of counterfactual dependence. But why is counterfactual dependence time asymmetric? The most influential account of the time asymmetry of counterfactual dependence is David Albert’s account, which posits a new, time-asymmetric fundamental physical law, the so-called “past hypothesis.” Albert argues that the time asymmetry of counterfactual dependence arises from holding fixed the past (...) hypothesis when evaluating counterfactuals. In this paper, I argue that Albert’s account misconstrues the time asymmetry of counterfactual dependence. (shrink)

The most important theories in fundamental physics, quantum mechanics and statistical mechanics, posit objective probabilities or chances. As important as chance is there is little agreement about what it is. The usual “interpretations of probability” give very different accounts of chance and there is disagreement concerning which, if any, is capable of accounting for its role in physics. David Lewis has contributed enormously to improving this situation. In his classic paper “A Subjectivist's Guide to Objective Chance” he described a framework (...) for representing single case objective chances, showed how they are connected to subjective credences, and sketched a novel account what they are within his Humean account of scientific laws. Here I will describe these contributions and add a little to them. (shrink)

It is natural to think of causes as difference-makers. What exact difference causes make, however, is an open question. In this paper, I argue that the right way of understanding difference-making is in terms of causal processes: causes make a difference to a causal process that leads to the effect. I will show that this way of understanding difference-making nicely captures the distinction between causing an outcome and helping determine how the outcome happens and, thus, explains why causation is not (...) transitive. Moreover, the theory handles tricky cases that are problematic for competing accounts of difference-making. (shrink)

Humeans about laws maintain that laws of nature are nothing over and above the complete distribution of non-modal, categorical properties in spacetime. ‘Humean compatibilists’ argue that if Humeanism about laws is true, then agents in a deterministic world can do otherwise than they are lawfully determined to do because of the distinctive nature of Humean laws. More specifically, they reject a central premise of the Consequence argument by maintaining that deterministic laws of nature are ‘up to us’. In this paper, (...) we present a new argument for Humean compatibilism. We argue that Humeans about laws indeed have resources for defending compatibilism that non-Humeans lack. Moreover, we show that utilizing these resources does not lead to objectionable consequences. Humeans about laws should thus embrace Humean compatibilism. (shrink)

Many theories of actual causation implicitly endorse the claim that if c is an actual cause of e, then either c causes e directly or every intermediary by which c indirectly causes e is itself both an actual cause of e and also an actual effect of c. We think this compositionality constraint is plausible. However, as we show, it is not always satisfied by the causal attributions ordinary people make. We conclude by considering what philosophers working on causation should (...) do when the deliverances of their theories diverge from what ordinary people say. (shrink)

Alan Garfinkel (1981) and Bas van Fraassen (1980), among others, have proposed a contrastive theory of explanation, according to which the proper form of an explanatory why-question is not simply "Why P?" but "Why P rather than Q?". Dennis Temple (1988) has argued in this journal that the contrastive explanandum "P rather than Q" is equivalent to the conjunction, "P and not-Q". I show that the contrast is not equivalent to the conjunction, nor to other plausible noncontrastive candidates. I then (...) consider David Lewis's (1986) proposal for the way contrasts determine an explanatory cause, which does not require recasting the contrastive explanandum. Lewis's proposal is found to be unacceptable, but it suggests an improvement that shows contrastive explanations to employ a mechanism of "causal triangulation", similar to Mill's method of difference. (shrink)

David Lewis has a general recipe for analysis: the Canberra Plan. His analyses of mind, color, and value all proceed according to the plan. What is curious is that his analysis of causation – one of his seminal analyses – doesn't. It doesn't and according to Lewis it can't. Lewis has two objections against using the Canberra Plan to analyze causation. After presenting Lewis' objections I argue that they both fail. I then draw some lessons from their failure.

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

Since K. Fine’s influential criticism of modalism, many philosophers have agreed that we cannot understand the concept of essence with that of modality. However, some philosophers have resisted this mainstream position. In this paper, I examine N. Wildman’s claim that, unlike other versions of modalism, his version of modalism, namely Sparse Modalism can save modalism. I will argue first that if we introduce the notion of grounding into this debates, Wildman’s criticisms of other versions are significantly undermined. Next, I will (...) argue that since Sparse Modalism has an implicit commitment to grounding Wildman cannot blame revising other versions modalism with the concept of grounding. From these claims, I will conclude that the prospect of the success of modalism in general is at best dubious. Without the concept of grounding no version of modalism can succeed and with the concept of grounding no version is well motivated. (shrink)

In this paper, I examine J. Carroll's “Mirror Argument” against the Humean conception of law and H. Beebee's response to this argument. I will first show that Beebee's criticism is quite plausible if it is refined slightly. Then, I will propose a revised version of the Mirror Argument which is immune to criticisms like that of Beebee's. According to the Humean conception of law, I will argue, we should accept the existence of counterfactual dependence relation where there should not be (...) such relation. (shrink)

In ‘The Ockhamization of the event sources of sound’ (2013), Roberto Casati, Elvira Di Bona, and Jérôme Dokic argue that ‘ockhamizing’ Casey O’Callaghan’s account of sounds as proper parts of their event sources yields their preferred view: that sounds are identical with their event sources. This article argues that the considerations Casati et al. marshal in favor of their view are actually stronger considerations in favor of a quite different view: a variant on the Lockean conception of sounds as ‘sensible (...) qualities’ that treats sounds as audible properties of their event sources. (shrink)

This paper proposes an account of why proof is the only way to acquire knowledge of some mathematical proposition’s truth. Admittedly, non-deductive arguments for mathematical propositions can be strong and play important roles in mathematics. But this paper proposes a necessary condition for knowledge that can be satisfied by putative proofs (and proof sketches), as well as by non-deductive arguments in science, but not by non-deductive arguments from mathematical evidence. The necessary condition concerns whether we can justly expect that if (...) the mathematical proposition is actually false, despite the evidence for its truth, then this fact has an explanation. (shrink)