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)

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)

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)

According to informal logic, the possibilities of deductive logic as a tool for analysing and evaluating ordinary arguments are very limited. While I agree with this claim in general, I question it in the case of the argument from cause to effect. In this paper I first show, on the basis of carefully chosen examples, that we usually react differently to falsification of the conclusion of the argument from cause to effect than we do to the falsification of (...) the conclusion of other defeasible arguments. I then identify general conditions and assumptions under which the causal argument from cause to effect can be reconstructed as deductive. Finally, I compare the causal argument with the expert argument, which is a typical example of a defeasible argument in the narrower sense. (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)

Ontology and theology cannot be combined if ontology excludes non physical causes. This paper examines some possibilities for ontology to be combined with theology in so far as non physical causes are permitted. The paper builds on metaphysical findings that shows that separate ontological domains can interact causally indirectly via interfaces. As interfaces are not universes a first universe is allowed to be caused by an interface without violating the principle of causal closure of any universe. Formal theology can (...) therefore be based on the assumption that the (first) universe is caused by God if God is defined as the first cause. Given this, formal theology and science can have the same ontological base. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material (...) class='Hi'>cause that can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

What one is ultimately interested in with regard to ‘just cause’ is whether a specific war, actual or potential, is justified. I call this ‘the applied question’. Answering this question requires knowing the empirical facts on the ground. However, an answer to the applied question regarding a specific war requires a prior answer to some more general questions, both descriptive and normative. These questions are: What kind of thing is a ‘just cause’ for war (an aim, an injury (...) or wrong suffered, or something different altogether)? I call this ‘the formal question’. Then there is what I call the ‘the general substantive question’. Depending on the previous answer to the formal question, the general substantive question can be formulated as: ‘Which causes are just?’ or as ‘Under what conditions is there a just cause?’ A final question, which has recently elicited increased interest, is what I call ‘the question of timing’: does the ‘just cause’ criterion only apply to the initiation of a war or also to the continuation of a war, that is, can a war that had a just cause at the beginning lose it at some point in its course (and vice versa)? I argue that a just cause is a state of affairs. Moreover, the criterion of just cause is not independent of proportionality and other valid jus ad bellum criteria. One cannot know whether there is a just cause without knowing whether the other (valid) criteria (apart from ‘right intention’) are satisfied; and this account has certain theoretical and practical advantages. As regards the general substantive question, I argue that all kinds of aims can, in principle, be legitimately pursued by means of war, even aims that might sound dubious at first, like vengeance or the search for glory. Thus, the pursuit of such aims does not make the war disproportionate or deprive it of just cause. As regards the question of timing, I argue that the criteria of jus ad bellum apply throughout the war, not only at the point of its initiation. While starting a war at t1 might be justified, continuing it at time t2 might be unjustified (and vice versa), and this insight does not require an addition to jus ad bellum but is already contained in it. (shrink)

Much of the debate about Aristotle’s criticisms of Plato has focused on the separability of the Forms. Here the dispute has to do with the ontological status of the Forms, in particular Plato’s claim for their ontological priority in relation to perceptible objects. Aristotle, however, also disputes the explanatory and causal roles that Plato claims for the Forms. This second criticism is independent of the first; even if the problem of the ontological status of the Forms were resolved to Aristotle’s (...) satisfaction, this second criticism would still stand. The problem here is not that there is no room for Aristotle’s four causes in Plato’s ontology; on the contrary, antecedents for all four can be found in Plato’s works. The problem, instead, is that Plato’s Forms fail to meet the general requirements that Aristotle sets out for the material, efficient, formal, and final causes of perceptible objects. Hence, even if the Forms were immanent in perceptible objects, they would still explain nothing about them. (shrink)

