It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (shrink)

The paper develops a unified account of both deterministic and indeterministic laws of nature which inherits the merits but not the defects of the best existing accounts. As in Armstrong's account, laws are embodied in facts about universals; but not in higher‐order relations between them, and the necessity of laws is not primitive but results from their containing chances of 0 or 1. As in the Ramsey‐Lewis account, law statements would be the general axioms and theorems of the simplest deductive (...) theory of everything; but because laws are not so defined, simplicity of statement is not a criterion of law‐hood. (shrink)

Abstract: In this paper I offer an account of a particular variety of perception of absence, namely, visual perception of empty space. In so doing, I aim to make explicit the role that seeing empty space has, implicitly, in Mike Martin's account of the visual field. I suggest we should make sense of the claim that vision has a field—in Martin's sense—in terms of our being aware of its limitations or boundaries. I argue that the limits of the visual field (...) are our own sensory limitations, and that we are aware of them as such. Seeing empty space, I argue, involves a structural feature of experience that constitutes our awareness of our visual sensory limitations, and thus, in virtue of which vision has a field. (shrink)

If time travel is possible, presumably so is my shooting my younger self ; then apparently I can kill him – I can commit retrosuicide. But if I were to kill him I would not exist to shoot him, so how can I kill him? The standard solution to this paradox understands ability as compossibility with the relevant facts and points to an equivocation about which facts are relevant: my killing YS is compossible with his proximity but not with his (...) survival, so I can kill him if facts like his survival are irrelevant but I cannot if they are relevant. I identify a lacuna in this solution, namely its reliance without argument on the hidden assumption that my killing YS is possible: if it is impossible, it is not compossible with anything. I argue that this lacuna is important, and I sketch a different solution to the paradox. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

It is often claimed that artificial society simulations contribute to the explanation of social phenomena. At the hand of a particular example, this paper argues that artificial societies often cannot provide full explanations, because their models are not or cannot be validated. Despite that, many feel that such simulations somehow contribute to our understanding. This paper tries to clarify this intuition by investigating whether artificial societies provide potential explanations. It is shown that these potential explanations, if they contribute to our (...) understanding, considerably differ from potential causal explanations. Instead of possible causal histories, simulations offer possible functional analyses of the explanandum . The paper discusses how these two kinds explanatory strategies differ, and how potential functional explanations can be appraised. (shrink)

C. B. Martin's finkish cases raise one of the most serious objections to conditional analyses of dispositions. David Lewis's reformed analysis is widely considered the most promising response to the objection. Despite its sophistication, however, the reformed analysis still provokes questions concerning its ability to handle finkish cases. They focus on the applicability of the analysis to 'baseless' dispositions. After sketching Martin's objection and the reformed analysis, I argue that all dispositions have causal bases which the analysis can unproblematically invoke.

A new position in the philosophy of mind has recently appeared: the extended mind hypothesis (EMH). Some of its proponents think the EMH, which says that a subject's mental states can extend into the local environment, shows that internalism is false. I argue that this is wrong. The EMH does not refute internalism; in fact, it necessarily does not do so. The popular assumption that the EMH spells trouble for internalists is premised on a bad characterization of the internalist thesis—albeit (...) one that most internalists have adhered to. I show that internalism is entirely compatible with the EMH. This view should prompt us to reconsider the characterization of internalism, and in conclusion I make some brief remarks about how that project might proceed. (shrink)

What exactly is reasoning? Like many other philosophers, I shall endorse a broadly causal conception of reasoning. Reasoning is a causal process, in which one mental event (say, one’s accepting the conclusion of a certain argument) is caused by an antecedent mental event (say, one’s considering the premises of the argument). Just like causal accounts of action and causal accounts of perception, causal accounts of reasoning have to confront a version of what has come to be known as the problem (...) of deviant causal chains. In this paper, I shall propose an account of the nature of reasoning, incorporating a solution to the specific version of the deviant causal chains problem that arises for accounts of reasoning. One striking feature of my solution is that it requires that certain normative facts are causally efficacious. It might be thought that this feature will make my account incompatible with any plausibly naturalistic approach to understanding the mind. I shall argue that this is not so: my account of the nature of reasoning is quite compatible with plausible versions of naturalism. (shrink)

