Descartes’s causal theory is often taken to announce modernity by radically breaking with the Aristotelian past. Specifically, Descartes is often taken to reject the full Aristotelian causal theory in favor of the efficient causes characteristic of mechanistic physics and the activity of minds. In this chapter, I argue against this view by showing that Descartes endorses an avowedly Aristotelian notion of formal causation. First, I articulate Cartesian formal causation in light of its Aristotelian background, and I (...) show that Descartes endorses what Francisco Suárez termed metaphysical formal causal explanation. Then, I argue against taking formal causation to be a peripheral explanatory notion for Descartes by showing it to be both well-attested textually and part and parcel of his Platonic intellectualism. I conclude by suggesting some further contexts in which this Cartesian notion of formal causation could be profitably wielded. (shrink)

The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find (...) it difficult to prove that higher-order properties can be causally significant without violating the causal laws that operate at lower physical levels. They also face the problem of circularity and incoherence in their explanation. In our article we show that these problems can be overcome only if DC is understood in terms of formal rather than physical (efficient) causality. This breakdown of causal monism in science opens a way to the retrieval of the fourfold Aristotelian notion of causality. (shrink)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle (...) had very detailed procedures for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

The reduction of grounding to causation, or each to a more general relation of which they are species, has sometimes been justified by the impressive inferential capacity of structural equation modelling, causal Bayes nets, and interventionist causal modelling. Many criticisms of this assimilation focus on how causation is inadequate for grounding. Here, I examine the other direction: how treating grounding in the image of causation makes the resulting view worse for causation. The distinctive features of causal (...) modelling that make this connection appealing are distorted beyond use by forcing them to fit onto grounding. The very inferential strength that makes causation attractive is only possible because of a narrow construal of what counts as a causal relation; as soon as that broadens, the inferential capacity markedly diminishes. Making causation suitable for application to grounding spoils what was appealing about causation for this task in the first place. However, grounding need not appeal to causation: causal modelling does not have exclusive claim to structural equation modeling or other formal techniques of modelling structure. I offer a case in favour of a different kind of metaphysical frugality, which tend towards narrow, more restrictive construals of relations like causation or grounding, because then each relation behaves more homogenously. This more homogenous behavior delivers stronger inferential power per relation even though there may be more relations to which one is committed. (shrink)

Many researchers consider cancer to have molecular causes, namely mutated genes that result in abnormal cell proliferation (e.g. Weinberg 1998); yet for others, the causes of cancer are to be found not at the molecular level but at the tissue level and carcinogenesis would consist in a disrupted tissue organization with downward causation effects on cells and cellular components (e.g. Sonnenschein & Soto 2008). In this contribution, I ponder how to make sense of such downward causation claims. Adopting (...) a manipulationist account of causation (Woodward 2003), I propose a formal definition of downward causation, and discuss further requirements (in light of Baumgartner 2009). I then show that such an account cannot be mobilized in support of non-reductive physicalism (contrary to Raatikainen 2010). However, I also argue that such downward causation claims might point at particularly interesting dynamic properties of causal relationships that might prove salient in characterizing causal relationships (following Woodward 2010). (shrink)

A phenome occurs through the many pathways of the complex net of interaction between the phenome and its environment; therefore researching and understanding how it arises requires investigation into many possible causes that are in constant interaction with each other. The most comprehensive investigations in biology are the ones in which many biologists from different sub-areas—evolutionary biology, developmental biology, molecular biology, physiology, genetics, epigenetics, ecology—have collaborated. Still, biologists do not always need to collaborate or look for the most comprehensive explanations. (...) A more standard investigation in biology occurs within a single subarea, and uses well-defined experiments with very specific conditions. This paper is about causation and related explanation in plant phenome research and its relevance to Aristotle’s Theory of Four Causes. I argue that there are causes which resemble Aristotle’s formal, material, and efficient causes in phenotype explanation and occurrence; but causes which resemble Aristotle’s final causes occur in phenotype explanation only, not in the occurrence. (shrink)