Aristotle distinguishes between four causes (Phy., B, 3; PsA, B, 11, 94a20-24): a) Material cause: that from which; the antecedent out of which a thing comes to be and persists. E.g. the bronze of the statue; the silver of the bowl b) Formal cause: essence; the form or the archetype, i.e. the statement of the essence and its genera and the parts in definition; the whole and the co-positing. E.g. the relation 2:1 and generally number as (...) class='Hi'>cause of the octave c) Efficient cause: the primary source of the change or coming to rest. E.g. The seed, the advisor and the father; generally: what makes of what is made and what causes change of what is changed. d) Final cause: cause in the sense of end or the good or that for the sake of which a thing is done. E.g. health as the cause of walking about The four causes are causes of the thing as it is itself. As the word cause has several senses, there are several causes of the same thing as that thing and not merely in virtue of a concomitant attribute: ‘Both the art of the sculptor and the bronze are causes of the statue. These are causes of the statue qua statue, not in virtue of anything else that it may be- only not in the same way.’ (Phy., B, 3) 1) Other senses of cause Aristotle distinguishes proper from accidental cause: while it is its sculptor who is the proper cause of a statue, Socrates, the sculptor, is the accidental cause. (Phy., B, 3) Moreover, he distinguishes potential from actual cause, the ‘house builder’ from ‘house-builder building.’ (Phy., B, 3) In Physics (B, 3) Aristotle makes three distinctions between causes by their multiplication he achieves twelve sorts of causes: ‘All these various uses, however, come to six in number, under each of which again the usage is twofold. Cause means either what is particular or a genus, or an incidental attribute or a genus of that, and these either as a complex or each by itself; and all six either as actual or as potential.’ In Metaphysics (Λ, 1069b32-34) he distinguishes between three causes: ‘The causes and the principles, then, are three, two being the pair of contraries of which one is formula and the form and the other is privation, and the third being the matter.’ 2) Cause and knowledge A question is indeed a search for the cause. (e.g. PsA., B, 11, 94a36-38) Knowing the cause is the necessary condition of scientific knowledge (PsA., B, 11, 94a20-21) In fact, ‘men do not think they know a thing till they have grasped the ‘why’ of (which is to grasp the primary cause).’ (Phy., A, 1) ‘To know the essential nature of a thing is the same as to know the cause of a thing’s existence.’ (PsA., B, 8, 93a4-5) ‘Where demonstration is possible,’ Aristotle says, ‘one who can give no account which includes the cause has no scientific knowledge. If, then, we suppose a syllogism in which, though A necessarily inheres in C, yet B, the middle term of the demonstration, is not necessarily connected with A and C, then the man who argues thus has no reasoned knowledge of the conclusion, since this conclusion does not owe its necessity to the middle term: for though the conclusion is necessary, the mediating link is a contingent fact.’ (PsA., A, 6, 74b) . (shrink)

Aristotle frequently describes essence as a “cause” or “explanation”, thus ascribing to essence some sort of causal or explanatory role. This explanatory role is often explicated by scholars in terms of essence “making the thing be what it is” or “making it the very thing that it is”. I argue that this is problematic, at least on the assumption that “making” expresses an explanatory relation, since it violates certain formal features of explanation. I then consider whether Aristotle is (...) vulnerable to this problem by examining the explanatory role of essence in Posterior Analytics and Metaphysics Z 17. (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)

One method for preventing the spread of the coronavirus and other contagious diseases is through social distancing. Therefore, creating a tool to measure and quickly discover the precise distance is necessary. In order to prevent physical contact between individuals, this study aimed to detects individuals’ physical distance, through an inaugurated battery-powered device that monitors physical distance through wireless technology. Specifically, in public or crowded areas, to lessen the spread of the virus. This study focuses on detecting people’s physical distance in (...) the region of interest utilizing an Ultrasonic and VL53L0X sensors and determining the significant difference between the two sensors in monitoring physical distance. This study employs an applied experimental research design. The efficiency of both sensors in measuring physical distance was evaluated through analysis. The Ultrasonic and VL53L0X sensors underwent 15 tests. Furthermore, the researchers effectuated a t-test to determine the significant difference between the two sensors. Data gathered revealed that the sensors’ combined mean in terms of measuring physical distance indicates that the ultrasonic sensor performed better than VL53L0X, measuring 134.7 cm, notwithstanding 99.8 cm for the VL53L0X sensor. Complementary to this, the results of the t-test show that the VL53L0X sensor and Ultrasonic sensor have a significant difference in terms of distance precision. (shrink)

