This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...) real science, but also to those interested in Romanian philosophy. (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)

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

Logical limits of omnipotence, the problem of evil, and a compelling cosmological argument suggest the position of supreme providence and the foremost creation out of nothing that coheres with the constraints of physics. The Supreme Being possesses everlasting love, perception, and force while governing the universe of probabilistic processes and freewill creatures. For example, the Supreme Being intervenes in the processes of creation by the means of synergism with freewill creatures and cannot meticulously control the created universe.

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a quantum system. We argue, by proving a mathematical theorem, that they capture the essentials of this relation. Based on this, we investigate the rationale behind these conditions in the form of six physical hypotheses. Along the way, we reveal an implicit theoretical assumption in theories of physics and prove a theorem which formalizes the idea that the Superposition (...) Principle makes quantum physics different from classical physics. The work follows the paradigm of mathematical foundations of quantum theory, which I will argue by methodological reflection that it exemplifies a formal approach to analysing concepts in theories. (shrink)

It is well known that the non-orthogonality relation between the states of a quantum system is reflexive and symmetric, and the modal logic \ is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that satisfies each (...) one of these two properties and both, respectively. We also show that the modal logics involved are decidable. (shrink)

We develop a categorical scheme of interpretation of quantum event structures from the viewpoint of Grothendieck topoi. The construction is based on the existence of an adjunctive correspondence between Boolean presheaves of event algebras and Quantum event algebras, which we construct explicitly. We show that the established adjunction can be transformed to a categorical equivalence if the base category of Boolean event algebras, defining variation, is endowed with a suitable Grothendieck topology of covering systems. The scheme leads to a sheaf (...) theoretical representation of Quantum structure in terms of variation taking place over epimorphic families of Boolean reference frames. (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.

This article proposes a basic logic for application in physics dispensing with the Principle of Excluded Middle. It is based on the article “Matrix Based Logics for Application in Physics (RMQ) which appeared 2009. In his article with Stachow on the Principle of Excluded Middle in Quantum Logic (QL), Peter Mittelstaedt showed that for some suitable QLs, including their own, the Principle of Excluded Middle can be added without any harm for QL; where ‘without any harm for QL’ means that (...) the basic desiderata and the basic results (theorems) of those QLs remain satised in the sense that they avoid the well known difficulties with commensurability and distributivity.In the following article I want to show that the basic desiderata and results (theorems) of RMQ (of avoiding the well-known difficulties with commensurability, distributivity, fusion and Bell’s inequalities) remain satised if by introducing a strong negation (or strong negation and disjunction) the resulting weak intuitionist system RMQI dispenses with the Principle of Excluded Middle; it becomes either invalid or not strictly valid. (shrink)

The purpose of the paper is to show that by cleaning Classical Logic (CL) from redundancies (irrelevances) and uninformative complexities in the consequence class and from too strong assumptions (of CL) one can avoid most of the paradoxes coming up when CL is applied to empirical sciences including physics. This kind of cleaning of CL has been done successfully by distinguishing two types of theorems of CL by two criteria. One criterion (RC) forbids such theorems in which parts of the (...) consequent (conclusion) can be replaced by arbitrary parts salva validitate of the theorem. The other (RD) reduces the consequences to simplest conjunctive consequence elements. Since the application of RC and RD to CL leads to a logic without the usual closure conditions, an approximation to RC and RD has been constructed by a basic logic with the help of finite (6-valued) matrices. This basic logic called RMQ (relevance, matrix, Quantum Physics) is consistent and decidable. It distinguishes two types of validity (strict validity) and classical or material validity. All theorems of CL (here: classical propositional calculus CPC) are classically or materially valid in RMQ. But those theorems of CPC which obey RC and RD and avoid the difficulties in the application to empirical sciences and to Quantum Physics are separated as strictly valid in RMQ. In the application to empirical sciences in general the proposed logic avoids the well known paradoxes in the area of explanation, confirmation, versimilitude and Deontic Logic. Concerning the application to physics it avoids also the difficulties with distributivity, commensurability and with Bell's inequalities. (shrink)

Quantum cognition research applies abstract, mathematical principles of quantum theory to inquiries in cognitive science. It differs fundamentally from alternative speculations about quantum brain processes. This topic presents new developments within this research program. In the introduction to this topic, we try to answer three questions: Why apply quantum concepts to human cognition? How is quantum cognitive modeling different from traditional cognitive modeling? What cognitive processes have been modeled using a quantum account? In addition, a brief introduction to quantum probability (...) theory and a concrete example is provided to illustrate how a quantum cognitive model can be developed to explain paradoxical empirical findings in psychological literature. (shrink)

We present a novel approach to represent ecological systems using reaction networks, and show how a particular framework called chemical organization theory sheds new light on the longstanding complexity–stability debate. Namely, COT provides a novel conceptual landscape plenty of analytic tools to explore the interplay between structure and stability of ecological systems. Given a large set of species and their interactions, COT identifies, in a computationally feasible way, each and every sub-collection of species that is closed and self-maintaining. These sub-collections, (...) called organizations, correspond to the groups of species that can survive together in the long-term. Thus, the set of organizations contains all the stable regimes that can possibly happen in the dynamics of the ecological system. From here, we propose to conceive the notion of stability from the properties of the organizations, and thus apply the vast knowledge on the stability of reaction networks to the complexity–stability debate. As an example of the potential of COT to introduce new mathematical tools, we show that the set of organizations can be equipped with suitable joint and meet operators, and that for certain ecological systems the organizational structure is a non-boolean lattice, providing in this way an unexpected connection between logico-algebraic structures, popular in the foundations of quantum theory, and ecology. (shrink)

This paper surveys John von Neumann's work on the mathematical foundations of quantum theories in the light of Hilbert's Sixth Problem concerning the geometrical axiomatization of physics. We argue that in von Neumann's view geometry was so tied to logic that he ultimately developed a logical interpretation of quantum probabilities. That motivated his abandonment of Hilbert space in favor of von Neumann algebras, specifically the type II1II1 factors, as the proper limit of quantum mechanics in infinite dimensions. Finally, we present (...) the reasons why his axiomatic program remained an “unsolved problem” in mathematical physics. A recent unpublished result by Huzimiro Araki, proving that no algebra with a tracial state defined on it, such as the type II1II1 factors, can support any (regular) representation of the canonical commutation relations, is also reviewed and its consequences for von Neumann's projects are discussed. (shrink)

Say that metaphysical indeterminacy occurs just when there is a fact such that neither it nor its negation obtains. The aim of this work is to shed light on the issue of whether orthodox quantum mechanics provides any evidence of metaphysical indeterminacy by discussing the logical, semantic, and broadly methodological presuppositions of the debate. I argue that the dispute amounts to a verbal disagreement between classical and quantum logicians, given Eli Hirsch’s account of substantivity; but that it need not be (...) so if Ted Sider’s naturalness-based account of substantivity is adopted instead. Given the latter approach, can anything be said in order to tip the balance of the dispute either way? Some prima facie reasonable constraints on naturalness entail that the classicist is right, and the quantum world is therefore determinate. Nevertheless, there are reasons for weakening those constraints, to the effect that the dispute remains very much open. Finally, I discuss alternative accounts of metaphysical indeterminacy, and argue that they are unsuitable for framing the quantum indeterminacy debate. (shrink)

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

The logical structure derived from the algebra of generalised projection operators on a module is investigated. With the assumption of the operators being linear, the associated logic becomes Boolean, while without the assumption, the logic does not admit negation: the concept of linearity of projection operators on a module corresponds to that of negation in Boolean logic. The logic of nonlinear operators is formalised and its soundness and completeness results are proved.

A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the _and-then_ operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given as a (...) procedure for deriving a final segment of a series of yes-no experiments. (shrink)

The paper argues against an intuitive reading of the Stone-von Neumann theorem as a categoricity result, thereby pointing out that this theorem does not entail any model-theoretical difference between the theories that validate it and those that don't.

The logical structure of quantum gravity is addressed in the framework of the so-called manifestly covariant approach. This permits to display its close analogy with the logics of quantum mechanics. More precisely, in QG the conventional 2-way principle of non-contradiction holding in Classical Mechanics is shown to be replaced by a 3-way principle. The third state of logical truth corresponds to quantum indeterminacy/undecidability, i.e., the occurrence of quantum observables with infinite standard deviation. The same principle coincides, incidentally, with the earlier (...) one shown to hold in Part I, in analogous circumstances, for QM. However, this conclusion is found to apply only provided a well-defined manifestly-covariant theory of the gravitational field is adopted both at the classical and quantum levels. Such a choice is crucial. In fact it makes possible the canonical quantization of the underlying unconstrained Hamiltonian structure of general relativity, according to an approach recently developed by Cremaschini and Tessarotto. Remarkably, in the semiclassical limit of the theory, Classical Logic is proved to be correctly restored, together with the validity of the conventional 2-way principle. (shrink)

The Greenberger–Horne–Zeilinger argument against noncontextual local hidden variables is recast in quantum logical terms of fundamental propositions, states and probabilities. Unlike Kochen–Specker- and Hardy-like configurations, this operator based argument proceeds within four nonintertwining contexts. The nonclassical performance of the GHZ argument is due to the choice or filtering of observables with respect to a particular state. We study the varieties of GHZ games one could play in these four contexts, depending on the chosen state of the GHZ basis.

Summary In this report on the present state of the discussion about the interpretation of quantum mechanics an attempt is made to provide an idea of the philosophical relevance of the foundations of physics. A simplified model of the measuring process is given which shows the difficulties in the interpretation of quantum mechanics. It is argued against Bohr's solution (also in a version of H. Putnam). Two examples show possible philosophical consequences of quantum mechanics: The variety of quantum logics challenges (...) the foundations of logic, the paradox of Einstein, Podolsky and Rosen (with Bell's inequality) may be interpreted along the lines of holism. Against alleged refutations of realism by means of quantum mechanics, a realist standpoint is maintained. A proper interpretation of quantum mechanics from an epistemological point of view seems still to be lacking. (shrink)