The explanatory role of natural selection is one of the long-term debates in evolutionary biology. Nevertheless, the consensus has been slippery because conceptual confusions and the absence of a unified, formal causal model that integrates different explanatory scopes of natural selection. In this study we attempt to examine two questions: (i) What can the theory of natural selection explain? and (ii) Is there a causal or explanatory model that integrates all natural selection explananda? For the first question, we argue (...) that five explananda have been assigned to the theory of natural selection and that four of them may be actually considered explananda of natural selection. For the second question, we claim that a probabilistic conception of causality and the statistical relevance concept of explanation are both good models for understanding the explanatory role of natural selection. We review the biological and philosophical disputes about the explanatory role of natural selection and formalize some explananda in probabilistic terms using classical results from population genetics. Most of these explananda have been discussed in philosophical terms but some of them have been mixed up and confused. We analyze and set the limits of these problems. (shrink)

In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, (...) and put forward principles such that dependence is an unnecessary but sufficient condition for causation, whereas production is an insufficient but necessary condition. The resulting definition of causation is a suitable compromise between dependence and production. Every principle is introduced by means of a paradigmatic example of causation. We illustrate some of the benefits of our approach with two examples that have spelled trouble for other accounts. We make all of this formally precise using structural equations, which we extend with a timing over all events. (shrink)

A counterfactual is a conditional statement in the subjunctive mood. For example: If Suzy hadn’t thrown the rock, then the bottle wouldn’t have shattered. The philosophical importance of counterfactuals stems from the fact that they seem to be closely connected to the concept of causation. Thus it seems that the truth of the above conditional is just what is required for Suzy’s throw to count as a cause of the bottle’s shattering. If philosophers were reluctant to exploit this idea (...) prior to 1970, it was because of a widespread feeling that the truth-conditions of the counterfactual conditional were not sufficiently well understood. The development of a formal semantics for counterfactuals by Robert Stalnaker [1968] and David Lewis [1973b] stands as a major recent achievement in philosophical logic. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as (...) part of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It (...) is shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. (...) Starting from a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (shrink)

In this essay, I suggest that Spinoza acknowledges a distinction between formal reality that is infinite and timelessly eternal and formal reality that is non-infinite (i. e., finite or indefinite) and non-eternal (i. e., enduring). I also argue that if, in Spinoza’s system, only intelligible causation is genuine causation, then infinite, timelessly eternal formal reality cannot cause non-infinite, non-eternal formal reality. A denial of eternal-durational causation generates a puzzle, however: if no enduring thing (...) – not even the sempiternal, indefinite individual composed of all finite, enduring things – is caused by the infinite, eternal substance, then how can Spinoza consistently hold that the one infinite, eternal substance is the cause of all things and that all things are modes of that substance? At the end of this essay, I sketch how Spinoza could deny eternal-durational causation while still holding that an infinite, eternal God is the cause of all things and that all things are modes. I develop the interpretation more in the companion essay.1 1 In “Spinoza’s Monism II,” in the next issue of this journal. (shrink)

Spinoza is most often seen as a stern advocate of mechanistic efficient causation, but examining his philosophy in relation to the Aristotelian tradition reveals this view to be misleading: some key passages of the Ethics resemble so much what Suárez writes about emanation that it is most natural to situate Spinoza's theory of causation not in the context of the mechanical sciences but in that of a late scholastic doctrine of the emanative causality of the formal cause; (...) as taking a look at the seventeenth-century philosophy of mathematics reveals, this is in consonance also with Spinoza's geometrical cast of mind. Against this background, I examine Spinoza's essentialist model of causation according to which each thing has a formal character determined by the thing's essence and what follows from that essence. In the case of real things this essential causal architecture results in efficacy, i.e. in bringing about real effects, the key idea being that without the essential, formally structured causal thrust there would be no efficacy in the first place. I also explain how this model accounts for efficient causation taking place between finite things. (shrink)