The outline and introduction to my dissertation addresses the problem of the crisis between the human and natural sciences and the way in which Plato, by introducing the soul, as mediator between the two, provides us with solutions. The dissertation is divided into three chapters: the cosmos, the state or polis and the individual knower, which are each divided into three topics, the body, the soul and the mind, which represent the material cause, the efficient cause and the (...) formal cause, leaving out the final cause and which in modern terminology translate into: the philosophy of science, political theory or ethics and epistemology or the philosophy of mind. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (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).

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 Surez 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)

Newton began his Principia with three Axiomata sive Leges Motus. We offer an interpretation of Newton’s dual label and investigate two tensions inherent in his account of laws. The first arises from the juxtaposition of Newton’s confidence in the certainty of his laws and his commitment to their variability and contingency. The second arises because Newton ascribes fundamental status both to the laws and to the bodies and forces they govern. We argue the first is resolvable, but the second is (...) not. However, the second tension shows that Newton conceives laws as formal causes of bodies and forces. This neo-Aristotelian conception goes missing in Kantian accounts of laws, as well as accounts that stress laws’ grounding in powers and capacities. (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)

Jeremiah Carey presents a version of panentheism which he attributes to Gregory Palamas, as well as other Greek patristic thinkers. The Greek tradition, he alleges, is more open to panentheistic metaphysics than the Latin. Palamas, for instance, hold that God’s energies are participable, even if God’s essence is not. Carey uses Palamas’ metaphysics to sketch an account on which divine energies are the forms of created substances, and argues it is open to Orthodox Christians to affirm that God is in (...) all things as their formal cause. I argue Carey’s reading is premised on a superficial examination of the patristic literature. More importantly, Palamas’ metaphysics is opposed to that of Carey, since Palamas’ distinction aims to uphold that created persons are only contingent participants in God. On this, Palamas and the Latins are in complete accord. In conclusion, I propose panentheistic metaphysics begins from a false dilemma. (shrink)

The philosophical background important to Mill’s theory of induction has two major components: Richard Whately’s introduction of the uniformity principle into inductive inference and the loss of the idea of formal cause.

This paper seeks to defuse two claims. On the one hand, I confront the Hildebrandian claim that Thomism, by placing the principium of love in the needs and desires of the lover rather than in the beloved, denies the possibility of transcendent love; on the other, I seek to refute the Thomistic objection that Hildebrand lacks a sufficient understanding of nature and its inherent teleology. In order to accomplish this, a distinction must be made between different kinds of principium or (...) “for-its-own-sakeness.” Using St. Thomas’ theory of friendship-love, I show how every affective movement in fact has two fundamentally different principia: an “end-desired,” and an “end-for-whom” the former is desired. I next note that “value” and “bonum honestum” each encompass both of these types of “worthiness,” and that the failure to distinguish between these two has led to much of the misunderstanding between Thomists and Hildebrandians: for while the latter sometimes seem to include inanimate objects like sunsets under the higher “worthiness” (as “ends-for-whom”), the former often tend to classify even the beloved under the lower “worthiness” (as a mere “end-desired”), which are both untenable positions. It is shown, however, that for St. Thomas it is the higher, more ultimate sense of “worthiness” that is the foundation of friendship-love, and that thus love remains a truly “transcendent” or “ecstatic” phenomenon. Two objections are then addressed: 1) St. Thomas’ claim that substantial unity is the greatest cause of love, and 2) his claim that man’s primary end is Vision. In both these respects I argue that Aquinas’ position needs correction; still I maintain that neither claim should be taken to imply that, for Aquinas, man is his own center, his own chief “end-for-whom.” Finally, while Hildebrand emphatically denies that natural teleology can explain man’s transcendence (a Thomistic position), this denial seems to flow simply from confusing two ways in which “nature” can be invoked as an explanation: where he sees it invoked as the final cause, Thomists actually invoke it as simply the formal cause of our love for our true Final Cause. (shrink)

