Michael T. Ferejohn presents a new analysis of Aristotle's theory of explanation and scientific knowledge, in the context of its Socratic roots. Ferejohn shows how Aristotle resolves the tension between his commitment to the formal-case model of explanation and his recognition of the role of efficient causes in explaining natural phenomena.

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)

Aristotle claimed there are four causes (and four corresponding types of explanation). The scientific revolution eliminated formal and final, leaving efficient and material. It is argued here that there is a role for formal causes in the sciences, especially in physics.

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out (...) something's propria. This last kind of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out (...) something's propria. This last kind of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)

Ferejohn’s clear and elegant book makes a strong case for a developmentalist reading of Aristotle’s views about the nature of philosophical understanding. It is a pleasurable read and engages with several issues central to Socratic and Aristotelian scholarship. Formal Causes will be an important resource for anyone thinking about Aristotle’s philosophical method and the relationships between his thought and that of his predecessors.Ferejohn’s general picture of Aristotle’s philosophical development is familiar, if also somewhat controversial. In the works comprising the (...) Organon, Aristotle’s thinking occurs largely within the confines he inherits from the Academy. He emphasizes the importance of formal causes in... (shrink)

Contemporary biologists generally agree with E. O. Wilson’s claim that “reduction is the traditional instrument of scientific analysis.” This is certainly true of Michael Ruse, who has attempted to provide a Darwinian account of human scientific knowledge in terms of epigenetic rules. Such an account depends on the characterization of natural objects as the chance concatenations of material elements, making natural form an effect rather than a cause of the object. This characterization, however, can be shown to be false (...) in that it is self-refuting in its exclusion of formal cause. The retorsive argument for formal cause dialectically shows that any attempt to explain a natural object depends on the identification of form as the cause of the intelligibility of the object. It follows that Darwinian explanations of the products of human culture, such as science, cannot consistently treat form as an effect rather than a cause. (shrink)

Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 2 Seiten: 196-233.

This paper focuses on Galen’s views about the formal cause against the wider background of his account of causation. In his works on the pulse, Galen provides an in-depth discussion of issues such as the theory of causes and the problem of definition. While Galen is inclined to incorporate Peripatetic doctrines and vocabulary, he neglects Aristotle’s formal cause both in his account of causes and in that of definition. Further parallels outside the corpus on the pulse (...) confirm Galen’s reserved attitude towards the (Peripatetic) formal cause. In his work That the Faculties of the Soul Follow the Mixtures of the Body, however, Galen refers favourably to the Peripatetic theory of hylomorphic form. More precisely, Galen equates the Peripatetic en-mattered form with the mixture of homoeomerous bodies (the ratio or proportion of the elementary qualities in them). Here I will attempt to provide an explanation of Galen’s mixed attitude towards the formal cause and I will argue that his general position is consistent after all. In addition to this, I will try to set Galen’s position against the background of the Peripatetic debates on the status of form. (shrink)

In Physics ii, Aristotle reopens the questions about matter, form and substance that he discussed in Book i. He discusses them with reference to his views about causation. The reasons why his argument fails to avoid the limitations of pure dialectic, while showing how these limitations may be avoided are explained.

Annotation A central piece of Suarez's (1584-1617) metaphysics, which is considered important because it was not a commentary on Aristotle, and was used in universities and by both his fellow Jesuits and Protestant scholars and theologians for centuries. He deals with the formal principles of the nature of material substances, that is, their substantial form, which is central to his interpretation of Aristotelian realism. Annotation c. Book News, Inc., Portland, OR (booknews.com).

I review Michael T. Ferejohn's "Formal Causes: Definition, Explanation, and Primacy in Socratic and Aristotelian Thought".

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)

Yoga is a nonspeciesist liberalism, founded in a moral non-naturalism, which identifies the essence of personhood as the Lord, defined by unconservative self-governance—an abstraction from each of us that is non-proprietary. According to Yoga, the right is defined as the approximation of the regulative ideal (the Lord) and the good is the perfection of this practice, which delivers us from a life of coercion into a personal world of freedom. It is an alternative to Deontology, Consequentialism, and Virtue Ethics, which (...) provides a unitary account of moral well-being and worldly well-being. The seeming antinomy of freedom and determinism is resolved in the ethical life. I argue that Yoga provides a critical and instructive response to alternative ethical theories and the problem of collective harm. (shrink)

Reunimos alguns argumentos com base no Novo Testamento e em documentos pontifícios para debater a pertinência da noção filosófica de causa formal no discurso teológico sobre a fundação e a constituição da Igreja. En este artículo hemos compilado algunos argumentos basados en el Nuevo Testamento y en los documentos pontificios para discutir la relevancia de la noción filosófica de causa formal en el discurso teológico sobre la fundación y la constitución de la Iglesia. In this paper we gathered (...) some arguments based on the New Testament and pontifical documents to discuss the relevance of philosophical notion of formal cause for theological discourse on the foundation and the constitution of the Church. (shrink)

