The principle of the common cause claims that if an improbable coincidence has occurred, there must exist a common cause. This is generally taken to mean that positive correlations between non-causally related events should disappear when conditioning on the action of some underlying common cause. The extended interpretation of the principle, by contrast, urges that common causes should be called for in order to explain positive deviations between the estimated correlation of two events and the expected value of their correlation. (...) The aim of this paper is to provide the extended reading of the principle with a general probabilistic model, capturing the simultaneous action of a system of multiple common causes. To this end, two distinct models are elaborated, and the necessary and sufficient conditions for their existence are determined. (shrink)

The principle of the common cause demands that every pair of causally independent but statistically correlated events should be the effect of a common cause. This demand is often supplemented with the requirement that said cause should screen-off the two events from each other. This paper introduces a new probabilistic model for common causes, which generalises this requirement to include sets of distinct but non-disjoint causes. It is demonstrated that the model hereby proposed satisfies the explanatory function generally attributed to (...) common causes and an existential proof is offered. Finally, the model is compared to other known structures intended to perform a similar function, such as Reichenbachian Common Cause Systems and Bayesian Networks. (shrink)

According to Reichenbach’s principle of common cause, positive statistical correlations for which no straightforward causal explanation is available should be explained by invoking the action of a hidden conjunctive common cause. Hofer-Szabó and Rédei’s notion of a Reichenbachian common cause system is meant to generalize Reichenbach’s conjunctive fork model to fit those cases in which two or more common causes cooperate in order to produce a positive statistical correlation. Such a generalization is proved to be unsatisfactory in the light of (...) a probabilistic conception of causation. Accordingly, an alternative model for systems of multiple common causes is offered, which is capable of emulating the explanatory efficacy of Reichenbachian common cause systems, while overcoming their major conceptual shortcomings at the same time. (shrink)

The principle of common cause asserts that positive correlations between causally unrelated events ought to be explained through the action of some shared causal factors. Reichenbachian common cause systems are probabilistic structures aimed at accounting for cases where correlations of the aforesaid sort cannot be explained through the action of a single common cause. The existence of Reichenbachian common cause systems of arbitrary finite size for each pair of non-causally correlated events was allegedly demonstrated by Hofer-Szabó and Rédei in 2006. (...) This paper shows that their proof is logically deficient, and we propose an improved proof. (shrink)

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

The so-called no-rate argument argues that time cannot flow or pass in the literal sense of that term, because its motion can be assigned no meaningful rate. This paper examines a yet unexplored objection to the no-rate argument, which consists in showing that the argument itself is based on an extended conception of motion, according to which it is meaningful and consistent to say that time flows at no well-defined rate.

The Principle of the Common Cause is usually understood to provide causal explanations for probabilistic correlations obtaining between causally unrelated events. In this study, an extended interpretation of the principle is proposed, according to which common causes should be invoked to explain positive correlations whose values depart from the ones that one would expect to obtain in accordance to her probabilistic expectations. In addition, a probabilistic model for common causes is tailored which satisfies the generalized version of the principle, at (...) the same time including the standard conjunctive-fork model as a special case. (shrink)

Dynamical systems are mathematical structures whose aim is to describe the evolution of an arbitrary deterministic system through time, which is typically modeled as (a subset of) the integers or the real numbers. We show that it is possible to generalize the standard notion of a dynamical system, so that its time dimension is only required to possess the algebraic structure of a monoid: first, we endow any dynamical system with an associated graph and, second, we prove that such a (...) graph is a category if and only if the time model of the dynamical system is a monoid. In addition, we show that the general notion of a dynamical system allows us not only to define a family of meaningful dynamical concepts, but also to distinguish among a cluster of otherwise tangled notions of reversibility, whose logical relationships are finally analyzed. (shrink)