Hylomorphism and related to it classical concept of the human soul—understood as a substantial form of the human being—are traditionally supported and commented on by the followers of the Aristotelian-Thomistic thought, both in its classical and contemporary approach. At the same time, hylomorphism has recently found a new group of followers, coming from the circles of analytic metaphysics, unrelated to the classical school of thought. This article strives to answer the question of the relation of the new, analytic versions of (...) hylomorphism to its classical definition. Moreover, it also analyzes their application in the debate concerning the mind-body problem in philosophy of mind, as well as the question of their reference to the concept of the human soul. It seems that the mereological and structural reinterpretation of the material and the formal causes departs considerably from the classical definition of hylomorphism. Moreover, the suggestion of William Jaworski – who argues in favor of the new hylomorphism in the mind-body debate – to define mental phenomena as “structured manifestations of powers” belonging to the parts of human body, not only raises some serious metaphysical concerns, but also seems to leave no “space” for the classical concept of human soul. These difficulties notwithstanding, one should appreciate an attempt of the proponents of the new analytic hylomorphism at finding an alternative to the extreme positions of substance or property dualism and eliminative or reductionist materialism in the contemporary discussion concerning the mind-body problem. (shrink)

Muslim philosophers separated the material cause and formal cause as essential, and the efficient cause and intention cause as existential, which are the four causes stated by Aristoteles. Mulla Sadra addresses the efficient cause in two parts which are natural and emanative (creative) causes. Natural perpetrator is preparatory perpetrator and the creative perpetrator is the perpetrator bestowing entity. According to a almohad, Allah is the perpetrator of everything. However, there are disputes concerning what kind (...) of perpetrator Allah is. Muslim philosophers dealt with all types of perpetrator to put forth the attributes of emanative perpetration. Agents by Intentional, Agreement, Providence, Manifestation are perpetrators who have knowledge and will. Agents by intentional perform their actions by the virtue of a purpose. Their knowledge is detailed in their actions. The knowledge of agent by agreement is collective before creation and detailed after creation. The knowledge of agents by providence on their entity is presential and their knowledge on their actions is conceptual and detailed. On the other hand, agents by manifestation have a detailed presential knowledge on their actions. This study addresses all the perpetrator types which may be attributed to Allah and identifies the perpetrator type which can possibly be attributed to Allah. (shrink)

This Paper attempts to Jude the axiology of Aristotle’s Philosophy based on Aristotelian Philosophy. For this Purpose, we will first Prove axiology as a kind of knowledge and then we will study the relation between axiology and two others knowledge domains, that is, ontology and epistemology. We will demonstrate that values like goodness and beauty, are same final cause and formal cause for explanation of values of every thing. At least, in the nature, goodness and beauty are (...) the idea of reality which is Present in every things. Although values Such as beauty and splendor, good and bad exist in relation with us. Indeed, Such values don’t have objective being nor ideal existence. Form epistemology Point of view, the values are known with their formal Cause ,that is, with their general form. In Aristotle’s axiology the concept of the end(Telos) is a fundamental concept which shows that the Aristotle’s Philosophy system is a coherent system. thus Aristotle maintains to ontological and epistemological aspects of the values. Also He has even considered hierarchy of value for creatures, knowledge and values itself. Thus , every thing lied in the hierarchy of valuation which has roots in the concept of the end. It also shows that Aristotle either in the position of philosopher or the position of valuation cannot be free from the valuation of ontology and epistemology. Whit such approach, the second section of the paper attempts to show that the end in Aristotle’s Ethic is Idea of perfect that the human attempts to reach happiness in accordance whit the most complete and the most excellent of the virtue and every one should take care of domination of reason over human behavior and whit continuous practice and one can accomplish the virtues whit no extreme this way, all ethic virtues will be obtained by trusting to one’s capability. (shrink)

This article derives from the Buddhist Nikāya Suttas the idea that fear has an intentional object that is best analysed in anticipatory terms. Something is feared, I argue, if construed as dangerous, where to construe something as dangerous is to anticipate it will cause certain unwanted effects. To help explain what this means, I appeal to the concept of formal objects in the philosophy of emotions and to predictive processing accounts of perception. I demonstrate how this analysis of (...) fear can do exegetical work in the context of the Nikāya Suttas, and respond to philosophical issues concerning the relation between the intentional and anticipatory dimensions of fear; the relevant anticipated effects of feared objects; and whether fearing subjects necessarily know they anticipate unwanted effects. I also draw an analogy to allostatic sensations to engage issues concering how the anticipatory dimension of fear relates to the motivational. (shrink)