I defend a new reading of Spinoza's account of causation that reconciles the strengths of the mechanist and formal cause interpretations by locating instances of nature's fixed and unchanging laws inside individual natures; natures are efficacious because that's where the laws are. God's necessity, for instance, follows from certain logical principles contained within God's nature. Causes between finite particulars likewise stem entirely from finite natures. They do so, I argue, because finite instances of nature's fixed and unchanging laws (...) are inscribed within those natures. In each of these instances, effects follow from natures on account of laws contained within them. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind (...) and its laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

In (Gebharter 2014) I suggested a framework for modeling the hierarchical organization of mechanisms. In this short addendum I want to highlight some connections of my approach to the statistics and machine learning literature and some of its limitations not mentioned in the paper.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

The very first line of Spinoza’s magnum opus, the Ethics, states the following surprising definition: By cause of itself I understand that whose essence involves existence, or that whose nature cannot be conceived except as existing [Per causam sui intelligo id, cujus essentia involvit existentiam, sive id, cujus natura non potest concipi, nisi existens]. As we shall shortly see, for many of Spinoza’s contemporaries and predecessors the very notion of causa sui was utterly absurd, akin to a Baron Munchausen attempting (...) to lift himself above a river by pulling his hair up. How can a thing cause itself into existence, if before the causal activity, the cause did not exist at all? Indeed, in one of his earliest works, Spinoza himself claimed: “No thing, considered in itself, has in itself a cause enabling it to destroy itself (if it exists), or to make itself [te konnen maaken] (if it does not exist)” (KV II 26|I/110/14-16). Moreover, in other early works, Spinoza refers to God as an “uncreated thing” (TIE §97) or “uncreated substance” (CM II 1|I/237/20), and not as a cause-of-itself as in the Ethics. What made Spinoza desert the common, traditional, view of God as the uncaused first cause, or uncreated substance, and adopt instead the apparently chimerical notion of God as causa sui? A very likely explanation for this development suggests that Spinoza’s rationalism, his commitment to the principle that everything must have a reason both for its existence and for its non-existence – a commitment stated clearly both in the Ethics (see, for example, E1p8s2 and E1p11d2), and in Spinoza’s other writings (see, for example, Ep. 34 (IV/179/29)) – made him realize that the notion of an uncreated, or uncaused, thing is of no use for him: if everything must have a cause, then the first cause, or the most fundamental being, must be a cause-of-itself. All this is well and good, but we should not let Spinoza off the hook so easily, for the immediate question which arises now is whether Spinoza is not simply cheating his readers. Does Spinoza have a reason – i.e., argument – that could convince us that causa sui is indeed a more adequate characterization of God and not merely an opportunistic and ad hoc façade for the good old uncaused cause? While there are many important questions surrounding Spinoza’s notion of causa sui, it is the last question which will be the focus of this short chapter. In the first part of this chapter, we study, briefly, Descartes’ engagement with the notion of causa sui. In the second part, I show that Spinoza understood the causation of causa sui as efficient, and not formal, causation. The third and final part will attempt to locate precisely the alleged problem with the notion of causa sui, and consider how could Spinoza defend the intelligibility of this notion. Regrettably, limitations of space will force us to leave the examination of Spinoza’s closely related notion of being-conceived. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which (...) extended causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