A novel motivation for a Humean projectivist construal of our concept of scientific law is provided. The analysis is partially developed and used to explain intuitions that are problematic for a Humean reductionist construal of lawhood. A possible non-Humean rejoinder is discussed and rejected. In an appendix, further intuitions that are problematic for Humean reductionists are explained projectively.

The two major modern accounts of explanation are the causal and unification accounts. My aim in this paper is to provide a kind of unification of the causal and the unification accounts, by using the central technical apparatus of the unification account to solve a central problem faced by the causal account, namely, the problem of determining which parts of a causal network are explanatorily relevant to the occurrence of an explanandum. The end product of my investigation is a causal (...) account of explanation that has many of the advantages of the unification account. (shrink)

Selection explanations explain some non-accidental generalizations in virtue of a selection process. Such explanations are not particulaizable - they do not transfer as explanations of the instances of such generalizations. This is unlike many explanations in the physical sciences, where the explanation of the general fact also provides an explanation of its instances (i.e. standard D-N explanations). Are selection explanations (e.g. in biology) therefore a different kind of explanation? I argue that to understand this issue, we need to see that (...) a standard D-N explanation of some non-accidental generalization (al Fs are Gs) may also ipso facto explain its contrapositive (all non-Gs are non-Fs), but the explanation is particularizable with respect to the former but not to the latter. This can be seen by noting that the Raven Paradox counterexample to the H-D model of confirmation also generates a counterexample to the D-N model of explanation (all ravens are black does not explain why the non-black shoe is a non-raven). In such cases it is natural to take the generalization with the positive predicates to have a particularizable explanation. However, this need not be the case, and in selection explanations it is the generalization with the positive predicates whose explanation is no particularizable. Thus there is no need to suppose that selection explanations are fundamentally different. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis of (...) autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals. (shrink)

NRP is a family of views differing by how they understand “reduction” and “physicalism.” Following Kim I understand the non-reduction as holding that some events and properties are distinct from any physical events and properties. A necessary condition for physicalism is that mental properties, events, and laws supervene on physical ones. Kim allows various understandings of “supervenience” but I think that physicalism requires at least the claim that any minimal physical duplicate of the actual world is a duplicate simpliciter. Some (...) complications aside this means that true mental propositions, e.g. Jaegwon is thinking about sailing, are metaphysically entailed by true physical propositions. Kim says that supervenience is too weak to capture the root idea of physicalism that mental property instantiations depend on physical property instantiations so he adds that the mental depends on the physical. One way in which this dependance might be spelled out is that mental properties are higher order functional properties whose instantiations are realized by instantiations of physical properties. An event is an instantiation of a property by an individual and a time. A mental event is the instantiation of a mental property. Not every predicate expresses a genuine property. Kim further suggests that properties are individuated, at least partly, by nomological and causal relations. For physicalism to have content something must be said about the difficult issue of characterizing the physical. Kim’s view seems to be that the micro-physical properties of ideal physics are physical. He also counts as physical properties that are conjunctions and aggregates of micro-physical properties and higher level properties defined over lower-level physical properties.. Since these latter two classes of properties supervene on the micro-properties and laws there is no need to include them in the supervenience base. (shrink)

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

I advance a new theory of causal relevance, according to which causal claims convey information about conditional probability functions. This theory is motivated by the problem of disjunctive factors, which haunts existing probabilistic theories of causation. After some introductory remarks, I present in Section 3 a sketch of Eells's (1991) probabilistic theory of causation, which provides the framework for much of the discussion. Section 4 explains how the problem of disjunctive factors arises within this framework. After rejecting three proposed solutions, (...) I offer in Section 6 a new approach to causation that avoids the problem. Decision-theoretic considerations also support the new approach. Section 8 develops the consequences of the new theory for causal explanation. The resulting theory of causal explanation incorporates the new insights while respecting important work on scientific explanation by Salmon (1971), Railton (1981), and Humphreys (1989). My conclusions are enumerated in Section 9. (shrink)