The article is devoted to the analysis of the evident scientific method of Galen, which establishes the necessity of correct diagnosis of diseases, determination of true symptoms and causes of diseases, which results in the choice of the exact method of treatment. The article focuses on how Galen seeks to achieve reliable knowledge based on an undeniable logical necessity. Logical reliability is contrasted with “dialectical”, that is, probabilistic judgments, often leading to the opposite of what was originally asserted in them. (...) Probabilistic judgments were characteristic of the Stoic philosophical school, with which Galen hotly argues, asserting his understanding of truth. Truth, in his opinion, is achieved through facts based on true premises. The criterion of truth for Galen is the study of the device of a living organism, and the logical conclusions depend on the accuracy of knowledge of human anatomy. Thus, the nature of the proof judgments of Galen depends on their practical content and not on the formal and logical structure offered by the Stoics when studying the functions of the human body, which ultimately leads to incorrect methods of treatment. (shrink)

This paper deals with Aristotle’s concept of chance, such as it is presented in Physics II 4-6. The central section of the article concentrates on an analysis of Aristotle’s definition of chance and its essential peculiarities: the fact of being an incidental (efficient) cause and the fact of existing in the domain of what is for the sake of an end. According to Rossi, both characteristics would correspond to a causal aspect (in an incidental sense) and to a non (...) causal aspect (or just apparently causal) of chance. Finally, the author also tries to show the structural connection between the aforementioned aspects, taking as a key point the thesis of coincidence among the formal, final, and efficient causes. (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 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)

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)

A complete theory of harming must have both a substantive component and a formal component. The substantive component, which Victor Tadros (2014) calls the “currency” of harm, tells us what I interfere with when I harm you. The formal component, which Tadros calls the “measure” of harm, tells us how the harm to you is related to my action. In this chapter I survey the literature on both the currency and the measure of harm. I argue that the (...) currency of harm is well-being and that the measure of harming is best captured by a causal account on which harming is causing a harm. A harm for you is the presence of something intrinsically bad for you or the absence of something intrinsically good for you. Thus, although a counterfactual account of the measure of harm need not distinguish between an harm and a harmful event, the causal account reserves the term ‘harm’, not for a harmful event, but only for its effect. Finally, I show how a complete theory of harming can help us to answer questions about whether we can harm people with speech, whether we can harm the dead, and how it is possible to harm future generations. (shrink)

