A condition is formulated in terms of the probabilities of two pairs of correlated events in a classical probability space which is necessary for the two correlations to have a single (Reichenbachian) common-cause and it is shown that there exists pairs of correlated events probabilities of which violate the necessary condition. It is concluded that different correlations do not in general have a common common-cause. It is also shown that this conclusion remains valid even if one weakens slightly Reichenbach's definition (...) of common-cause. The significance of the difference between common-causes and common common-causes is emphasized from the perspective of Reichenbach's Common Cause Principle. (shrink)

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...) that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra $\cS$ in a probability measure space $(\cS,p)$ is called a Reichenbachian common cause system for the correlated pair $A,B$ of events in $\cS$ if any two elements in the partition behave like a Reichenbachian common cause and its complement, the cardinality of the index set $I$ is called the size of the common cause system. It is shown that given any correlation in $(\cS,p)$, and given any finite size $n>2$, the probability space (...) $(\cS,p)$ can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size $n$ for the correlation. It also is shown that every totally ordered subset in the partially ordered set of all partitions of \cS$ contains only one Reichenbachian common cause system. Some open problems concerning Reichenbachian common cause systems are formulated. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and given any finite (...) natural number n > 2, the probability space (Ω,p) can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size n for the correlation. (shrink)

We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.

Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...) that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

The Borel–Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which loses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of conditional expectations is the proper mathematical device to conditionalize and that this theory allows conditionalization with respect to probability zero events. The conditional probabilities (...) on probability zero events in the Borel–Kolmogorov Paradox also can be calculated using conditional expectations. The alleged clash arising from the fact that one obtains different values for the conditional probabilities on probability zero events depending on what conditional expectation one uses to calculate them is resolved by showing that the different conditional probabilities obtained using different conditional expectations cannot be interpreted as calculating in different parametrizations of the conditional probabilities of the same event with respect to the same conditioning conditions. We conclude that there is no clash between the correct intuition about what the conditional probabilities with respect to probability zero events are and the technically proper concept of conditionalization via conditional expectations—the Borel–Kolmogorov Paradox is just a pseudo-paradox. (shrink)

Review by: Maté Szabó The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 110-112, March 2013.

Anything other than paraphrasing the well-known Heraclitean aphorism would not be more appropriate to portray the crux of the contribution of the three philosophers of the Budapest School, Gábor Hofer-Szabó, Miklós Rédei and Lázló E. Szabó, in the ongoing discussion of the principle of the common cause . Indeed, ‘common causes love to hide’ and for that reason critics and aspirant falsifiers of PCC find correlations which, at a first level of analysis, might lack a common cause explanation. But as (...) the authors argue such correlations do not amount to disconfirming evidence for the principle, since PCC does not specify where to search for a common cause of a correlation; it just states that there is one. PCC is neither falsifiable, nor verifiable; it is a metaphysical doctrine that can only be assessed for its plausibility in the light of theories of empirical science. This idea fosters the investigation of the existence of common causes of correlations in two fundamental physical t .. (shrink)

This article analyzes how five leading Hungarian postdissident liberal thinkers conceptually constructed their view of liberalism in the early years of postcommunism. Studying Beszélő, the most signi cant liberal journal during the early years of representative democracy, it shows how they did so through references to political “threats” and the idea of a “liberal minimum” (János Kis), local liberal and democratic traditions and “progressive patriotism” (Miklós Szabó), the ongoing “liberal-conservative revolution” and the creation of a “new political community” (Gáspár Miklós (...) Tamás), antipolitics and “expertise” (György Konrád), and the “complete catalog of human rights” and the agenda of “modernization” (István Eörsi), respectively. Next to its conceptual analysis of heavily influential individual thinkers, the article discusses the ambition of postdissident Hungarian liberals to harmonize liberal and democratic tenets. Last but not least, it elaborates on the left-wing origins of many of their central concepts that, as suggested here, ultimately hindered liberalism's assumption of a central position in the new political system. (shrink)

Many firms are striving to improve their environmental positions by presenting their environmental efforts to the public. To do so, they are applying green marketing strategies to help gain competitive advantage and appeal to ecologically conscious consumers. However, not all green marketing claims accurately reflect firms’ environmental conduct, and can be viewed as ‘greenwashing’. Greenwashing may not only affect a company’s profitability, but more importantly, result in ethical harm. Therefore, this research extends past greenwashing studies by examining additional influences on (...) and outcomes of perceived greenwashing. To do so, we conducted two studies, an interview study with consumer product and consulting firms, as well as an experiment examining consumers interacting with a company website. For these studies, we used multiple methods, including interviews, questionnaires, and neurophysiological techniques. We found that perceived greenwashing relates not only to environmental and product perceptions, but also to consumers’ happiness while interacting with the website. We also found that website interactivity relates to perceived greenwashing, environmental and product perceptions, and to the amount of interaction with the website. We conclude by discussing managerial and ethical implications for research and practice. (shrink)