We present a conceptual analysis of the notions of actual physical property and potential physical property as used by theoretical physicists/mathematicians working in the domain of operational quantum logic. We investigate how these notions are being used today and what role they play in the specified field of research. In order to do so, we will give a brief introduction to this area of research and explain it as a part of the discipline known as “mathematical metascience”. An in depth (...) analysis of Aristotle’s use of the notions of “actuality” and “potentiality” is presented in order to point out exactly how much of the Aristotelian connotations are embedded in the contemporary use of the concepts under investigation. Although we will not focus in depth on all the drawbacks in the early historical development of physics due to the overwhelming influence of Aristotle’s writings, our analysis does touch upon some aspects of the Aristotelian theory of movement that are often overthrown nowadays. (shrink)

In the literature the work of C. Piron on OQL, “the operational quantum logic of the Geneva School”, has a few times been criticised. Those criticisms were often due to misunderstandings, as has already been pointed out in [19]. In this paper we follow the line of defense in favour of OQL by replying to the criticisms formulated some time ago in [4] and [17]. In order for the reader to follow our argumentation, we briefly analyze the basic conceptual machinery (...) of OQL. (shrink)

The number of independent messages a physical system can carry is limited by the number of its adjustable properties. In particular, systems with only one adjustable property cannot carry more than a single message at a time. We demonstrate that this is true for the photons in the double-slit experiment, and that this is what leads to the fundamental limit on measuring the complementary aspect of the photons. Next, we illustrate that systems with a single adjustable property exhibit other quantum (...) behaviors, such as noncommutativity and no-cloning. Finally, we formulate a mathematical theory to describe the dynamics of such systems and derive the standard Hilbert space formalism of quantum mechanics as well as the Born probability rule. Our derivation demonstrates the physical foundation of quantum theory. (shrink)

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)