Wang Yangming 王陽明 (1472 – 1529) is famously associated with the view that knowledge and action are unified (zhī xíng hé yī 知行合一). Call this the Unity Thesis. Given standard assumptions about what it means for a person to know, it may seem that the Unity Thesis is clearly false: I can know that p without currently acting in p-related ways, and I can know how to φ without currently φ-ing. My aims in this paper are, first, to draw on (...) recent work in epistemology to explain and defend the Unity Thesis and, second, to argue that it offers us an attractive conceptual alternative to a standard way of thinking about the nature of intentional action. The first step of my argument draws on the idea that what distinguishes intentional actions from bodily events is the presence of knowing-to – that is, an agent is φ-ing intentionally if and only if she is currently doing something because she knows to do it as a way for her to φ. Such a notion of knowing-to allows us to explain otherwise puzzling features of the Unity Thesis, including the claim that knowing and acting occur simultaneously. In the second step, I argue that the Unity Thesis can help us avoid various long-standing issues in the philosophy of action, including the problem of deviant (formal) causation. (shrink)

Exceptions are often cited as a counterargument against formal causation. Against this I argue that Aristotle explicitly allows for exceptions to essences in his biological writings, and that he has a means of explaining them through formal causation – though this means that he has to slightly elaborate on his general case theory from the Posterior Analytics, by supplementing it with a special case application in the biological writings. Specifically for Aristotle an essential predication need not (...) be a universal predication. Rather an essential predication is where a property belongs essentially to a species or genus. This essential predication serves a causal and explanatory role, and is not dependent on a corresponding universal predication. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as did Hans (...) Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)

The subject of this essay is propria and their relation to essence. Propria, roughly characterized, are those real properties of a thing which are natural but nonessential to it, and which are said to “flow from” the thing’s essence, where this “flows from” relation is understood to designate a kind of explanatory relation. For example, it is said that Socrates’s risibility flows from his essential humanity; and it is said that salt’s solubility in water flows from the essential natures of (...) both salt and water. The question I raise and attempt to answer in this essay is: In what sense do propria “flow from” essences? What kind of explanatory relation is this exactly? Some suggest that it is a relation of logical consequence ; others, of grounding ; and still others, of formal causation. In this essay, I reintroduce and defend a view suggested by the late scholastic Spanish philosopher and theologian Francisco Suárez, who in 1597 wrote that effluence is best understood as a very special kind of efficient causation, which we can call the relation of emanation. The thesis of this essay, then, is that propria emanate from essences. Along the way, this paper offers a new taxonomy of types of propria; it explains the significance of propria for the metaphysics and epistemology of essences; it discusses at length varieties of efficient causation ; and then it offers an extensive abductive argument in favor of Suárez’s account, whereby the former accounts of effluence are critiqued, each in turn, and Suárez’s view is motivated and ultimately shown to be superior to its competitors. (shrink)

We define a formal semantics of conditionals based on _normatively ideal worlds_. Such worlds are described informally by Armgardt (Gabbay D, Magnani L, Park W, Pietarinen A-V (eds) Natural arguments: a tribute to john woods, College Publications, London, pp 699–708, 2018) to address well-known problems of the counterfactual approach to causation. Drawing on Armgardt’s proposal, we use iterated conditionals in order to analyse causal relations in scenarios of multi-agent interaction. This results in a refined counterfactual approach to causal (...) responsibility in legal contexts, which solves overdetermination problems in an intuitively accessible manner. (shrink)

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

Peirce's pragmatic notion of semiosis can be described in terms of a multi-level system of constraints involving chance, efficient, formal and final causation. According to the model proposed here, law-like regularities, which work as boundary conditions or organizational principles, have a downward effect on the spatiotemporal distribution of lower-level semiotic items. We treat this downward determinative influence as a propensity relation: if some lower-level entities a,b,c,-n are under the influence of a general organizational principle, W, they will show (...) a tendency to behave in certain specific ways, and, thus, to instantiate a set of specific processes. Our goal in this paper is to examine the role of downward determination in semiotic systems, conceived as multi-level hierarchical systems. (shrink)