Dickie (2020) presents an argument against the traditional, broadly Gricean view of conversation. She argues that speakers must sometimes be more specific than required for sharing knowledge on a topic of common concern. Her proposed solution is to claim that the goal of conversation is not just sharing knowledge but also sharing cognitive focus. In response, I argue that her proposal faces both conceptual and empirical difficulties, and that the traditional view can handle the problem of non-specificity by acknowledging that (...) in order to sustain mutual trust, conversational participants should be less than optimally efficient. (shrink)

I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the operators are not given a physical interpretation satisfying the following two requirements: (i) each operator is uniquely realized by a single physical measurement; (ii) commuting operators are realized by simultaneous measurements. To underpin this claim, I will construct three hidden variable models for three different physical realizations of the Peres-Mermin square: one violating (i), another violating (ii), and a third (...) one violating both (i) and (ii). (shrink)

Moti Mizrahi provides experimental evidence according to which subjects judge that a person ought to ? even when she cannot ?. He takes his results to constitute a falsification of the alleged intuitiveness of the ‘Ought Implies Can’ principle. We point out that in the light of the fact that (a) ‘ought’ is multiply ambiguous, that (b) only a restricted set of readings of ‘ought’ will be relevant to the principle, and that (c) he did not instruct his subjects appropriately (...) – or otherwise ensure that in their ‘ought’ judgements they applied the relevant concept(s) – Mizrahi’s conclusions appear premature. We suggest two ways in which the experimental design could be adjusted or supplemented. First, Mizrahi could instruct (or prime) subjects to read the ‘ought’ question in a particular way. Second, he could complement his experiment by asking follow-up questions aimed at uncovering the implications for blame of subjects’ judgements. Once these adjustments are applied, an experiment with a similar outcome would be more significant. (shrink)

On one standard reading, Plato's works contain at least two distinct views about the structure of the human soul. According to the first, there is a crucial unity to human psychology: there is a dominant faculty that is capable of controlling attention and behaviour in a way that not only produces right action, but also ‘silences’ inclinations to the contrary—at least in idealized circumstances. According to the second, the human soul contains multiple autonomous parts, and although one of them, reason, (...) normatively dominates the others, it may fail to do so descriptively: even in the face of full, explicit, well‐reasoned, conscious awareness of the truth of a claim, a person may continue to feel residual inclinations towards disavowed, inappropriate and misguided experiences and courses of action. In this paper, I will argue that even the second of these views does not fully capture the ways in which reflective commitment fails to guide human action. Whereas the traditional multi‐part soul view is well suited to explaining phenomena that involve a cognitive conflict between our reflective attitudes and our non‐reflective endorsements, it falls short when we turn to the full array of human patterns of response, because it neglects a further source of challenge to reason's rule, namely, the mediation of associative and heuristic processes. These processes introduce complications for which the simple faculty psychology view cannot adequately account. Because they produce challenges to reason's rule that are phenomenologically invisible, traditional strategies for self‐regulation cannot be straightforwardly applied to their management. (shrink)

The Bayes Blind Spot of a Bayesian Agent is, by definition, the set of probability measures on a Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-algebra that are absolutely continuous with respect to the background probability measure of a Bayesian Agent on the algebra and which the Bayesian Agent cannot learn by a single conditionalization no matter what evidence he has about the elements in the Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma (...) $$\end{document}-algebra. It is shown that if the Boolean algebra is finite, then the Bayes Blind Spot is a very large set: it has the same cardinality as the set of all probability measures ; it has the same measure as the measure of the set of all probability measures ; and is a “fat” set in topological sense in the set of all probability measures taken with its natural topology. Features of the Bayes Blind Spot are determined from the perspective of repeated Bayesian learning when the Boolean algebra is finite. Open problems about the Bayes Blind Spot are formulated in probability spaces with infinite Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-algebras. The results are discussed from the perspective of Bayesianism. (shrink)

This chapter describes how philosophical theorizing about justice can be connected with empirical research in the social sciences. We begin by drawing on some received distinctions between ideal and non-ideal approaches to theorizing justice along several different dimensions, showing how non-ideal approaches are needed to address normative aspects of real-world problems and to provide practical guidance. We argue that there are advantages to a transitional approach to justice focusing on manifest injustices, including the fact that it enables us to set (...) aside some reasonable disagreements about justice. The ‘bottom-up’ approach we advocate, for which we borrow Wolff’s term ‘real-world political philosophy’, is an empirically-informed normative analysis that attends to specific, identifiable injustices, and thus is partial, though not isolationist. We illustrate our approach by considering how different models of the nature of disability suggest different kinds of remedy for injustices faced by persons living with disabilities. We reflect on the nature and significance of vulnerabilities, and we assess the role of public opinion in normative theorizing, suggesting a particular significance for the opinions and experiences of marginalized groups. We finally reflect on the relevance of European legal and institutional frameworks for theorizing justice in Europe. (shrink)

Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

