Bell non-locality and Kochen–Specker contextuality are logically independent concepts, fuel different protocols with quantum vs classical advantage, and have distinct classical simulation costs. A natural question is what are the relations between these concepts, advantages, and costs. To address this question, it is useful to have a map that captures all the connections between Bell non-locality and KS contextuality in quantum theory. The aim of this work is to introduce such a map. After defining the theory-independent notions of Bell non-locality (...) and KS contextuality for ideal measurements, we show that, in quantum theory, due to Neumark’s dilation theorem, every quantum Bell non-local behavior can be mapped to a formally identical KS contextual behavior produced in a scenario with identical relations of compatibility but where measurements are ideal and no space-like separation is required. A more difficult problem is identifying connections in the opposite direction. We show that there are “one-to-one” and partial connections between KS contextual behaviors and Bell non-local behaviors for some KS scenarios, but not for all of them. However, there is also a method that transforms any KS contextual behavior for quantum systems of dimension d into a Bell non-local behavior between two quantum subsystems each of them of dimension d. We collect all these connections in map and list some problems which can benefit from this map. (shrink)

This is an extended essay review of Tanya and Jeffrey Bub’s Totally Random: Why Nobody Understands Quantum Mechanics: A serious comic on entanglement. We review the philosophical aspects of the book, provide suggestions for instructors on how to use the book in a class setting, and evaluate the authors’ artistic choices in the context of comics theory. Although Totally Random does not defend any particular interpretation of quantum mechanics, we find that, in its mode of presentation, Totally Random is a (...) beautiful expression and illustration of the information-theoretic interpretation and its value. (shrink)

Bell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different arithmetics. A naive mixing of arithmetics leads to contradictions at a much more elementary level than the (...) Clauser–Horne–Shimony–Holt inequality. (shrink)

Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory. In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of different (...) strengths. We then use this result to provide a partial assessment of whether these formal Dutch Books can be interpreted normatively. (shrink)

A small probability space representation of quantum mechanical probabilities is defined as a collection of Kolmogorovian probability spaces, each of which is associated with a context of a maximal set of compatible measurements, that portrays quantum probabilities as Kolmogorovian probabilities of classical events. Bell's theorem is stated and analyzed in terms of the small probability space formalism.

I describe a new framework for the articulation and analysis of Bell's theorems for arbitrarily complicated discrete physical scenarios. The framework allows for efficient proof of some new results, as well as generalizations of some older results already known for simpler cases. The generalized known results are: satisfaction of all Bell inequalities is equivalent to the existence of a joint probability function for all possible measurement contexts and stochastic versions of Bell's theorem are not stronger than deterministic versions. The new (...) results are: the straightforward generalization of parameter independence is inadequate when there are more than two observers, parameter independence is a necessary condition for observable probabilities to satisfy the Bell inequalities, and if the primary states can appear in isolation, and the observable probabilities satisfy all Bell inequalities, then parameter independence is a necessary condition for the primary states, too. (shrink)

One implication of Bell’s theorem is that there cannot in general be hidden variable models for quantum mechanics that both are noncontextual and retain the structure of a classical probability space. Thus, some hidden variable programs aim to retain noncontextuality at the cost of using a generalization of the Kolmogorov probability axioms. We generalize a theorem of Feintzeig to show that such programs are committed to the existence of a finite null cover for some quantum mechanical experiments, i.e., a finite (...) collection of probability zero events whose disjunction exhausts the space of experimental possibilities. (shrink)

This article takes up a suggestion that the reason we cannot find certain hidden variable theories for quantum mechanics, as in Bell’s theorem, is that we require them to assign joint probability distributions on incompatible observables. These joint distributions are problematic because they are empirically meaningless on one standard interpretation of quantum mechanics. Some have proposed getting around this problem by using generalized probability spaces. I present a theorem to show a sense in which generalized probability spaces can’t serve as (...) hidden variable theories for quantum mechanics, so the proposal for getting around Bell’s theorem fails. 1 Introduction2 Bell’s Theorem and Classical Probability Spaces2.1 Bell’s derivation of the Bell inequalities2.2 Pitowsky’s derivation of the Bell inequalities3 Incompatible Observables4 Generalized Probability Spaces5 A ‘No-Go’ Theorem6 Conclusions. (shrink)