Metaphysicians play an important role in our understanding of the universe. In recent years, physicists have focussed on finding accurate mathematical formalisms of the evolution of our physical system - if a metaphysician can uncover the metaphysical underpinnings of these formalisms; that is, why these formalisms seem to consistently map the universe, then our understanding of the world and the things in it is greatly enhanced. Science, then, plays a very important role in our project, as the best scientific formalisms (...) provide us with what we, as metaphysicians, should be trying to interpret. In this thesis I examine existing metaphysical views of what a law is (both from a conceptual and from a metaphysical perspective), to show how closely causation is linked to laws, and to provide a priori arguments for and against each of these positions. Ultimately, I aim to provide an analysis of a number of metaphysics of natural laws and causation, apply these accounts to our best scientific theories, and see how these metaphysics fit in with our concepts of cause and law. Although I do not attempt a definitive metaphysical account myself, I conclude that any successful metaphysic will be a broadly Humean one, and furthermore that given the concepts of cause and law that shall be agreed upon, Humean theories allow for there to be causal sequences and laws (in line with our concepts) in the world. (shrink)

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with (...) so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)

Spinoza distinguishes between causation that is external, as in A causing B where A is external to B, and causation that is internal, where C causes itself (causa sui), without any involvement of anything external to C. External causation is easy to understand, but self causation is not. This note explores an approach to self-causation based upon Gödelian undecidability and draws upon ideas from an earlier study of Gödel’s proof and the quantum measurement problem (Zwick, (...) 1978). (shrink)

My aim is to examine Aristotle's hylomorphism as a model for scientific explanation of living beings. I argue that the issue of matter-form relation should be connected with the opposition between the necessity of material and efficient causes and the teleology of forms. Form (as "telos") is a principle able to organize the appropriate conjunction of material and efficient causes. Formal and final causes are not a trick for filling the "gap in causation", nor are they bare heuristic (...) tools for inquiring into the "true" causes. The primacy of formal and final causes guarantees an appropriate account of material and efficient causes inasmuch as form and "telos" are responsible for bending and organizing the original dispositions of the material elements. (shrink)

Proportionality—the idea that causes are neither too general nor too specific for their effects—seems to recommend implausibly disjunctive causes (McGrath, 1998 ; Shapiro & Sober, 2012 ; Franklin-Hall, 2016 ). I argue that this problem should be avoided by appeal to the notion of cohesion. I propose an account of cohesion in terms of the similarity structure of property-spaces, argue that it is not objectionably mysterious, and that alternative approaches—based on naturalness, interventionism, and contrastivism—are inadequate without appeal to it. In (...) an appendix, I show how my proposal can be perspicuously formalized by adapting structural equation models. (shrink)

This paper examines the adequacy of causal graph theory as a tool for modeling biological phenomena and formalizing biological explanations. I point out that the causal graph approach reaches it limits when it comes to modeling biological phenomena that involve complex spatial and structural relations. Using a case study from molecular biology, DNA-binding and -recognition of proteins, I argue that causal graph models fail to adequately represent and explain causal phenomena in this field. The inadequacy of these models is due (...) to their failure to include relevant spatial and structural information in a way that does not render the model non-explanatory, unmanageable, or inconsistent with basic assumptions of causal graph theory. (shrink)

There is a current debate about the extent to which Academic Freedom should be permitted in our universities. On the one hand, we have traditionalists who maintain that Academic Freedom should be unrestricted: people who have the appropriate qualifications and accomplishments should be allowed to develop theories about how the world is, or ought to be, as they see fit. On the other hand, we have post-traditional philosophers who argue against this degree of Academic Freedom. I consider a conservative version (...) of post-traditional philosophy that permits restrictions on Academic Freedom only if the following conditions are met, Condition 1: The dissemination of the results of a given research project R must cause significant harm to some people, especially to people from oppressed groups. Condition 2: Condition 1 must possess strong empirical support, and which accepts the following assumptions: (1) there is a world of objective facts that is, in principle, discoverable, (2) rational means are the means of discovering it and, (3) rational means requires strong empirical support. I define strong empirical support for an hypothesis h on evidence e in probabilistic terms, as a ratio of posterior to prior probabilities substantially exceeding 1. I now argue in favour of a research policy that accepts unrestricted Academic Freedom. My argument is that there is a formal and general quandary that arises within the standard theory of probability when we apply this account of empirical support to a set of possible causal hypotheses framed in such a way that the “reverse probabilities”, pr(e/h) are 1. I consider various possible ways to escape this quandary, none of which are without difficulties, concluding that a research policy allowing for unrestricted Academic Freedom is probably the best that we can hope for. (shrink)

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding (...) interventionism. I argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