It is widely believed that relationism cannot make room for the possibility of intervals of time during which no changes occur. Benovsky has recently challenged this belief, arguing that relationists can account for the possibility of changeless time in much the same way as substantivalists do, thereby concluding that the two views are interchangeable for all theoretical purposes. This paper intends to defend the meaningfulness of the traditional dispute between substantivalists and relationists, by contending that the particular form of relationism (...) on which Benovsky has based his criticism is in fact alien to that debate. (shrink)

According to three-dimensionalism, objects persist in time by being wholly present at each time they exist; on the contrary, four-dimensionalism asserts that objects persist by having different temporal parts at different times or that they are instantaneous temporal parts of four-dimensional aggregates. Le Poidevin has argued that four-dimensionalism better accommodates two common assumptions concerning persistence and continuity; namely, that time itself is continuous and that objects persist in time in a continuous way. To this purpose, he has offered two independent (...) arguments, each of which moves from a different understanding of continuity. In this paper, both of Le Poidevin’s arguments will be discussed and rejected. (shrink)

The received view on the problem of the direction of time holds it that time has no intrinsic dynamical properties, and that its apparent asymmetry, to be understood in purely topological terms, is dependent on the directional properties of physical processes. In this paper we shall challenge both claims, in the light of an algebraic representation of time. First, we will show how to give a precise formulation to the intuitive idea that time possesses an intrinsic dynamics; this formulation relies (...) on the fact that the algebraic properties of time can equivalently be understood in dynamical terms. Second, we shall argue that the directional properties displayed by the processes occurring in time depend on the directional properties of time, rather than the converse. (shrink)

Reasons.js is an open-source, loosely-coupled, web-based argument mapping library that can be integrated into a range of online coursewares and websites. The javascript library can be embedded into any HTML page and allows users to create, edit, share, and export argument maps . The API is designed to permit the integration of the three stages of informal logical analysis — identification of truth claims within arguments, the analysis of logical structure, and synthesis of logical structure into written form.

Mereotopology is the discipline obtained from combining topology with the formal study of parts and their relation to wholes, or mereology. This article develops a mereotopological theory of time, illustrating how different temporal topologies can be effectively discriminated on this basis. Specifically, we demonstrate how the three principal types of temporal models—namely, the linear ones, the forking ones, and the circular ones—can be characterized by differently combining two sole mereotopological constraints: one to denote the absence of closed loops, and the (...) other one to denote the absence of branches. (shrink)

The idea of becoming, namely that of a unique moving present constantly shifting from past to future, is often rejected as a mere metaphor without any objective content. In this paper, a formal model is offered for temporal becoming, based on dynamical systems theory, thanks to which the dynamics of the transient present can be reduced to objective features such as the algebraic properties of the mathematical structure chosen to model time.

The problem of the direction of time is reconsidered in the light of a generalized version of the theory of abstract deterministic dynamical systems, thanks to which the mathematical model of time can be provided with an internal dynamics, solely depending on its algebraic structure. This result calls for a reinterpretation of the directional properties of physical time, which have been typically understood in a strictly topological sense, as well as for a reexamination of the theoretical meaning of the widespread (...) time-reversal invariance of classical physical processes. (shrink)

Dynamical systems are mathematical objects meant to formally capture the evolution of deterministic systems. Although no topological constraint is usually imposed on their state spaces, there is prima facie evidence that the topological properties of dynamical systems might naturally depend on their dynamical features. This paper aims to prepare the grounds for a systematic investigation of such dependence, by exploring how the underlying dynamics might naturally induce a corresponding topology.

Detractors of temporal passage often argue that it is meaningless to say that time passes or flows, else time would have to pass at a rate of one second per second, which is in fact not a rate but a number, namely one. Several attempts have been recently made to avoid this conclusion, by retorting that one second per second is in fact not identical to one. This paper shows that this kind of reply is not satisfactory, because it demands (...) a substantive revision of the algebraic behaviour of quantities. (shrink)

It is a classical argument against the objectivity of the flow of time that it would not be possible to make sense of its direction without stepping into a vicious circularity. This paper is dedicated to discuss some of the objections Tim Maudlin has recently put forward against this argument, while outlining an alternative and more effective way out of it.