Bell’s Theorem from Physics 36:1–28 (1964) and the (Strong) Free Will Theorem of Conway and Kochen from Notices AMS 56:226–232 (2009) both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice and Bob experiment, and satisfy a locality condition akin to parameter independence. We clarify the relationship between these theorems by giving reformulations of both that exactly pinpoint their resemblance and their (...) differences. Our reformulation imposes determinism in what we see as the only consistent way, in which the ‘ontological state’ initially determines both the settings and the outcome of the experiment. The usual status of the settings as ‘free’ parameters is subsequently recovered from independence assumptions on the pertinent (random) variables. Our reformulation also clarifies the role of the settings in Bell’s later generalization of his theorem to stochastic hidden variable theories. (shrink)

In previous works we have established that the spacetime probabilistic organization of the quantum theory is determined by the spacetime characteristics of the operations by which the observer produces the objects to be studied (“states” of microsystems) and obtains qualifications of these. Guided by this first conclusion, we have then built a “general syntax of relativized conceptualization” where any description is explicitly and systematically referred to the two basic epistemic operations by which the conceptor introduces the object to be qualified (...) and then obtains qualifications of it. Inside this syntax there emerges a general typology of the relativized descriptions. Here we show that with respect to this typology the type of the predictive quantum mechanical descriptions acquires a precise definition. It appears that the quantum mechanical formalism has captured and has expressed directly in a mathematical language the most complex form in which can occur a first descriptional phase that lies universally at the bottom of any chain of conceptualization. The main features of the Hilbert-Dirac algorithms are decoded in terms of the general syntax of relativized conceptualization. This renders explicit the semantical contents of the quantum mechanical representations relating each one of these to its mathematical quantum mechanical expression. Basic insufficiencies are thus identified and, correlatively, false problems as well as answers to these, or guides toward answers. Globally the results obtained provide a basis for future attempts at a general mathematical representation of the processes of conceptualization. “Il pourrait, en effet, être dangereux pour l'avenir de la Physique qu'elle se contente trop facilement de purs formalismes, d'images floues et d'explications toutes verbales s'exprimant par des mots à signification imprécise”—Louis de Broglie,Certitudes et Incertitudes de la Science (Albin Michel, Paris, 1965). (shrink)

The weak objectification of physical properties is shown to yield the same probabilistic implications as strong objectification and can therefore be refuted on the basis of suitable interference experiments. An alternative test of hypothetical objectification statements, as they occur in the EPR experiment, is based on joint probabilities and the ensuing Bell inequalities. Quantum mechanics turns out to be partially compatible with Bell's inequalities even in cases where weak objectification is excluded by interference.

Many argued (Accardi and Fedullo, Pitowsky) that Kolmogorov's axioms of classical probability theory are incompatible with quantum probabilities, and that this is the reason for the violation of Bell's inequalities. Szabó showed that, in fact, these inequalities are not violated by the experimentally observed frequencies if we consider the real, “effective” frequencies. We prove in this work a theorem which generalizes this results: “effective” frequencies associated to quantum events always admit a Kolmogorovian representation, when these events are collected through different (...) experimental setups, the choice of which obeys a classical distribution. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

We develop a systematic approach to quantum probability as a theory of rational betting in quantum gambles. In these games of chance, the agent is betting in advance on the outcomes of several (finitely many) incompatible measurements. One of the measurements is subsequently chosen and performed and the money placed on the other measurements is returned to the agent. We show how the rules of rational betting imply all the interesting features of quantum probability, even in such finite gambles. These (...) include the uncertainty principle and the violation of Bell's inequality among others. Quantum gambles are closely related to quantum logic and provide a new semantics for it. We conclude with a philosophical discussion on the interpretation of quantum mechanics. (shrink)

Einstein's philosophy of physics (as clarified by Fine, Howard, and Held) was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed objectification, and thereby "physical thought" and "physical laws", to be impossible. Bohr's philosophy (as elucidated by Hooker, Scheibe, Folse, Howard, Held, and others), on the other hand, was grounded in a seemingly different doctrine about the possibility of objective knowledge, namely the necessity of classical concepts. In fact, it follows from Raggio's Theorem in algebraic (...) quantum theory that - within an appropriate class of physical theories - suitable mathematical translations of the doctrines of Bohr and Einstein are equivalent. Thus - upon our specific formalization - quantum mechanics accommodates Einstein's Trennungsprinzip if and only if it is interpreted a la Bohr through classical physics. Unfortunately, the protagonists themselves failed to discuss their differences in this constructive way, since their debate was dominated by Einstein's ingenious but ultimately flawed attempts to establish the "incompleteness" of quantum mechanics. This aspect of their debate may still be understood and appreciated, however, as reflecting a much deeper and insurmountable disagreement between Bohr and Einstein about the knowability of Nature. Using the theological controversy on the knowability of God as a analogy, we can say that Einstein was a Spinozist, whereas Bohr could be said to be on the side of Maimonides. Thus Einstein's off-the-cuff characterization of Bohr as a 'Talmudic philosopher' was spot-on. (shrink)