Recently, there has been an increased interest in employing model-based definitions of actual causation in legal inquiry. The formal precision of such approaches promises to be an improvement over more traditional approaches. Yet model-based approaches are viable only if suitable models of legal cases can be provided, and providing such models is sometimes difficult. I argue that causal-model-based definitions benefit legal inquiry in an indirect way. They make explicit the causal assumptions that need to be made plausible to (...) defend a particular claim of actual causation. My argument concerns the analysis of legal cases involving a combination of double prevention and causal redundancy. I show that discussions among legal theorists about such cases sometimes suffer from ambiguous assumptions about the causal structure. My account illustrates that causal models can act as a heuristic tool for clarifying such assumptions, and that causal models provide a framework for more accurate analyses of legal cases involving complex causal structure. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis that generates (...) objects with parts that are modular, independent, and organized according to an invariant syntax; (2) a notion of “distance” that relates the objects according to rules of change over time as found in nature or useful for algorithms; (3) mapping functions defined on the space that map its objects to other spaces or apply an evaluative criterion to measure an important quality, such as parsimony or biochemical function. Once defined, an object space can be used to represent and simulate the dynamics of phenomena on multiple scales; it can also be used as a tool for predicting higher-order properties of the objects, including stitching together series of causal processes. Object spaces are the basis for a strategy of theorizing, discovery, and analysis in biology: as heuristic idealizations of biology, they help us transform inchoate, intractable problems into articulated, well-structured ones. Developing an object space is a research strategy with a long, successful history under many other names, and it offers a unifying but not overreaching approach to biological theory. (shrink)

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (shrink)

The enduring problem of free will has defied resolution across centuries. There is reason to believe that novel factors must be integrated into the analysis to make progress. Within the current physicalist framework, these factors encompass emergence and information theory, in the context of constraints imposed by physical limits on the representation of information. Furthermore the common, but vague, characterization of free will as 'being able to act differently' is rephrased into an explicatum more suitable for formal analysis. It (...) is argued that the mind is an ontologically open system; a causal high-level system, the dynamics of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will for conscious agents is subsequently outlined. (shrink)

The focus of this chapter will be Kant’s understanding of Hume, and its impact on Kant’s critical philosophy. Contrary to the traditional reading of this relationship, which focuses on Kant’s (admittedly real) dissatisfaction with Hume’s account of causation, my discussion will focus on broader issues of philosophical methodology. Following a number of recent interpreters, I will argue that Kant sees Hume as raising, in a particularly forceful fashion, a ‘demarcation challenge’ concerning how to distinguish the legitimate use of reason (...) in (say) natural scientific contexts from the illegitimate use of it in (say) dogmatic metaphysics. I will then go on to argue that Kant sees Hume’s tendency to slide into more radical forms of skepticism as a symptom of his failure to provide a systematic or principled account of this distinction. This failure, I argue, can be traced (according to Kant) to Hume’s impoverished, non-hylomorphic account of our faculties – which both robs Hume of the materials necessary to construct a genuinely systematic philosophy as Kant understands this, and makes it impossible for Hume to clearly conceive of what Kant calls ‘Formal Idealism.’ In this way, the failings of Hume’s account of causation are (for Kant) symptoms of more fundamental limitations within Hume’s philosophy. I close by briefly discussing the similarities between Hume and Kant’s understanding of the relationship between, first, philosophical methodology and, second, the nature of our faculties. (shrink)