In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value. Is a non-circular justification of a logical system possible? This question attains particular importance in view of lasting controversies about classical versus non-classical logics. In this paper the question is answered positively, based on meaning-preserving translations between logical systems. It is demonstrated that major systems of non-classical logic, including multi-valued, paraconsistent, intuitionistic and quantum logics, (...) can be translated into classical logic by introducing additional intensional operators into the language. Based on this result it is argued that classical logic is representationally optimal. In sec. 6 it is investigated whether non-classical logics can be likewise representationally optimal. The answer is predominantly negative but partially positive. Nevertheless the situation is not symmetric, because classical logic has important ceteris paribus advantages as a unifying metalogic. (shrink)

The purpose of this article is threefold. Firstly, it aims to present, in an educational and non-technical fashion, the main ideas at the basis of Aerts’ creation-discovery view and hidden measurement approach : a fundamental explanatory framework whose importance, in this author’s view, has been seriously underappreciated by the physics community, despite its success in clarifying many conceptual challenges of quantum physics. Secondly, it aims to introduce a new quantum machine—that we call the δ quantum machine —which is able to (...) reproduce the transmission and reflection probabilities of a one-dimensional quantum scattering process by a Dirac delta-function potential. The machine is used not only to demonstrate the pertinence of the above mentioned explanatory framework, in the general description of physical systems, but also to illustrate (in the spirit of Aerts’ ∊-model) the origin of classical and quantum structures, by revealing the existence of processes which are neither classical nor quantum, but irreducibly intermediate. We do this by explicitly introducing what we call the k-model and by proving that its processes cannot be modelized by a classical or quantum scattering system. The third purpose of this work is to exploit the powerful metaphor provided by our quantum machine, to investigate the intimate relation between the concept of potentiality and the notion of non-spatiality , that we characterize in precise terms, introducing for this the new concept of process-actuality. (shrink)