Since the validity of Bell's inequalities implies the existence of joint probabilities for non-commuting observables, there is no universal consensus as to what the violation of these inequalities signifies. While the majority view is that the violation teaches us an important lesson about the possibility of explanations, if not about metaphysical issues, there is also a minimalist position claiming that the violation is to be expected from simple facts about probability theory. This minimalist position is backed by theorems due to (...) A. Fine and I. Pitowsky.Our paper shows that the minimalist position cannot be sustained. To this end,we give a formally rigorous interpretation of joint probabilities in thecombined modal and spatiotemporal framework of `stochastic outcomes inbranching space-time' (SOBST) (Kowalski and Placek, 1999; Placek, 2000). We show in this framework that the claim that there can be no joint probabilities fornon-commuting observables is incorrect. The lesson from Fine's theorem is notthat Bell's inequalities will be violated anyhow, but that an adequate modelfor the Bell/Aspect experiment must not define global joint probabilities. Thus we investigate the class of stochastic hidden variable models, whichprima facie do not define such joint probabilities. The reasonwhy these models fail supports the majority view: Bell's inequalities are notjust a mathematical artifact. (shrink)

Kolmogorov''s axiomatization of probability includes the familiarratio formula for conditional probability: 0).$$ " align="middle" border="0">.

We present a new approach to the old problem of how to incorporate the role of the observer in statistics. We show classical probability theory to be inadequate for this task and take refuge in the epsilon-model, which is the only model known to us caapble of handling situations between quantum and classical statistics. An example is worked out and some problems are discussed as to the new viewpoint that emanates from our approach.

A correction to this paper has been published: https://doi.org/10.1007/s10699-021-09793-2.

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.

In an attempt to demonstrate that local hidden variables are mathematically possible, Pitowsky constructed “spin- functions” and later “Kolmogorovian models”, which employs a nonstandard notion of probability. We describe Pitowsky’s analysis and argue that his notion of hidden variables is in fact just super-determinism. Pitowsky’s first construction uses the Continuum Hypothesis. Farah and Magidor took this as an indication that at some stage physics might give arguments for or against adopting specific new axioms of set theory. We would rather argue (...) that it supports the opposing view, i.e., the widespread intuition “if you need a non-measurable function, it is physically irrelevant”. (shrink)

We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce additional (...) parameters which possibly can be fitted to empirical data but which do not necessarily explain them. Hence, the phenomenological research has to be augmented by responding to deeper foundational issues. In this article, we make the general distinction between foundational and phenomenological research programs, explaining the foundational issue of quantum cognition from the perspective of operational realism. This framework is motivated by assuming partial Boolean algebras. They are combined into a uniform system via a mechanism preventing the simultaneous realization of perspectives. Gleason’s theorem then automatically leads to a distinction between probabilities that are defined by pure states and probabilities arising from the statistical mixture of pure states. This formal distinction relates to the conceptual distinction between risk and ignorance. Another outcome identifies quantum aspects in dynamic macro-systems using the framework of symbolic dynamics. Finally, we discuss several ideas that are useful for justifying complementarity in cognitive systems. (shrink)

Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements -maps), are studied. It is shown, that the most simple of these inequalities, that involves only two propositions, is always satisfied, contrary to what happens in the case of traditional version of this inequality in which conjunctions of propositions are modeled by meets. Equivalence of various Bell-type inequalities formulated with the aid of bivariate maps on orthomodular lattices is studied. (...) Our investigations shed new light on the interpretation of various multivariate maps defined on orthomodular lattices already studied in the literature. The paper is concluded by showing the possibility of using \-maps and \-maps to represent counterfactual conjunctions and disjunctions of non-compatible propositions about quantum systems. (shrink)

We present a general classification of the conditions under which cognitive science, concerned, e.g. with decision making, requires the use of quantum theoretical notions. The analysis is done in the frame of the mathematical approach based on the theory of quantum measurements. We stress that quantum effects in cognition can arise only when decisions are made under uncertainty. Conditions for the appearance of quantum interference in cognitive sciences and the conditions when interference cannot arise are formulated.

