Does A cause B simply if A prevents what would have prevented B? Such a case is known as double prevention: where we have the prevention of a prevention. One theory of causation is that A causes B when B counterfactually depends on A and, as there is such a dependence, proponents of the view must rule that double prevention is causation.<br><br>However, if double prevention is causation, it means that causation can be an extrinsic matter, that the cause and effect (...) need not be connected by a continuous chain of events, that there can be causation by absence, and that there can be causation at a distance. All of these implications jar with strong intuitions we have about the nature of causation. There is, on the other hand, a theory of causation based on an ontology of real dispositions, where causation involves the passing around of powers. This theory in contrast entails that double prevention is not causation and, on this issue, it can claim a victory over the counterfactual dependence account. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Arguing against the claim that every dispositional property is grounded in some property other than itself, Stephen Mumford presents what he calls the ‘Ungrounded Argument’. If successful, the Ungrounded Argument would represent a major victory for anti-Humean metaphysics over its Humean rivals, as it would allow for the existence of primitive modality. Unfortunately, Humeans need not yet be worried, as the Ungrounded Argument is itself lacking in grounding. I indicate where Mumford’s argument falls down, claiming that even the dispositions of (...) the simplest particles can have categorical bases. (shrink)

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

Central to the debate between Humean and anti-Humean metaphysics is the question of whether dispositions can exist in the absence of categorical properties that ground them (that is, where the causal burden is shifted on to categorical properties on which the dispositions would therefore supervene). Dispositional essentialists claim that they can; categoricalists reject the possibility of such ?baseless? dispositions, requiring that all dispositions must ultimately have categorical bases. One popular argument, recently dubbed the ?Argument from Science?, has appeared in one (...) or another form over much of the last century and purports to win the day for the dispositional essentialist. Taking its cue from physical theory, the Argument from Science treats the exclusively dispositional characterizations of the fundamental particles one finds in physical theory as providing a key premise in what has been called a ?decisive? argument for baseless dispositions. Despite sharing the intuition that dispositions can be baseless, I argue that the force and significance of the Argument from Science have been greatly overestimated: no version of the argument is close to decisive, and only one version succeeds in scoring points against the categoricalist. Not only is physical theory more ontologically innocent than defenders of baseless dispositions seem to appreciate, most versions of the Argument from Science neglect important ways that dispositions could be grounded by categorical properties. (shrink)

The debate over persistence is often cast as a disagreement between two rival theories—the perdurantist theory that objects persist through time by having different temporal parts at different times, and the endurantist theory that objects persist through time by being wholly present at different times. This way of framing the debate over persistence involves both an important insight and an important error. Unfortunately, the error is often embraced and the insight is often ignored. This paper aims to correct both of (...) these mistakes, and thus clarify the debate over persistence. (shrink)

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every possible (...) world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (shrink)

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

Kerry et al. criticize our discussion of causal knowledge in evidence-based medicine (EBM) and our assessment of the relevance of their dispositionalist ontology for EBM. Three issues need to be addressed in response: (1) problems concerning transfer of causal knowledge across heterogeneous contexts; (2) how predictions about the effects of individual treatments based on population-level evidence from RCTs are fallible; and (3) the relevance of ontological theories like dispositionalism for EBM.

The value of any kind of data is greatly enhanced when it exists in a form that allows it to be integrated with other data. One approach to integration is through the annotation of multiple bodies of data using common controlled vocabularies or ‘ontologies’. Unfortunately, the very success of this approach has led to a proliferation of ontologies which itself creates obstacles to integration. The Open Biomedical Ontologies (OBO) consortium has set in train a strategy to overcome this problem. Existing (...) OBO ontologies, including the Gene Ontology, are undergoing a process of coordinated reform and new ontologies being created on the basis of an evolving set of shared principles governing ontology development. The result is an expanding family of ontologies designed to be interoperable, logically well-formed, and to incorporate accurate representations of biological reality. We describe the OBO Foundry initiative, and provide guidelines for those who might wish to become involved. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from (...) a knowledge of these historical roots of their discipline, which are shown to imply above alla critique of the set-theory-based models of reality typically presupposed by contemporary work in common-sense ontology [1]. (shrink)

The physical and/or intrinsic connection approach to causation has become prominent in the recent literature, with Salmon, Dowe, Menzies, and Armstrong among its leading proponents. I show that there is a type of causation, causation by disconnection, with no physical or intrinsic connection between cause and effect. Only Hume-style conditions approaches and hybrid conditions-connections approaches appear to be able to handle causation by disconnection. Some Hume-style, extrinsic, absence-relating, necessary and/or sufficient condition component of the causal relation proves to be needed.

Causation is widely assumed to be a binary relation: c causes e. I will argue that causation is a quaternary, contrastive relation: c rather than C* causes e rather than E*, where C* and E* are nonempty sets of contrast events. Or at least, I will argue that treating causation as contrastive helps resolve some paradoxes.