According to a long interpretative tradition, Aristotle holds that the formal cause is the ultimate object of induction when investigating perceptible substances. For, the job of induction is to find the essential nature common to a set of individuals, and that nature is captured solely by their shared formal cause. Against this view, I argue that Aristotle understands perceptible individuals as irreducibly composite objects whose nature is constituted by both their formal and their material (...) class='Hi'>cause. As a result, when investigating perceptible objects, the job of induction is to discover their composite, formal and material nature. The process by which universal claims about this composite nature are justified, I argue, is similar to what we now know as mathematical induction. In particular, such claims are grounded in a non-enumerative, but replicable process in which things are resolved into their simplest components. As a result, the observation of past uniformities has, at most, a heuristic function in scientific inquiry. (shrink)

This latest volume in the long-running Marquette University series Medieval Philosophical Texts in Translation provides students of late medieval, renaissance, and early modern philosophy with an important new resource. While Suárez’s significance in the history of philosophy is well known, his writings have been rather inaccessible to students ignorant of Latin. Of the 54 disputations that constitute his most famous work, the Metaphysical Disputations, only 13 have been translated into English prior to the volume under review. The present volume presents (...) Suárez’s extended discussion of the issue of substantial and accidental forms. In addition to the translation itself, the translators provide a brief introduction, indices, a brief bibliography restricted to works in English as well as basic notes. Most of these notes identify sources and provide basic explication of difficult arguments and technical terms. (shrink)

Yoga is a nonspeciesist liberalism, founded in a moral non-naturalism, which identifies the essence of personhood as the Lord, defined by unconservative self-governance—an abstraction from each of us that is non-proprietary. According to Yoga, the right is defined as the approximation of the regulative ideal and the good is the perfection of this practice, which delivers us from a life of coercion into a personal world of freedom. It is an alternative to Deontology, Consequentialism, and Virtue Ethics, which provides a (...) unitary account of moral well-being and worldly well-being. The seeming antinomy of freedom and determinism is resolved in the ethical life. I argue that Yoga provides a critical and instructive response to alternative ethical theoris and the problem of collective harm. (shrink)

There are at least five kinds of causative constructions in Chinese, the constructions of the collocation of verbs and prepositional phrases, verb-copying constructions, “ba” constructions with an object ahead, verb-copying constructions with their complements, and pivotal constructions with commands. But the current type-logical grammar has no tools representing the meanings of causative constructions. It would be neither intuitive nor simple to describe these constructions by means of the current type-logical grammar. So we intend to improve the type-logical grammar by adding (...) CAUSE as a logical constant, complementing the structure rules about the movement and addition or deletion of some components of causative constructions, assigning categories to Chinese nouns and prepositions; then we give an intuitive as well as simple analysis on these causative constructions. Based on this work we shall extend the multimodal system of type-logical grammar, increase structure postulates, make constraints on frame semantics, and then prove the soundness and completeness of that system. (shrink)

Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we (...) discuss the need for new criteria based on a common causal argumentation framework and propose ideas on how to integrate the current theories of causation to assess the strength of causal arguments, while also acknowledging the tension between evidence-based and policy-based causal analysis in law. (shrink)

Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we (...) discuss the need for new criteria based on a common causal argumentation framework and propose ideas on how to integrate the current theories of causation to assess the strength of causal arguments, while also acknowledging the tension between evidence-based and policy-based causal analysis in law. (shrink)

Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we (...) discuss the need for new criteria based on a common causal argumentation framework and propose ideas on how to integrate the current theories of causation to assess the strength of causal arguments, while also acknowledging the tension between evidence-based and policy-based causal analysis in law. (shrink)

Some recent scholars have argued that Spinoza's conception of causation should be understood in terms of the Aristotelian notion of a formal cause. I argue that while they are right to identify causation in Spinoza as a relation of entailment from an essence, they are mistaken about its philosophical pedigree. I examine three suggested lines of influence: (a) the late scholastic conception of emanation; (b) early modern philosophy of mathematics; and (c) Descartes's notion of the causa sui. In (...) each case, the evidence indicates that causation in Spinoza should be categorized in Aristotelian terms as efficient and not formal. (shrink)

This paper examines Plato's ideas on cause-effect relations in the "Phaedo." It maintains that he sees causes as things (not events, states of affairs or the like), with any information as to how that thing brings about the effect relegated to a strictly secondary status. This is argued to make good sense, so long as we recognise that aition means the "thing responsible" and exploit legal analogies in order to understand what this amounts to. Furthermore, provided that we do (...) not pre-suppose that we already know what can and what cannot count as a cause, Plato proves to have an attractive case for his principle that all causation is a matter of like causing like. Once we appreciate this, we are a little closer to understanding his more idiosyncratic principle, which although puzzling is ubiquitous in his writings and often invoked as a premise in key arguments, that opposites cannot cause opposites. The last part of the paper turns to formal causes, defending Plato's advocacy of them, and examining their role in the "Parmenides'" Third Man Argument. The main proposal is that Plato's conception of Forms as causes opens the door to a better version of that argument's "Non-identity" premise than those currently available. (shrink)