Cooperation in wrongdoing is an everyday matter for all of us, though we need to discern when such cooperation is morally excluded as constituting formal cooperation, as opposed to material (unintended) cooperation whether justified or otherwise. In this paper, I offer examples of formal cooperation such as referral of patients for certain procedures where the cooperating doctor intends an intrinsically wrongful plan of action on the part of the patient and a medical colleague. I also consider a case (...) of formal cooperation where the cooperator intends a choice on the part of another person that is not intrinsically wrong, but wrong in the circumstances because the person believes it will cause serious uncompensated harm. (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)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Divine intention is an important problem for both philosophy and Kalam. This problem has two aspects as the subject and action of the intention. The intention of the subject occurs for the motion or the action itself. The intention of the action is to reach the motion or the action itself. According to this, when a person travels to Mecca to visit Kaaba, the visit is the intention of the subject and the journey is the intention of the action. In (...) this context, does Allah have an intention? And what are the intentions of the actions aris-ing from him? In the Islamic philosophy, the first question is handled as "intention of the sub-ject/divine intention” and the second question as "the intention of the actions/divine inten-tion of the actions". In order to answer the first question, we must examine all types of inten-tions. Each subject takes action to benefit them, to benefit others and to act for the sake of the goodness and kindness. Allah would be dependent being if he acted to benefit him and to make up for a flaw for the first of these intentions. In the second intention type, if Allah acted for someone else, this sit-uation would be on the degree of cause for the subject and he would be passive. For the third intention type which is to act to reach for perfection, it would deem Allah as a dependent being. The above-mentioned intentions are flawed. On the contrary, Allah is perfect and does not need any of these intentions to create. Thus, he is not subject to any of these possible inten-tions. These intentions are only used by imperfect subjects. Of course, it does not mean that Allah does not have intentions. According to Avicenna and Mulla Sadra, intention of Allah is the love towards his essence which is free from any flaw. According to this, all beings are entailed to the divine essence and they exist due to the love of essence of Allah. Allah has a direct intention as well as an indirect one. As mentioned before, Allah is in love with his essence. Allah loves the works and actions of his essence as well, according to the principal that one, who loves the essence, loves the works and actions of that essence as well. In this context, the love of essence of the Allah is a direct intention, while the love of his es-sence's works and actions is an indirect intention. After the divine intention is explained, we must also explain the intention of the divine ac-tions. According to both Mulla Sadra and Avicenna, since possible beings are flawed, their intention is to reach to certain perfections which are compatible with themselves. Mulla Sadra states that Allah bestows motivation to possible beings to advance towards the perfection and he claims that these beings make use of that motivation to be perfect. Therefore, possible beings try to make up their flaws and reach to perfection. Since Allah is the absolute perfect being, the final intention of the possible beings is Allah. In other words, all beings that seek for perfection, take example of him. The other intentions act as a primary tool to reach the final intention. How can flawed beings by essence reach to perfections compatible with them? Avicenna and Mulla Sadra stated different opinions on the search of perfection of the flawed beings in the Islam philosophy. According to Avicenna, beings change with extinction and creation. This change happens by accident and the substance stays constant. In accordance with this approach, this change and development is only possible with accidental motion. It occurs with the replacement between forms. But the theory of the Avicenna has some flaws. Because forms are not the intentions of each other and first hyle is not strong enough to have an intention. Thus, no form is superior to the other. It is also not possible to have substance development because the substance and es-sence of the material are constant. It only goes through changes in appearance with the acci-dental motion. It is clear that the changes in the appearance and the shape are not standards for perfection. On the other hand, Mulla Sadra's development theory, which is based on the fundamentality of existence, existential gradation and substantial motion, suggests that the material world is moving towards the perfection. The motion in the substance of material beings is reason of substantial and accidental developments. All beings try to promote themselves to a higher position by reaching perfection in accordance with their intentions. Thus, the theory of Avicenna focuses on the accidental and formal changes in the search of perfection of the material beings, while Mulla Sadra’s theory explains accidental changes as well as the essential ones. Mulla Sadra does not limit the explanation of which Allah is the intention of possible beings to ontological dimension. According to him, Allah is an intention of possible beings as well. He points out the Hadith Qudsi "I was a hidden treasure, I desired to be recognized so I created the creature" and states that "This (Hadith Qudsi) indicates that he is the subject and the in-tention of the universe in an ontological manner as well as the intention of the universe in an epistemological manner." Thus, according to Mulla Sadra, possible beings have two inten-tions, to reach to and understand Allah. (shrink)

This paper offers a new interpretation of Spinoza's doctrine of parallelism. It argues Spinoza reinterprets the ancient doctrine of metaphysical sympathy among ostensibly disconnected and distant beings in terms of fully intelligible relations of 1) identity between formal and objective reality, and in terms of 2) "real identity," grounded in Spinoza's substance-monism. Finally, the paper argues against the standard reading of mind-body pairs as "numerically identical".

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)