The paper offers a matrix-based logic (relevant matrix quantum physics) for propositions which seems suitable as an underlying logic for empirical sciences and especially for quantum physics. This logic is motivated by two criteria which serve to clean derivations of classical logic from superfluous redundancies and uninformative complexities. It distinguishes those valid derivations (inferences) of classical logic which contain superfluous redundancies and complexities and are in this sense from those which are or in the sense of allowing only the most (...) informative consequences in the derivations. The latter derivations are strictly valid in RMQ, whereas the former are only materially valid. RMQ is a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper how RMQ by its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics. (shrink)

A quantum algorithm succeeds not because the superposition principle allows ‘the computation of all values of a function at once’ via ‘quantum parallelism’, but rather because the structure of a quantum state space allows new sorts of correlations associated with entanglement, with new possibilities for information‐processing transformations between correlations, that are not possible in a classical state space. I illustrate this with an elementary example of a problem for which a quantum algorithm is more efficient than any classical algorithm. I (...) also introduce the notion of ‘pseudotelepathic’ games and show how the difference between classical and quantum correlations plays a similar role here for games that can be won by quantum players exploiting entanglement, but not by classical players whose only allowed common resource consists of shared strings of random numbers (common causes of the players’ correlated responses in a game). *Received October 2008. †To contact the author, please write to: Department of Philosophy, University of Maryland, College Park, MD 20742; e‐mail: [email protected]. (shrink)

The principle of 'information causality' can be used to derive an upper bound---known as the 'Tsirelson bound'---on the strength of quantum mechanical correlations, and has been conjectured to be a foundational principle of nature. In this paper, however, I argue that the principle has not to date been sufficiently motivated to play this role; the motivations that have so far been given are either unsatisfactorily vague or else amount to little more than an appeal to intuition. I then consider how (...) one might begin to successfully motivate the principle. I argue that a compelling way of so doing is to understand it as a generalisation of Einstein's principle of the mutually independent existence---the 'being-thus'---of spatially distant things, interpreted as a special methodological principle. More specifically: I describe an argument, due to Demopoulos, to the effect that the quantum-mechanical no-signalling condition can be viewed as a generalisation, appropriate to an irreducibly statistical theory such as quantum mechanics, of the Einsteinian principle. And I then argue that a compelling way to motivate information causality is to in turn consider it as a further generalisation of the Einsteinian principle that is appropriate to a theory of communication. I nevertheless describe important obstacles that must yet be overcome if the project of establishing information causality as a foundational principle of nature is to succeed. (shrink)

The interpretation of the violation of Bell-Clauser-Horne inequalities is revisited, in relation with the notion of extension of QM predictions to unmeasurable correlations. Such extensions are compatible with QM predictions in many cases, in particular for observables with compatibility relations described by tree graphs. This implies classical representability of any set of correlations 〈A i 〉, 〈B〉, 〈A i B〉, and the equivalence of the Bell-Clauser-Horne inequalities to a non void intersection between the ranges of values for the unmeasurable correlation (...) 〈A 1 A 2〉 associated to different choices for B. The same analysis applies to the Hardy model and to the “perfect correlations” discussed by Greenberger, Horne, Shimony and Zeilinger. In all the cases, the dependence of an unmeasurable correlation on a set of variables allowing for a classical representation is the only basis for arguments about violations of locality and causality. (shrink)

This book presents a collection of novel contributions and reviews by renowned researchers in the foundations of quantum physics, quantum optics, and neutron physics. It is published in honor of Michael Horne, whose exceptionally clear and groundbreaking work in the foundations of quantum mechanics and interferometry, both of photons and of neutrons, has provided penetrating insight into the implications of modern physics for our understanding of the physical world. He is perhaps best known for the Clauser-Horne-Shimony-Holt (CHSH) inequality. This collection (...) includes an oral history of Michael Horne's contributions to the foundations of physics and his connections to other eminent figures in the history of the subject, among them Clifford Shull and Abner Shimony. Among the editors and contributors are John Clauser and Anton Zeilinger, recipients of the Nobel Prize in Physics 2022. (shrink)