Following Dretske (1977), there has been a considerable body of literature on the role of contrastive stress in causal claims. Following van Fraassen (1980), there has been a considerable body of literature on the role of contrastive stress in explanations and explanation-requesting why-questions. Amazingly, the two bodies of literature have remained almost entirely disjoint. With an understanding of the contrastive nature of ordinary causal claims, and of the linguistic roles of contrastive stress, it is possible to provide a unified account (...) of both phenomena. I provide such an account from within the framework of a probabilistic theory of causation. Relations of screening-off, long familiar to researchers in probabilistic causality, play a central role in this account. (shrink)

Dr. Evil learns that a duplicate of Dr. Evil has been created. Upon learning this, how seriously should he take the hypothesis that he himself is that duplicate? I answer: very seriously. I defend a principle of indifference for self-locating belief which entails that after Dr. Evil learns that a duplicate has been created, he ought to have exactly the same degree of belief that he is Dr. Evil as that he is the duplicate. More generally, the principle shows that (...) there is a sharp distinction between ordinary skeptical hypotheses, and self-locating skeptical hypotheses. (shrink)

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean base (...) that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. (shrink)

In Part I, we presented and motivated a new formulation of Humean Supervenience about Laws of Nature (HS). Here in Part II, we present an epistemological argument in defense of HS, thus formulated. Our contention is that one can combine a modest realism about laws of nature with a proper recognition of the importance of empirical testability in the epistemology of science only if one accepts HS.

In this paper I develop a theory of contrastive why questions that establishes under what conditions it is sensible to ask "why p rather than q?". p and q must be outcomes of a single type of causal process.

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

Philosophers agree that scientific explanations aim to produce understanding, and that good ones succeed in this aim. But few seriously consider what understanding is, or what the cues are when we have it. If it is a psychological state or process, describing its specific nature is the job of psychological theorizing. This article examines the role of understanding in scientific explanation. It warns that the seductive, phenomenological sense of understanding is often, but mistakenly, viewed as a cue of genuine understanding. (...) The article closes with a discussion of several new paths of research that tie the psychology of scientific explanation to cognate notions of learning, testimony, and understanding. (shrink)

We argue that the health sciences make causal claims on the basis of evidence both of physical mechanisms, and of probabilistic dependencies. Consequently, an analysis of causality solely in terms of physical mechanisms or solely in terms of probabilistic relationships, does not do justice to the causal claims of these sciences. Yet there seems to be a single relation of cause in these sciences - pluralism about causality will not do either. Instead, we maintain, the health sciences require a theory (...) of causality that unifies its mechanistic and probabilistic aspects. We argue that the epistemic theory of causality provides the required unification. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

Structural equations have become increasingly popular in recent years as tools for understanding causation. But standard structural equations approaches to causation face deep problems. The most philosophically interesting of these consists in their failure to incorporate a distinction between default states of an object or system, and deviations therefrom. Exploring this problem, and how to fix it, helps to illuminate the central role this distinction plays in our causal thinking.

The counterfactual analysis of causation has focused on one particular counterfactual conditional, taking as its starting-point the suggestion that C causes E iff (C E). In this paper, some consequences are explored of reversing this counterfactual, and developing an account starting with the idea that C causes E iff (E C). This suggestion is discussed in relation to the problem of pre-emption. It is found that the 'reversed' counterfactual analysis can handle even the most difficult cases of pre-emption with only (...) minimal complications. The paper closes with a discussion of the wider philosophical implications of developing a reversed counterfactual analysis, especially concerning the differentiation of causes from causal conditions, causation by absences, and the extent to which causes suffice for their effects. (shrink)

David Lewis’s ‘Humean Supervenience’ (henceforth ‘HS’) combines realism about laws, chances, and dispositions with a sparse ontology according to which everything supervenes on the overall spatiotemporal distribution of non-dispositional properties (Lewis 1986a, Philosophical papers: Volume II, pp. ix–xvii, New York: Oxford Univesity Press, 1994, Mind 103:473–490). HS faces a serious problem—a “big bad bug” (Lewis 1986a, p. xiv): it contradicts the Principal Principle, a seemingly obvious norm of rational credence. Two authors have tried to rescue Lewis’s ontology from the ‘big (...) bad bug’ (henceforth ‘the Bug’) by rejecting realism about laws, chances, and dispositions (Halpin 1994, Aust J Phil 72:317–338, 1998, Phil Sci 65:349–360; Ward 2005, Phil Sci 71:241–261). I will argue that this strategy cannot possibly work: it is the ontology, not the realist thesis, that lies at the root of the problem. (shrink)