This paper elucidates the rights violations caused by mass formal schooling systems and explores what students may do about them. Students have rights not to be harmed and rights to liberty (not to be oppressed), as well as attendant rights to (proportionately) defend their rights if necessary. For some time now, education has been dominated by mass formal schooling systems that harm and oppress many students. Such harm and oppression violate those students’ rights not to be harmed or (...) oppressed, which may justify student nonviolent defensive (or rights-protecting) action. (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.

Human rationality develops formal logic and creates mathematics to summarize data into laws of nature that lead to theoretical models covering a wide range of phenomena. However, scientists deal with secondary causes. First causes involve metaphysical (ontological) questions, which regulate science. Without the ontological, neither the generalizations nor the historical propositions of the experimental sciences would be possible.

The political actions of Martin Heidegger raise a compelling question to those concerned with philosophy: How was one of the most important philosophers of the 20th century willing to ally himself with Nazism and what does this mean for philosophy? This question has been raised and brushed aside from the end of the Second World War, when Heidegger was formally accused for his involvement with Hitler's regime and forbidden to attain any official teaching position henceforth. Important thinkers, like his colleague (...) and friend in the pre-war years, Karl Jaspers. testified then against him. But Heidegger's fame rose again above his indignity in the 1950s, when Hannah Arendt in the USA and Jean-Paul Sartre in France, among others, began once again to spread the word of his philosophy and translate his works. These problems have recently intensified after the posthumous publication of Heidegger's Black Notebooks (Schwarze Hefte) in 2014, containing his notes from 1931-1941. Their publication caused seismic tremors in the field of philosophy, with Heidegger's opponents considering themselves finally vindicated by his own pen, and his supporters trying to separate thinking from actual life. However, the influence of Heidegger's thought - as well as that of other representatives of German anti-humanist nationalistic conservatism, such as Oswald Spengler - continues to spread, not only in academic but also in broader social and political circles. In the face of this spreading influence, which is combined with the influence of some disciples such as Nick Land or Giorgio Agamben, a biographical-type confrontation is not enough. We should confront Heidegger directly at the core of his philosophy. We cannot afford to ignore him or bury him under superficial gossip. Instead, we should confront him philosophically. We might be able to clear the ground for such a confrontation, if we resort to the philosophical concepts of autonomy, temporality, and human freedom. In my opinion, the most important philosophical challenge to Heideggerian thought, in this context, has been expressed by Cornelius Castoriadis. In the following chapters, I will argue in favor of this position, outlining the Castoriadian philosophy of time in contrast to the Heideggerian and highlighting the main points of their opposition. The book is divided into two parts. Part one, "Castoriadis against Heidegger" deals with the basic concepts and arguments of both philosophers around human existence, the individual, society, and temporality. We start by presenting Heidegger's scandal in the social-historical context but also with the help of Hannah Arendt's last assessment of the thinker. We move on to outline the basic concepts and structures of Heidegger's philosophical thinking in parallel with Castoriadis' criticism as regards politics, ontology and technoscience. Part two, "Time and existence" first examines the relevant approaches of Lukacs and Ricoeur in comparison to Heidegger and Castoriadis, to elucidate the basic concept of temporality and then presents an outline of Castoriadis' insights on time and existence, before finally applying these concepts to contemporary social-historical phenomena that redefine and transform human existence and social temporalities, like space exploration, digital cyberspaces and online communications. //////// -/- "This book is a tour de force that excites those who agree or disagree with the philosophy of Heidegger. With clarity and sophistication, Schismenos revives the public debate to reveal the rich possibilities for another world. A must-read for everyone interested in a philosophy that matters." - VASILIS KOSTAKIS - Professor of P2P Governance at Tallinn University of Technology and Faculty Associate at Harvard University -/- . (shrink)

Marx says of alienated labor that it does not "belong" to the worker, that it issues in a product that does not belong to her, and that it is unfulfilling, unfree, egoistically motivated, and inhuman. He seems to think, moreover, that the first of these features grounds all the others. All of these features seem quite independent, however: they can come apart; they share no obvious common cause or explanation; and if they often occur together this seems accidental. It (...) is not clear, then, how Marx's concept of alienated labor could possess the strong unity which he takes it to have. I defend a reinterpretation of the concept which explains this unity. The various features of alienated labor, I argue, all follow from a single, hitherto underappreciated feature of its formal motivational structure: the fact that such labor is motivated not by its product but by an incentive. (shrink)

John Norton says that philosophers have been led astray for thousands of years by their attempt to treat induction formally. He is correct that such an attempt has caused no end of trouble, but he is wrong about the history. There is a rich tradition of non-formal induction. In fact, material theories of induction prevailed all through antiquity and from the Renaissance to the mid-1800s. Recovering these past systems would not only fill lacunae in Norton’s own theory but would (...) highlight areas where Norton has not freed himself from the straightjacket of formal induction as much as he might think. This essay begins that recovery. (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)

Donald Davidson opens ‘Actions, Reasons, and Causes’ by asking, ‘What is the relation between a reason and an action when the reason explains the action by giving the agent's reason for doing what he did?’ His answer has generated some confusion about reasons for action and made for some difficulty in understanding the place for the agent's own reasons for acting, in the explanation of an action. I offer here a different account of the explanation of action, one that, though (...) minimal and formal, preserves the proper role for the agent's own reasons for acting. (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)

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)