This paper presents a drastically revised version of the theory of causality, based on analyses of causal processes and causal interactions, advocated in Salmon (1984). Relying heavily on modified versions of proposals by P. Dowe, this article answers penetrating objections by Dowe and P. Kitcher to the earlier theory. It shows how the new theory circumvents a host of difficulties that have been raised in the literature. The result is, I hope, a more satisfactory analysis of physical causality.

This paper discusses several distinct process theories of causality offered in recent years by Phil Dowe and me. It addresses problems concerning the explication of causal process, causal interaction, and causal transmission, whether given in terms of transmission of marks, transmission of invariant or conserved quantities, or mere possession of conserved quantities. Renouncing the mark-transmission and invariant quantity criteria, I accept a conserved quantity theory similar to Dowe's--differing basically with respect to causal transmission. This paper also responds to several fundamental (...) constructive criticisms contained in Christopher Hitchcock's discussion of both the mark-transmission and the conserved quantity theories. (shrink)

The goal of this paper is two-fold: first, to emphasize causality in disease ontology and knowledge representation, presenting a general and cursory discussion of causality and causal chains; and second, to clarify and develop the River Flow Model of Diseases (RFM). The RFM is an ontological account of disease, representing the causal structure of pathology. It applies general knowledge of causality using the concept of causal chains. The river analogy of disease is explained, formal descriptions are offered, and the RFM (...) disease definition is refined by describing causal chains in terms of causal relations. The definition is updated to coincide with the actual RFM classes found in its upper-level ontology, YAMATO, which brings to light some challenges in developing both YAMATO and the RFM. The RFM is also discussed in relation to another ontological account of disease. Strategies are offered toward interoperability between these theories. (shrink)

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

The classical model of the molecule assumes that it has a definite shape and structure like a mechanical object in the world of possible experience. This study deals with this assumption so as to shed some light on the foundations of the model. Arguments based on Kant’s theory of transcendental idealism suggest that neither shape nor structure are attributes of the molecule, but are rather contributions of the subject. This claim has great relevance to the questions of whether or not (...) a quantum treatment of the molecule can derive structure without recourse to any approximation, and the possible existence of emergence and downward causation. The answer to the first question is in the negative, and to the second is that agnosticism is the only possible attitude to have toward this problem. We are creatures who can only imagine what is going on by observing phenomena. All that is accessible to us is the modal structure of the model. The causal structure of the real system is not. From the same point of view and taking the concept of the affordance into account, the adequacy of the concept of molecular structure will be argued. The point is to specify what objects the concept can legitimately be applied to. Also briefly discussed in relation to shape and structure is the idea that molecular chirality might be a probe to reveal the nature of space. (shrink)

A standard way of representing causation is with neuron diagrams. This has become popular since the influential work of David Lewis. But it should not be assumed that such representations are metaphysically neutral and amenable to any theory of causation. On the contrary, this way of representing causation already makes several Humean assumptions about what causation is, and which suit Lewis’s programme of Humean Supervenience. An alternative of a vector diagram is better suited for a powers ontology. Causation should be (...) understood as connecting property types and tokens where there are dispositions towards some properties rather than others. Such a model illustrates how an effect is typically polygenous: caused by many powers acting with each other, and sometimes against each other. It models causation as a tendency towards an effect which can be counteracted. The model can represent cases of causal complexity, interference, over-determination and causation of absence (equilibrium). (shrink)

I develop a metaphysical position that is both lawless and anti-Humean. The position is called realist lawlessness and contrasts with both Humean lawlessness and nomological realism – the claim that there are laws in nature. While the Humean view also allows no laws, realist lawlessness is not Humean because it accepts some necessary connections in nature between distinct properties. Realism about laws, on the other hand, faces a central dilemma. Either laws govern the behaviour of properties from the outside or (...) from the inside. If the former, an unacceptable quidditist view of properties follows. But no plausible account of laws within properties can be developed that permits a governing role specifically for laws. I conclude in favour of eliminativism about laws. At the conceptual core, the notion of a law in nature is misleading. It is suggestive of an otherwise static world in need of animation. (shrink)

This is a review of Mumford's *Dispositions*.

In “Ontological realism: Methodology or misdirection?” I offered a detailed critique of the position referred to as “realism” taken by Barry Smith and Werner Ceusters. This position is claimed to serve as the basis for a “realist methodology” that they seek to impose on the development of scientific ontologies, particularly within the biomedical sciences. Here, in part responding to a reply to those criticisms by Smith and Ceusters, I return the focus to an examination of fundamental incoherencies in this realist (...) approach and propose an alternative that is amenable to much of what Smith and Ceusters hope to accomplish. And I sketch what I believe is needed to advance ontology theory and practice in the sciences. (shrink)