In their paper "How Fundamental Physics represents Causality", Andreas Bartels and Daniel Wohlfarth maintain that there is place for causality in General Relativity. Their argument contains two steps: First they show that there are time-asymmetric models in General Relativity, then they claim to derive that two events are causally connected if and only if there is a time-asymmetric energy flow from one event to the other. In our comment we first give a short summary of their paper followed by a (...) section introducing and pondering different conceptions of causation since Bartels and Wohlfarth don’t explicitly declare which notion of causation they build on in the paper. In order to analyze their argument in detail we formalize their crucial step in logical terms. This helps to pose the question whether their proposed derivation is not just a definition in a more precise way. (shrink)

Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational (...) complexity. Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

Humans often attribute the things that happen to one or another actual cause. In this chapter, we survey some recent philosophical and psychological research on causal attribution. We pay special attention to the relation between graphical causal modeling and theories of causal attribution. We think that the study of causal attribution is one place where formal and experimental techniques nicely complement one another.

Aristotle's theory of demonstration, developed in the Posterior Analytics, is not restricted to determining the formal requirements for formulating probative arguments that establish properly the results of scientific investigation. To the probative aspect of demonstration it shall be added its primarily explanatory character, orientated by theses of strong ontological and metaphysical content and involving notions like substance, essence and causation. We shall analyze the relation between those two ranges of Aristotle's philosophy of science and investigate how the (...) class='Hi'>formal features of demonstration maintain an affinity with the metaphysical background to which scientific activity is conditioned. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

I present Aristotle’s theory of causation in a way that privileges a comparison with contemporary discussion on causation. I do so by selecting in Aristotle’s theory points that are interesting to contemporary discussion and by translating Aristotle in the contemporary philosophical terminology. I compare Aristotle’s views with Mackie’s (1993/1965) and Sosa’s (1993/1980). Mackie is a humean regularist regarding the metaphysics of causal necessity, but his theory postulates some formal aspects of the causal relation which are similar to (...) the Aristotelian theory. By introducing the notion of causal field as a third causal relatum – a sample in which the cause must be picked out as a explanation coextensive to the effect –, Mackie holds a point very similar to Aristotle, inasmuch as both defend that the causal relation is triadic and both have the extensional desideratum. Sosa (1993/1980) defends that every cause necessitates its effect, arguing against classical Humeanism, and he also proposes a causal pluralism. Both these theses are clearly Aristotelian. Aristotle comprehends that the causal relation has three relata: a subjacent C, a property of that subjacent A and a cause B that explains why such property is attributed to that subjacent. The subjacent is similar to Mackie’s notion of causal field, for in regard to it the cause must be coextensive to the property. But Aristotle also says that for each explanandum (property attributed to a subjacent of which one aims to investigate a cause) there is only one cause, which necessitates it. Sosa and Aristotle are similar because both develop a causal pluralism from a theory of causes as having intrinsic necessitation. For Aristotle, causes/explanations [aitiai] are central for attaining scientific knowledge, and its triadic structure determines the syllogistic structure of scientific demonstrations. Aristotle’s theory of causation also involves comprehending the actualisation of capacities (dispositional properties of objects) affirming that the causal relation is resultant from intrinsic properties of the objects, and the cause B is the essence of the explanandum. (shrink)

The problem of free will has persistently resisted a solution throughout centuries. There is reason to believe that new elements need to be introduced into the analysis in order to make progress. In the present physicalist approach, these elements are emergence and information theory in relation to universal limits set by quantum physics. Furthermore the common, but vague, characterization of free will as "being able to act differently" is, in the spirit of Carnap, rephrased into an explicatum more suitable for (...) formal analysis. It is argued that the mind is an ontologically open system; a causal high-level system, the future of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will is subsequently outlined. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)