L-effect algebras are introduced as a class of L-algebras which specialize to all known generalizations of effect algebras with a \-semilattice structure. Moreover, L-effect algebras X arise in connection with quantum sets and Frobenius algebras. The translates of X in the self-similar closure S form a covering, and the structure of X is shown to be equivalent to the compatibility of overlapping translates. A second characterization represents an L-effect algebra in the spirit of closed categories. As an application, it is (...) proved that every lattice effect algebra is an interval in a right \-group, the structure group of the corresponding L-algebra. A block theory for generalized lattice effect algebras, and the existence of a generalized OML as the subalgebra of sharp elements are derived from this description. (shrink)

Facts happen at every interaction, but they are not absolute: they are relative to the systems involved in the interaction. Stable facts are those whose relativity can effectively be ignored. In this work, we describe how stable facts emerge in a world of relative facts and discuss their respective roles in connecting quantum theory and the world. The distinction between relative and stable facts resolves the difficulties pointed out by the no-go theorem of Frauchiger and Renner, and is consistent with (...) the experimental violation of the Local Friendliness inequalities of Bong et al.. Basing the ontology of the theory on relative facts clarifies the role of decoherence in bringing about the classical world and solves the apparent incompatibility between the ‘linear evolution’ and ‘projection’ postulates. (shrink)

An adequate conjunction-implication pair is given for complete orthomodular lattices. The resulting conjunction is noncommutative in nature. We use the well-known lattice of closed subspaces of a Hilbert space, to give physical meaning to the given lattice operation.