Mutually beneficial exchanges in markets can be exploitative because one party takes advantage of an underlying injustice. For instance, employers of sweatshop workers are often accused of exploiting the desperate conditions of their employees, although the latter accept the terms of their employment voluntarily. A weakness of this account of exploitation is its tendency for over-inclusiveness. Certainly, given the prevalence of global and domestic socioeconomic inequalities, not all exchanges that take place against background injustices should be considered exploitative. This paper (...) offers a framework to identify exploitation in mutually beneficial exchange, focusing on the case of sweatshop labor. It argues that an employer can be viewed as taking unfair advantage of an underlying injustice if and only if the employer’s surplus from the exchange in the unjust state of affairs exceeds the surplus it could maximally obtain in a just state of affairs. The paper illustrates the applicability of this framework using three different conceptions of justice and argues that it is superior to microlevel accounts of exploitation that regard background justice as irrelevant. The paper concludes by describing some normative implications that follow from judging an exchange exploitative. (shrink)

In diesem Aufsatz erläutere ich Leibniz' Versuche, seinen Infinitesimalkalkül zu rechtfertigen. Die Untersuchung zielt ab auf ein klareres Verständnis, wie tief Leibniz die Begriffe, Ziele und Methoden im Hinblick auf das fragliche Problem faßte. Mein Überblick ist in zwei Teile gegliedert. Der erste stellt die Definition und den Gebrauch einiger Leibnizscher Begriffe dar, die bei der Rechtfertigung des Calculus eine wichtige Rolle spielen. Im zweiten skizziere ich, auf welche Weise Leibniz die Infinitesimalrechnung zu rechtfertigen versuchte.

It is shown that, given any finite set of pairs of random events in a Boolean algebra which are correlated with respect to a fixed probability measure on the algebra, the algebra can be extended in such a way that the extension contains events that can be regarded as common causes of the correlations in the sense of Reichenbach's definition of common cause. It is shown, further, that, given any quantum probability space and any set of commuting events in it (...) which are correlated with respect to a fixed quantum state, the quantum probability space can be extended in such a way that the extension contains common causes of all the selected correlations, where common cause is again taken in the sense of Reichenbach's definition. It is argued that these results very strongly restrict the possible ways of disproving Reichenbach's Common Cause Principle. (shrink)

Standard derivations of the Bell inequalities assume a common common cause system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper (Grasshoff et al., 2005) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect correlations can be reduced to the assumptions (...) of common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabó's (2000) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a delta δ-neighborhood of perfect EPR correlations. (shrink)

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (shrink)

Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...) correlations can be reduced to the assumptions of a common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabo's ) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a δ-neighborhood of perfect EPR correlations. (shrink)

Beaucoup de livres ont été écrits sur la vie héroïque de Simone Weil et de nombreuses études consacrées à sa pensée religieuse et sociale. Cet ouvrage, traduit en américain, en italien, en hongrois et en japonais, dont nous donnons ici la troisième édition reste à ce jour le seul qui reconstitue les grands moments de l'oeuvre weilienne tout entière à partir d'un point de vue proprement philosophique.

This essay has two main claims about EPR’s Reality Criterion. First, we claim that the application of the Reality Criterion makes an essential difference between the EPR argument and Einstein’s later arguments against quantum mechanics. We show that while the EPR argument, making use of the Reality Criterion, does derive that certain interpretations of quantum mechanics are incomplete, Einstein’s later arguments, making no use of the Reality Criterion, do not prove incompleteness, but rather point to the inadequacy of the Copenhagen (...) interpretation. We take this fact as an indication that the Reality Criterion is a crucial, indispensable component of the incompleteness argument(s). The second claim is more substantive. We argue that the Reality Criterion is a special case of the Common Cause Principle. Finally, we relate this proposal to Tim Maudlin’s recent assertion that the Reality Criterion is an analytic truth. (shrink)

ABSTRACT As is well-known, a classical representation theorem of the theory of cylindric algebras is: A ε IGwsa if and only if A ε SNrαCAα+ε. The part “only if” is trivial. Regarding to the other part “A ε SNrαCAα+ε then A ε IGwsα“ the following question arises: is it possible to replace the class CA in the hypothesis A ε SNrαCAα+ε by a larger class so that the theorem still holds. Such a larger class Kα β is defined. The class (...) Kα β is the best possible, in a sense to be made precise. Representability of set algebras is investigated, too. (shrink)

Most philosophers believe that a person can have an obligation only insofar as she is able to fulfil it, a principle generally referred to as “Ought Implies Can”. Arguably, this principle reflects something basic about the ordinary concept of obligation. However, in a paper published recently in this journal, Wesley Buckwalter and John Turri presented evidence for the conclusion that ordinary people in fact reject that principle. With a series of studies, they claimed to have demonstrated that, in people’s judgements, (...) obligations persist irrespective of whether those who hold them have the ability to fulfil them. We argue in this paper that due to some problems in their design, Buckwalter & Turri’s conclusions may not be war- ranted. We present the results of a series of studies demonstrating the problems with their design and showing that, with an improved design, people judge that obligation depends on ability after all. (shrink)

I will argue that Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality since, for the argument to be effective, operators must be uniquely associated with measur...

The aim of this paper is to present an explanation for the impact of normative considerations on people’s assessment of certain seemingly purely descriptive matters. The explanation is based on two main claims. First, a large category of expressions are tacitly modal: they are contextually equivalent to modal proxies. Second, the interpretation of predominantly circumstantial or teleological modals is subject to certain constraints which make certain possibilities salient at the expense of others.