In 1935, Einstein, Podolsky, and Rosen (EPR) published an important paper in which they claimed that the whole formalism of quantum mechanics together with what they called a “Reality Criterion” imply that quantum mechanics cannot be complete. That is, there must exist some elements of reality that are not described by quantum mechanics. They concluded that there must be a more complete description of physical reality involving some hidden variables that can characterize the state of affairs in the world in (...) more detail than the quantum mechanical state. This conclusion leads to paradoxical results. -/- As Bell proved in 1964, under some further but quite plausible assumptions, this conclusion that there are hidden variables implies that, in some spin-correlation experiments, the measured quantum mechanical probabilities should satisfy particular inequalities (Bell-type inequalities). The paradox consists in the fact that quantum probabilities do not satisfy these inequalities. And this paradoxical fact has been confirmed by several laboratory experiments since the 1970s. -/- Some researchers have interpreted this result as showing that quantum mechanics is telling us nature is non-local, that is, that particles can affect each other across great distances in a time too brief for the effect to have been due to ordinary causal interaction. Others object to this interpretation, and the problem is still open and hotly debated among both physicists and philosophers. It has motivated a wide range of research from the most fundamental quantum mechanical experiments through foundations of probability theory to the theory of stochastic causality as well as the metaphysics of free will. (shrink)

We present the fundamentals of the quantum theoretical approach we have developed in the last decade to model cognitive phenomena that resisted modeling by means of classical logical and probabilistic structures, like Boolean, Kolmogorovian and, more generally, set theoretical structures. We firstly sketch the operational-realistic foundations of conceptual entities, i.e. concepts, conceptual combinations, propositions, decision-making entities, etc. Then, we briefly illustrate the application of the quantum formalism in Hilbert space to represent combinations of natural concepts, discussing its success in modeling (...) a wide range of empirical data on concepts and their conjunction, disjunction and negation. Next, we naturally extend the quantum theoretical approach to model some long-standing ‘fallacies of human reasoning’, namely, the ‘conjunction fallacy’ and the ‘disjunction effect’. Finally, we put forward an explanatory hypothesis according to which human reasoning is a defined superposition of ‘emergent reasoning’ and ‘logical reasoning’, where the former generally prevails over the latter. The quantum theoretical approach explains human fallacies as the consequence of genuine quantum structures in human reasoning, i.e. ‘contextuality’, ‘emergence’, ‘entanglement’, ‘interference’ and ‘superposition’. As such, it is alternative to the Kahneman–Tversky research programme, which instead aims to explain human fallacies in terms of ‘individual heuristics and biases’. (shrink)

We further develop a recent new proof (by Greenberger, Horne, and Zeilinger—GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, we generalize GHZ's proof so that it applies to factorable stochastic theories, theories in which apparatus hidden variables are causally relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then we adopt a more general measure-theoretic approach which requires that GHZ's argument be modified (...) in order to produce a valid proof. Finally, we motivate our more general proof's assumptions in a somewhat different way from previous authors in order to strengthen the implications of our proof as much as possible. After developing GHZ's proof along these lines, we then consider the analogue, for our proof, of Bohr's reply to the EPR argument, and conclude (pace GHZ) that in at least one respect (viz. that of most concern to Bohr) the proof is no more powerful than Bell's. Nevertheless, we point out some new advantages of our proof over Bell's, and over other algebraic proofs of nonlocality. And we conclude by giving a modified version of our proof that, like Bell's, does not rely on experimentally unrealizable strict correlations, but still leads to a testable “quasi-algebraic” locality inequality.“... to admit things not visible to the gross creatures that we are is, in my opinion, to show a decent humility, and not just a lamentable addiction to metaphysics.”J. S. Bell. (shrink)

** The primary topic of this dissertation is the study of the relationships between parts and wholes as described by particular physical theories, namely generalized probability theories in a quasi-classical physics framework and non-relativistic quantum theory. ** A large part of this dissertation is devoted to understanding different aspects of four different kinds of correlations: local, partially-local, no-signaling and quantum mechanical correlations. Novel characteristics of these correlations have been used to study how they are related and how they can be (...) discerned via Bell-type inequalities that give non-trivial bounds on the strength of the correlations. ** The study of quantum correlations has also prompted us to study a) the multi-partite qubit state space with respect to its entanglement and separability characteristics, and b) the differing strength of the correlations in separable and entangled qubit states. Results include a novel classification of multipartite (partial) separability and entanglement, strong constraints on the monogamy of entanglement and of non-local correlations, and many new entanglement detection criteria that are directly experimentally accessible. ** Because of the generality of the investigation these results also have strong foundational as well as philosophical repercussions for the different sorts of physical theories as a whole; notably for the viability of hidden variable theories for quantum mechanics, for the possibility of doing experimental metaphysics, for the question of holism in physical theories, and for the classical vs. quantum dichotomy. (shrink)