There are two prominent viewpoints regarding the nature of rationality and how it should be evaluated in situations of interest: the traditional axiomatic approach and the newer ecological rationality. An obstacle to comparing and evaluating these seemingly opposite approaches is that they employ different language and formalisms, ask different questions, and are at different stages of development. I adapt a formal framework known as SCOP to address this problem by providing a comprehensive common framework in which both approaches may be (...) defined and compared. The main result is that the axiomatic and ecological approaches are in far greater agreement on fundamental issues than has been appreciated; this is supported by a pair of theorems to the effect that they will make accordant rationality judgements when forced to evaluate the same situation. I conclude that ecological rationality has some subtle advantages, but that we should move past the issues currently dominating the discussion of rationality. (shrink)

The projection latticesP(ℳ1),P(ℳ2) of two von Neumann subalgebras ℳ1, ℳ2 of the von Neumann algebra ℳ are defined to be logically independent if A ∧ B≠0 for any 0≠AεP(ℳ1), 0≠BP(ℳ2). After motivating this notion in independence, it is shown thatP(ℳ1),P(ℳ2) are logically independent if ℳ1 is a subfactor in a finite factor ℳ andP(ℳ1),P(ℳ2 commute. Also, logical independence is related to the statistical independence conditions called C*-independence W*-independence, and strict locality. Logical independence ofP(ℳ1,P(ℳ2 turns out to be equivalent to the (...) C*-independence of (ℳ1,ℳ2) for mutually commuting ℳ1,ℳ2 and it is shown that if (ℳ1,ℳ2) is a pair of (not necessarily commuting) von Neumann subalgebras, thenP(ℳ1,P(ℳ2 are logically independent in the following cases: ℳ is a finite-dimensional full-matrix algebra and ℳ1,ℳ2 are C*-independent; (ℳ1,ℳ2) is a W*-independent pair; ℳ1,ℳ2 have the property of strict locality. (shrink)

In the paper it is shown that every physically sound Birkhoff - von Neumann quantum logic, i.e., an orthomodular partially ordered set with an ordering set of probability measures can be treated as partial infini te-valued Lukasiewicz logic, which unifies two competing approaches: the many-valued, and the two-valued but non-distributive, which have co-existed in the quantum logic theory since its very beginning.

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)

Starting with a quantum logic (a σ-orthomodular poset) L. a set of probabilistically motivated axioms is suggested to identify L with a standard quantum logic L(H) of all closed linear subspaces of a complex, separable, infinite-dimensional Hilbert space.

Can the axioms of probability theory and the classical patterns of statistical inference ever be falsified by observation? Various possible answers to this question are examined in a set theoretical context and in relation to the findings of microphysics.

In the mid-nineteenth century George Boole formulated his ‘conditions of possible experience’. These are equations and ineqaulities that the relative frequencies of events must satisfy. Some of Boole's conditions have been rediscovered in more recent years by physicists, including Bell inequalities, Clauser Horne inequalities, and many others. In this paper, the nature of Boole's conditions and their relation to propositional logic is explained, and the puzzle associated with their violation by quantum frequencies is investigated in relation to a variety of (...) approaches to the interpretation of quantum mechanics. * While preparing this paper for publication I have learnt of the untimely death of Professor J. S. Bell, and I wish to dedicate the paper to his memory. This research was undertaken while I spent a sabbatical leave at Wolfson College, and the History and Philosophy of Science Department at the University of Cambridge. I would like to thank Michael Redhead and Jeremy Butterfield for their hospitality and for helpful discussions. A first draft of this paper has been distributed among the participants of the conference 'Einstein in Context' which was held in Israel, in April 1990.1 have benefited from the comments of many colleagues. I would like to thank in particular Arthur Fine who enlightened me on the prism models, David Albert. Maya Bar-Hillel. Yemima Ben-Menachem, Mara Beller. Simon Saunders, and Mark Steiner. This research is partially supported by the Edelstein Center for the History and Philosophy of Science at the Hebrew University. (shrink)

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)