In recent years part of the literature on probabilistic causality concerned notions stemming from Reichenbach’s idea of explaining correlations between not directly causally related events by referring to their common causes. A few related notions have been introduced, e.g. that of a “common cause system” (Hofer-Szabó and Rédei in Int J Theor Phys 43(7/8):1819–1826, 2004) and “causal (N-)closedness” of probability spaces (Gyenis and Rédei in Found Phys 34(9):1284–1303, 2004; Hofer-Szabó and Rédei in Found Phys 36(5):745–756, 2006). In this paper we (...) introduce a new and natural notion similar to causal closedness and prove a number of theorems which can be seen as extensions of earlier results from the literature. Most notably we prove that a finite probability space is causally closed in our sense iff its measure is uniform. We also present a generalisation of this result to a class of non-classical probability spaces. (shrink)

My Ph.D. dissertation written under the supervision of Prof. Tomasz Placek at the Institute of Philosophy of the Jagiellonian University in Kraków. In one of its most basic and informal shapes, the principle of the common cause states that any surprising correlation between two factors which are believed not to directly influence one another is due to their common cause. Here we will be concerned with a version od this idea which possesses a purely probabilistic formulation. It was introduced, in (...) the form of a general principle, by Hans Reichenbach in his posthumously published book "The Direction of Time". The central notion of the principle in Reichenbach's formulation, and of the current essay, is that of screening off: two correlated events are screened off by a third event if conditioning on the third event makes them probabilistically independent. Reichenbach's principle marks also the beginning of a new field of philosophy: namely, that of ``probabilistic causality''. For the most part, the current essay can be seen as an effort at checking how far one can go with the purely statistical notions revolving around Reichenbach's idea of common cause. In short, the answer is ``surprisingly far''; in some classes of probability spaces all correlations between ``interesting'' events possess explanations of such sort. However, this fact lends itself to opposing interpretations; more on that in the conclusion. Chapters 6 and 7 contain mathematical results concerning these issues. The screening-off condition requires an equality of a probabilistic nature to hold; chapter 8 is a short discussion of slightly weakened versions of the condition, which hold if the sides of the above mentioned equality differ to a small degree. In chapter 2, after some mathematical preliminaries, we study the various formulations of the principle which might be said to stem from the original idea of Reichenbach. We also examine a few of the most salient counterarguments, which undermine at least some of the formulations. Chapter 3 is of a formal nature, dealing with various probabilistic notions which can be thought of as generalizations of Reichenbach's concept of common cause. The next chapter concerns the relationship between the idea of common causal explanation and the Bell inequalities. In chapter 5 we briefly present the form of Reichenbach's principle which can be found in the field of representing causal structures by means of directed acyclic graphs. (shrink)

One diagnosis of Bell's theorem is that its premise of Outcome Independence is unreasonably strong, as it postulates one common screener system that purports to explain all the correlations involved. This poses a challenge of constructing a model for quantum correlations that is local, non-conspiratorial, and has many separate screener systems rather than one common screener system. In particular, the assumptions of such models should not entail Bell's inequalities. We prove that the models described do not exist, and hence, the (...) diagnosis above is incorrect. (shrink)

I claim that objective consequentialism faces a problem stemming from the existence in some situations of a plurality of chances relevant to the outcomes of an agent’s acts. I suggest that this phenomenon bears structural resemblance to the well-known Reference Class problem. I outline a few ways in which one could attempt to deal with the issue, suggesting that it is the higher-level chance that should be employed by OC.

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent (...) computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Provability, Computability and Reflection.