In a series of papers over a period of several years Barry Smith andWerner Ceusters have offered a number of cogent criticisms of historical approaches to creating, maintaining, and applying biomedical terminologies and ontologies. And they have urged the adoption of what they refer to as a “realism-based” approach. Indeed, at times they insist that the realism-based approach not only offers clear advantages and a well-founded methodological basis for ontology development and evaluation, but that such a realist perspective is in (...) fact necessary for understanding and using terminologies and ontologies in science. -/- This paper explores a number of questions surrounding such claims, provides a careful characterization of the type of realism recommended by Smith and Ceusters, and evaluates the role that realism plays in the critiques and recommendations that they offer. The conclusion reached is that while Smith’s and Ceusters’ criticisms of prior practice in the treatment of ontologies and terminologies in medical informatics are often both perceptive and well founded, and while at least some of their own proposals demonstrate obvious merit and promise, none of this either follows from or requires the brand of realism that they propose. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Many years ago, C.B. Martin drew our attention to the possibility of ‘finkish’ dispositions: dispositions which, if put to the test would not be manifested, but rather would disappear. Thus if x if finkishly disposed to give response r to stimulus s, it is not so that if x were subjected to stimulus r, x would give response z; so finkish dispositions afford a counter‐example to the simplest conditional analysis of dispositions. Martin went on to suggest that finkish dispositions required (...) a theory of primitive causal powers; there, I think, he was mistaken. All that they require is an improved conditional analysis, and this improved analysis can be built upon whatever treatments of properties and of laws we may favour on other grounds. (shrink)

We claim that if a complete philosophy of evidence-based practice is intended, then attention to the nature of causation in health science is necessary. We identify how health science currently conceptualises causation by the way it prioritises some research methods over others. We then show how the current understanding of what causation is serves to constrain scientific progress. An alternative account of causation is offered. This is one of dispositionalism. We claim that by understanding causation from a dispositionalist stance, many (...) of the processes within an evidence-based practice framework are better accounted for. Further, some of the problems associated with the health research, e.g. external validity of causal findings, dissolve. (shrink)

In order to develop the ontology of tendencies for use in the representation of medical knowledge, tendencies are compared with other kinds of entities possessing the realizable-realization structure, specifically: dispositions, propensities, abilities and virtues. The peculiarities of tendencies are discussed and a standard schema of tendency ascription is developed in order to represent the relations between the ascriptions of tendency tokens to particulars and the ascriptions of tendency types to universals. Two nonstandard cases and their epistemic variants are discussed.

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

Judea Pearl has been at the forefront of research in the burgeoning field of causal modeling, and Causality is the culmination of his work over the last dozen or so years. For philosophers of science with a serious interest in causal modeling, Causality is simply mandatory reading. Chapter 2, in particular, addresses many of the issues familiar from works such as Causation, Prediction and Search by Peter Spirtes, Clark Glymour, and Richard Scheines. But philosophers with a more general interest in (...) causation will also profit from reading Pearl’s book, especially the material in chapters 7, 9, and 10, which is self-contained and less technical than other parts of the book. The present review is aimed primarily at readers of the second type. (shrink)

This article serves as an introduction to the laws-of-biology debate. After introducing the main issues in an introductory section, arguments for and against laws of biology are canvassed in Section 2. In Section 3, the debate is placed in wider epistemological context by engaging a group of scholars who have shifted the focus away from the question of whether there are laws of biology and toward offering good accounts of explanation(s) in the biological sciences. Section 4 introduces two relatively new (...) pieces of science – metabolic scaling theory and ecological stoichiometry – that have not been topics of much discussion by philosophers but are relevant because they have at least some of the hallmarks of laws of nature. Section 5 concludes by pointing out that discovering laws of biology, if any there be, will not necessarily answer the questions raised by the debate in the first place: we will still want to know how biology compares to other sciences, how to characterize its systems and processes, and whether accounts in terms of laws always or usually constitute adequate explanations in various sciences. (shrink)

This chapter investigates the prospects for an important position that falls under the "mere patterns" approach: what, for reasons that will emerge, the author calls"Humean reductionism" about laws of nature, a view championed perhaps most prominently by David Lewis. He reviews some of the most interesting arguments against this position from the literature, and adds some of his own that, he thinks, are more effective. The chapter considers how the best system account (BSA) would apply to the Newtonian particle world. (...) The BSA has been challenged in a wide variety of ways: it violates certain intuitions; It makes a hash out of the connection between laws on the one hand, and counterfactuals, explanation, and induction on the other. The author thinks that the problem he has raised‐challenging though he hopes it is, is really an occasion for the Humean reductionist to sharpen his position still further. (shrink)

At first glance, every metaphysics of laws can be combined with every ontology of time. In contrast, the paper intends to show that Humeanism requires eternalism and that Power metaphysics must presuppose an existentially dynamical view of temporal existence, i.e. growing block or presentism. The presented arguments turn out to be completely independent of whether the laws of nature are deterministic or probabilistic: the world is non-productive and static or productively dynamical, the future be ‘open’ or not.

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

The conditional analysis of dispositions is widely rejected, mainly due to counterexamples in which dispositions are either “finkish” or “masked.” David Lewis proposed a reformed conditional analysis. This view avoids the problem of finkish dispositions, but it fails to solve the problem of masking. I will propose a reformulation of Lewis’ analysis, and I will argue that this reformulation can easily be modified so that it avoids the problem of masking. In the final section, I will address the challenge that (...) some dispositions appear to lack any stimulus condition, and I will briefly turn to the issue of reductionism. (shrink)