Integrated Information Theory stands out as one of the most promising theories for dealing with the hard problem of consciousness. Founded on five axioms derived from phenomenology, IIT seeks for the physical substrate of consciousness that complies with such axioms according to the criterion of maximally integrated information. Eventually, IIT identifies phenomenal consciousness with maximal Φ or, what is the same thing, with the strongest cause-effect power in the system. Among the scholars critical of this theory, some point to (...) the so-called Intrinsicality Problem, namely that consciousness cannot be an intrinsic property of the system because maximal Φ crucially depends on the possible existence of bigger values of Φ if the initial system is appropriately linked to or embedded in larger systems. Although proposals in the recent literature aim to solve the IP by going beyond reductionism and physicalism, none of them tackle the real issue, i.e., the insufficiency of IIT’s causal-metaphysical structure. This papers endeavors to provide a solution to the IP in IIT within a hylomorphist ontology that includes formal causation. Complementing IIT with formal causation provides the theory with a criterion of individuation that solves the IP and, by relaxing identification between maximal Φ and consciousness, it lends a more robust metaphysical structure. To wit, maximal Φ is a necessary but not sufficient condition for the existence of consciousness. (shrink)

This is partly a book about Aristotle’s four causes (material, formal, efficient, and final cause), partly a systematic discussion of the relation between form and matter, causation, and teleology. Its overall aim is to show that the four causes form a system, so that the form of a natural thing relates to its matter as the final cause of a natural process relates to its efficient cause. It reaches two highly distinctive conclusions. The first is that (...) the formal cause or essence of a thing is not a property but a generic thing. The second is that the final cause of a process is not its purpose but the course that processes of its kind typically take. (shrink)

Recently the terms “codes” and “information” as used in the context of molecular biology have been the subject of much discussion. Here I propose that a variety of structural realism can assist us in rethinking the concepts of DNA codes and information apart from semantic criteria. Using the genetic code as a theoretical backdrop, a necessary distinction is made between codes qua symbolic representations and information qua structure that accords with data. Structural attractors are also shown to be entailed by (...) the mapping relation that any DNA code is a part of (as the domain). In this framework, these attractors are higher-order informational structures that obviate any “DNA-centric” reductionism. In addition to the implications that are discussed, this approach validates the array of coding systems now recognized in molecular biology. (shrink)

A statistical method for inference of formal causes was introduced. The procedure, referred to as the method of corresponding regressions, was explained and illustrated using a variety of simulated causal models. The method reflects IV/DV relations among variables traditionally limited to correlational or structural equation analysis. The method was applied to additive, subtractive, multiplicative, recursive and reflected models, as well as models of unrelated and correlated dependent variables. Initial applications to data from physical science, biology, economics, marketing and psychology (...) were developed, with generally supportive results. (shrink)

This paper argues that while Chambers' method of corresponding regressions offers an intriguing way of analyzing empirical data much remains to be done to make the mathematical, and thus, the statistical meaning of the procedure clear and intuitive. Chambers' theoretical justification of the method of the claim that it can in some sense validate formal cause explanations as alternatives to efficient cause, mechanistic ones is rejected. Chambers has misattributed the mechanistic cast of most contemporary psychological explanations to (...) linear temporality rather than to necessity, and has preserved such necessity in the quality of asymmetry. The paper seeks to distinguish and clarify temporality, causality, and necessity in order to be more clear about the central theoretical problem Chambers identifies. It is further argued that the current theoretical issues facing the discipline likely cannot be resolved by methodological advances. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type (...) theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

This book examines Aristotle's four causes (material, formal, efficient, and final), offering a systematic discussion of the relation between form and matter, causation, taxonomy, and teleology. The overall aim is to show that the four causes form a system, so that the form of a natural thing relates to its matter as the final cause of a natural process relates to its efficient cause. Aristotle's Four Causes reaches two novel and distinctive conclusions. The first is that the (...) formal cause or essence of a natural thing is not a property of this thing but a generic natural thing. The second is that the final cause of a process is not its purpose but the course that processes of its kind typically take. (shrink)

The interventionist account of causation offers a criterion to distinguish causes from non-causes. It also aims at defining various desirable properties of causal relationships, such as specificity, proportionality and stability. Here we apply an information-theoretic approach to these properties. We show that the interventionist criterion of causation is formally equivalent to non-zero specificity, and that there are natural, information-theoretic ways to explicate the distinction between potential and actual causal influence. We explicate the idea that the description of causes should be (...) proportional to that of their effects. Then we draw a distinction between two ideas in the existing literature, the range of invariance of a causal relationship and its stability. The range of invariance is related to specificity and range of causal values. Stability concerns the effect of additional variables on the relationship between some focal pair of cause and effect variables. We show how to distinguish and measure the direct influence of background variables on the effect variable, and their influence on the relationship between the focal cause and the effect variable. Finally, we discuss the limitations of the information-theoretic approach, and offer prospects for complementary approaches. (shrink)