The formalism of abstracted quantum mechanics is applied in a model of the generalized Liar Paradox. Here, the Liar Paradox, a consistently testable configuration of logical truth properties, is considered a dynamic conceptual entity in the cognitive sphere (Aerts, Broekaert, & Smets, [Foundations of Science 1999, 4, 115–132; International Journal of Theoretical Physics, 2000, 38, 3231–3239]; Aerts and colleagues[Dialogue in Psychology, 1999, 10; Proceedings of Fundamental Approachs to Consciousness, Tokyo ’99; Mind in Interaction]. Basically, the intrinsic contextuality of the truth-value (...) of the Liar Paradox is appropriately covered by the abstracted quantum mechanical approach. The formal details of the model are explicited here for the generalized case. We prove the possibility of constructing a quantum model of the m-sentence generalizations of the Liar Paradox. This includes (i) the truth–falsehood state of the m-Liar Paradox can be represented by an embedded 2m-dimensional quantum vector in a (2m) m -dimensional complex Hilbert space, with cognitive interactions corresponding to projections, (ii) the construction of a continuous ‘time’ dynamics is possible: typical truth and falsehood value oscillations are described by Schrödinger evolution, (iii) Kirchoff and von Neumann axioms are satisfied by introduction of ‘truth-value by inference’ projectors, (iv) time invariance of unmeasured state. (shrink)

I present a local, deterministic model of the EPR-Bohm experiment, inspired by recent work by Joy Christian, that appears at first blush to be in tension with Bell-type theorems. I argue that the model ultimately fails to do what a hidden variable theory needs to do, but that it is interesting nonetheless because the way it fails helps clarify the scope and generality of Bell-type theorems. I formulate and prove a minor proposition that makes explicit how Bell-type theorems rule out (...) models of the sort I describe here. (shrink)

Selection theory requires multiple, distinct, simultaneously-actualized states. In cognition, each thought or cognitive state changes the 'selection pressure' against which the next is evaluated; they are not simultaneously selected amongst. Creative thought is more a matter of honing in a vague idea through redescribing successive iterations of it from different real or imagined perspectives; in other words, actualizing potential through exposure to different contexts. It has been proven that the mathematical description of contextual change of state introduces a non-Kolmogorovian probability (...) distribution, and a classical formalism such as selection theory cannot be used. This paper argues that creative thought evolves not through a Darwinian process, but a process of context-driven actualization of potential. (shrink)

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

This paper consists of two parts. Firstly, we shall clarify the connections existing between Clauser-Horne's inequalities and the conditions established by Pitowsky expressing the Kolmogorovian nature of a probability vector. We shall discuss afterwards three possible interpretations of the experimental violation of these inequalities.

The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub’s thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level—at the level of its framework—that the quantum logical tradition has retained its centrality to Bub’s thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set (...) of ideas that mark a genuinely new alternative to the framework of quantum logic. These ideas are of considerable interest for the philosophy of quantum mechanics, a claim which I defend with an extended discussion of their application to our understanding of the philosophical significance of the no hidden variable theorem of Kochen and Specker. (shrink)

It is often argued that no local common cause models of EPR correlation exist. However, Szabó and Rédei pointed out that such arguments have the tacit assumption that plural correlations have the same common causes. Furthermore, Szabó showed that for EPR correlation a local common cause model in his sense exists. One of his requirements is that common cause events are statistically independent of apparatus settings on each side. However, as Szabó knows, to meet this requirement does not entail that (...) different combinations of common cause events (e.g. meet and join in lattice-theoretic terminology) are statistically independent of measurement settings. This further condition is formulated in two ways. First, the apparatus settings are completely independent of such combinations. Second, the apparatus settings on each side are independent of such combinations. Does a common cause model which meets the former and the latter respectively exist? This problem is considered. In particular, the latter version is Szabó’s and Rédei’s open problem. Negative answers are given to both versions. (shrink)

We examine the possible states of subsystems of a system of bits or qubits. In the classical case (bits), this means the possible marginal distributions of a probability distribution on a finite number of binary variables; we give necessary and sufficient conditions for a set of probability distributions on all proper subsets of the variables to be the marginals of a single distribution on the full set. In the quantum case (qubits), we consider mixed states of subsets of a set (...) of qubits; in the case of three qubits we find quantum Bell inequalities—necessary conditions for a set of two-qubit states to be the reduced states of a mixed state of three qubits. We conjecture that these conditions are also sufficient. (shrink)