In the paper, the proof of the non-locality of quantum mechanics, given by Bedford and Stapp (1995), and appealing to the GHZ example, is analyzed. The proof does not contain any explicit assumption of realism, but instead it uses formal methods and techniques of the Lewis calculus of counterfactuals. To ascertain the validity of the proof, a formal semantic model for counterfactuals is constructed. With the help of this model it can be shown that the proof is faulty, because it (...) appeals to the unwarranted principle of “elimination of eliminated conditions” (EEC). As an additional way of showing unreasonableness of the assumption (EEC), it is argued that yet another alleged and highly controversial proof of non-locality of QM, using the Hardy example, can be made almost trivial with the help of (EEC). Finally, a general argument is produced to the effect that the locality condition in the form accepted by Stapp and Bedford is consistent with the quantum-mechanical predictions for the GHZ case under the assumption of indeterminism. This result undermines any future attempts of proving the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence in the GHZ case, quite independently of the negative assessment of the particular derivation proposed by Stapp and Bedford. (shrink)

Color relationalism is the view that colors are constituted in terms of relations to perceiving subjects. Among its explanatory virtues, relation- alism provides a satisfying treatment of cases of perceptual variation. But it can seem that relationalists lack resources for saying that a representa- tion of x’s color is erroneous. Surely, though, a theory of color that makes errors of color perception impossible cannot be correct. In this paper I’ll argue that, initial appearances notwithstanding, relationalism contains the resources to account (...) for errors of color perception. I’ll conclude that worries about making room for error are worries the relationalist can meet. (shrink)

Concerns about ‘mental causation’ are concerns about how it is possible for mental states to cause anything to happen. How does what we believe, want, see, feel, hope, or dread manage to cause us to act? Certain positions on the mind-body problem—including some forms of physicalism—make such causation look highly problematic. This entry sketches several of the main reasons to worry, and raises some questions for further investigation.

A property, F, is maximal i?, roughly, large parts of an F are not themselves Fs. Maximal properties are typically extrinsic, for their instantiation by x depends on what larger things x is part of. This makes trouble for a recent argument against microphysical superve- nience by Trenton Merricks. The argument assumes that conscious- ness is an intrinsic property, whereas consciousness is in fact maximal and extrinsic.

We offer a novel theory of information that differs from traditional accounts in two respects: (i) it explains information in terms of counterfactuals rather than conditional probabilities, and (ii) it does not make essential reference to doxastic states of subjects, and consequently allows for the sort of objective, reductive explanations of various notions in epistemology and philosophy of mind that many have wanted from an account of information.

I argue against such "Relation Intentionalist" theories of consciousness as the higher-order thought and inner sense views on the grounds that they understand a subject's awareness of his or her phenomenal characters to be intentional, like seeming-seeing, rather than "direct", like seeing. The trouble with such views is that they reverse the order of explanation between phenomenal character and intentional awareness. A superior theory of consciousness, based on views expressed by Russell and Price, takes the relation of awareness to be (...) a nonintentional "acquaintance". (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and social explainability can (...) require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (shrink)

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

It seems to be a platitude that there must be a close connection between causality and the laws of nature: the laws somehow cover in general what happens in each specific case of causation. But so-called singularists disagree, and it is often thought that the locus classicus for that kind of dissent is Anscombe's famous Causality & Determination. Moreover, it is often thought that Anscombe's rejection of determinism is premised on singularism. In this paper, I show that this is a (...) mistake: Anscombe is not a singularist, but in fact only objects to a very specific, Humean understanding of the generality of laws of nature and their importance to causality. I argue that Anscombe provides us with the contours of a radically different understanding of the generality of the laws, which I suggest can be fruitfully developed in terms of recently popular dispositional accounts. And as I will show, it is this account of laws of nature (and not singularism) that allows for the possibility of indeterminism. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

In this paper, I analyze some disagreements about scientific ontology as cases of disagreement between epistemic peers. I maintain that the particularities of these cases are better understood if epistemic peerhood is relativized to a perspective-like index of epistemic goals and values. Taking the debate on the metaphysics of laws of nature as a case study, I explore the limits and possibilities of a trans-perspective assessment of positions regarding scientific ontology.