The book discusses philosophical and logical problems of quantum physics and its interpretations. Emphasis lies on the compatibility of quantum physics with classical logic and various ontological stances.

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes (...) into account contradiction, as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

The work of the Brussels-Austin groups on irreversibility over the last years has shown that Quantum Large Poincaré systems with diagonal singularity lead to an extension of the conventional formulation of dynamics at the level of mixtures which is manifestly time asymmetric. States with diagonal singularity acquire meaning as linear fractionals over the involutive Banach algebra of operators with diagonal singularity. We show in this paper that the logic of quantum systems with diagonal singularity is not the (...) conventional logic of Hilbert space, because only finite combinations of prepositions are allowed. (shrink)

§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, and then tested by experiment, and this requires it to be expressed in a language appropriate for making precise, empirically testable predictions. That language is mathematics.This in turn constitutes a statement about what the physical world must be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is written in the (...) language of mathematics”. Galileo's introduction of mathematically formulated, testable theories into physics marked the transition from the Aristotelian conception of physics, resting on supposedly necessary a priori principles, to its modern status as a theoretical, conjectural and empirical science. Instead of seeking an infallible universal mathematical design, Galilean science usesmathematics to express quantitative descriptions of an objective physical reality. Thus mathematics became the language in which we express our knowledge of the physical world — a language that is not only extraordinarily powerful and precise, but also effective in practice. Eugene Wigner referred to “the unreasonable effectiveness of mathematics in the physical sciences”. But is this effectiveness really unreasonable or miraculous?Numbers, sets, groups and algebras have an autonomous reality quite independent of what the laws of physics decree, and the properties of these mathematical structures can be just as objective as Plato believed they were. (shrink)

This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event (...) algebra is nearly Boolean and consists merely of ordered pairs of standard events or propositions, quantum events and the so-called “superpositions” of states need not be mysterious, and are here fully explicated. Conditional event algebra nicely explains these non-standard “superpositions” of quantum states as conjunctions or disjunctions of conditional events, Boolean fractions, but does not address the so-called “entanglement phenomena” of quantum mechanics, which remain physically mysterious. Nevertheless, separating the latter phenomena from superposition issues adds clarity to the interpretation of quantum entanglement, the phenomenon of influence propagated at faster than light speeds. With such treacherous possibilities present in all quantum situations, an observer has every reason to be completely explicit about the environmental–instrumental configuration, the conditions present when attempting quantum measurements. Conditional event algebra allows such explication without the physical and algebraic remoteness of Hilbert space. (shrink)

It is supposed that any scientific theory (here we consider physical theories only) has an underlying logic, even if it is not made explicit. The role of the underlying logic of a theory T is mainly to guide the proofs and the accepted consequences of the theory’s principles, usually described by its axioms. In this sense, the theorems of the underlying logic are also theorems of the theory. In most cases, if pressed, the scientist will say that (...) the underlying logic of most physical theories is classical logic or some fragment of a set theory suitable for accommodating the theory’s mathematical and logical concepts. We argue that no physical theory and no philosophical discussion on the basis of the theory should dismiss its underlying logic, so the arguments advanced by some philosophers of physics in that certain entities (the considered case deals with quantum entities) can be only weakly discerned or be just ‘relationals’ and that they cannot be absolutely identified by a monadic property, are fallacious if one remains within a ‘standard’ logico-mathematical framework, grounded on classical logic. We also discuss the claim that some properties (as those that came from logic) would be ‘illegitimate’ for discerning these entities is not justifiable. Thus, this paper may be interesting for logicians, physicists, and philosophers. (shrink)

The question of which is the logic that underlies quantum physics does not have an absolute answer, but only in relation to a conventional choice of interpretation . Most of the interpretations that have been offered work within the framework of classical logic. In contrast to these, we examine the corpuscular interpretation which is assumed in the application of non-distributive logic . The experiment in which single photons pass through a Mach-Zehnder interferometer is examined, indicating (...) the difficulty of employing a realist corpuscular interpretation in this context. One way to save this interpretation would be to use non-distributive logic to analyze the experiment, but this is not satisfactory . However, the use of an alethic modal logic solves the problem, blocking the argument that put the aforementioned corpuscular interpretation into difficulty. In the discussion of the conceptual problems involved, we suggest that a stochastic corpuscular interpretation is well adapted to this logical description. The project of extending this modal logical approach to other experiments in quantum physics, and of providing a rigorous logical treatment, is left open. (shrink)

The suggestion that particles of the same kind may be indistinguishable in a fundamental sense, even so that challenges to traditional notions of individuality and identity may arise, has first come up in the context of classical statistical mechanics. In particular, the Gibbs paradox has sometimes been interpreted as a sign of the untenability of the classical concept of a particle and as a premonition that quantum theory is needed. This idea of a ‘quantum connection’ stubbornly persists in (...) the literature, even though it has also been criticized frequently. Here we shall argue that although this criticism is justified, the proposed alternative solutions have often been wrong and have not put the paradox in its right perspective. In fact, the Gibbs paradox is unrelated to fundamental issues of particle identity; only distinguishability in a pragmatic sense plays a role , and in principle the paradox always is there as long as the concept of a particle applies at all. In line with this we show that the paradox survives even in quantum mechanics, in spite of the quantum mechanical symmetrization postulates. (shrink)

§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, and then tested by experiment, and this requires it to be expressed in a language appropriate for making precise, empirically testable predictions. That language is mathematics.This in turn constitutes a statement about what the physical world must be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is written in the (...) language of mathematics”. Galileo's introduction of mathematically formulated, testable theories into physics marked the transition from the Aristotelian conception of physics, resting on supposedly necessary a priori principles, to its modern status as a theoretical, conjectural and empirical science. Instead of seeking an infallible universal mathematical design, Galilean science usesmathematics to express quantitative descriptions of an objective physical reality. Thus mathematics became the language in which we express our knowledge of the physical world — a language that is not only extraordinarily powerful and precise, but also effective in practice. Eugene Wigner referred to “the unreasonable effectiveness of mathematics in the physical sciences”. But is this effectiveness really unreasonable or miraculous?Numbers, sets, groups and algebras have an autonomous reality quite independent of what the laws of physics decree, and the properties of these mathematical structures can be just as objective as Plato believed they were (and as Roger Penrose now advocates). (shrink)

We ponder the question whether quantum physics has had any influence on philosophy, and if not, whether it ought to have had any. Answers to these questions are provided, and they turn out to depend on which branch of the tree of philosophy we sweep, sway and swing, and even which twig of the branch we touch when we sweep, sway and swing.

John von Neumann (1903-1957) was undoubtedly one of the scientific geniuses of the 20th century. The main fields to which he contributed include various disciplines of pure and applied mathematics, mathematical and theoretical physics, logic, theoretical computer science, and computer architecture. Von Neumann was also actively involved in politics and science management and he had a major impact on US government decisions during, and especially after, the Second World War. There exist several popular books on his personality and (...) various collections focusing on his achievements in mathematics, computer science, and economy. Strangely enough, to date no detailed appraisal of his seminal contributions to the mathematical foundations of quantum physics has appeared. Von Neumann's theory of measurement and his critique of hidden variables became the touchstone of most debates in the foundations of quantum mechanics. Today, his name also figures most prominently in the mathematically rigorous branches of contemporary quantum mechanics of large systems and quantum field theory. And finally - as one of his last lectures, published in this volume for the first time, shows - he considered the relation of quantum logic and quantum mechanical probability as his most important problem for the second half of the twentieth century. The present volume embraces both historical and systematic analyses of his methodology of mathematical physics, and of the various aspects of his work in the foundations of quantum physics, such as theory of measurement, quantum logic, and quantum mechanical entropy. The volume is rounded off by previously unpublished letters and lectures documenting von Neumann's thinking about quantum theory after his 1932 Mathematical Foundations of Quantum Mechanics. The general part of the Yearbook contains papers emerging from the Institute's annual lecture series and reviews of important publications of philosophy of science and its history. (shrink)

The theory of Lebesgue and Sobolev spaces with variable integrability is experiencing a steady expansion, and is the subject of much vigorous research by functional analysts, function-space analysts and specialists in nonlinear analysis. These spaces have attracted attention not only because of their intrinsic mathematical importance as natural, interesting examples of non-rearrangement invariant function spaces but also in view of their applications, which include the mathematical modeling of electrorheological fluids and image restoration.The main focus of this book is to provide (...) a solid functional analytic background for the study of differential operators on spaces with variable integrability. It includes some novel stability phenomena which the authors have recently discovered.At the present time, this is the only book which focuses systematically on differential operators on spaces with variable integrability. The authors present a concise, natural introduction to the basic material and steadily move toward differential operators on these spaces, leading the reader quickly to current research topics. (shrink)

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)

One of the most challenging and fascinating issue in mathematical and theoretical physics concerns the possibility of identifying the logic underlying the so-called quantum universe, i.e., Quantum Mechanics and Quantum Gravity. Besides the sheer difficulty of the problem, inherent in the actual formulation of Quantum Mechanics—and especially of Quantum Gravity—to be used for such a task, a crucial aspect lies in the identification of the appropriate axiomatic logical proposition calculus to be associated to (...) such theories. In this paper the issue of the validity of the conventional principle of non-contradiction is called into question and is investigated in the context of non-relativistic Quantum Mechanics. In the same framework a modified form of the principle, denoted as 3-way PNC is shown to apply, which relates the axioms of quantum logic with the physical requirements placed by the Heisenberg Indeterminacy Principle. (shrink)

This essay provides a short introduction to the ideas and potential implications of quantum physics for scholars in the arts, humanities, and social sciences. Quantum-inspired ideas pepper current discourse in all of these fields, in ways that range from playful metaphors to sweeping ontological claims. We explain several of the most important concepts at the core of quantum theory, carefully delineating the scope and bounds of currently established science, in order to aid the evaluation of such (...) claims. In particular, we emphasize that the smallest units of matter and light, as described in quantum physics, are not things, meaning that they do not obey the logic we take for granted when discussing the behavior of macroscopic objects. We also highlight the substantial debate that exists within physics about the interpretation of the equations and empirical results at the core of quantum physics, noting that implicit philosophical commitments necessarily accompany any discussion of quantum ideas that takes place in non-technical language. (shrink)

This book provides an interdisciplinary approach to one of the most fascinating and important open questions in science: What is quantum mechanics really talking about? In the last decades quantum mechanics has given rise to a new quantum technological era, a revolution taking place today especially within the field of quantum information processing; which goes from quantum teleportation and cryptography to quantum computation. Quantum theory is probably our best confirmed physical theory. However, in (...) spite of its great empirical effectiveness it stands today still without a universally accepted physical representation that allows us to understand its relation to the world and reality. The novelty of the book comes from the multiple perspectives put forward by top researchers in quantum mechanics, from Europe as well as North and South America, discussing the meaning and structure of the theory of quanta. The book comprises in a balanced manner physical, philosophical, logical and mathematical approaches to quantum mechanics and quantum information. Going from quantum superpositions and entanglement to dynamics and the problem of identity; from quantum logic, computation and quasi-set theory to the category approach and teleportation; from realism and empiricism to operationalism and instrumentalism; the book considers from different angles some of the most intriguing questions in the field. From Buenos Aires to Brussels and Cagliari, from Florence to Florianópolis, the interaction between different groups is reflected in the many different articles. This book is interesting not only to the specialists but also to the general public attempting to get a grasp on some of the most fundamental questions of present quantum physics. (shrink)

Quantum Theory and the Schism in Physics is one of the three volumes of Karl Popper’s Postscript to the Logic of scientific Discovery . The Postscript is the culmination of Popper’s work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science. Quantum Theory and the Schism in Physics is the third volume of the Postscript . It may be read independently, but it also forms part of (...) Popper’s interconnected argument in the Postscript . It presents Popper’s classic statement on quantum physics and offers important insights into his thinking on problems of method within science and physics as a whole. (shrink)

_Quantum Theory and the Schism in Physics_ is one of the three volumes of Karl Popper’s _Postscript to the Logic of scientific Discovery_. The_ Postscript_ is the culmination of Popper’s work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science. Quantum Theory and the Schism in Physics is the third volume of the _Postscript_. It may be read independently, but it also forms part of Popper’s interconnected argument in (...) the _Postscript_. It presents Popper’s classic statement on quantum physics and offers important insights into his thinking on problems of method within science and physics as a whole. (shrink)

72 1024x768 This paper presents evidence from the fields of cognitive science and quantum information theory suggesting quantum theory to be the dominant fundamental logic in the natural world, in direct challenge to the long-held assumption that quantum logic only need be considered ‘in the quantum realm.' A summary of the evolution of quantum logic and quantum theory is presented, along with an overview for the necessity of incomplete quantum knowledge, (...) and some representative aspects of quantum logic. A case can be made that classical logic and theory is a subset of quantum logic and theory, given that elements of quantum physics exist that can never admit classical understanding, including: Bell's theorem, Hardy's theorem, and the Pusey-Barrett-Rudolph theorem. Support can be found for the primacy of quantum logic in the natural world in the cognitive sciences, where recent research studies recognize quantum logic in studies of: the subconscious, decisions involving unknown interconnected variables, memory, and question sequencing. Normal 0 false false false EN-US X-NONE X-NONE. (shrink)

In this work we present a dynamical approach to quantum logics. By changing the standard formalism of quantum mechanics to allow non-Hermitian operators as generators of time evolution, we address the question of how can logics evolve in time. In this way, we describe formally how a non-Boolean algebra may become a Boolean one under certain conditions. We present some simple models which illustrate this transition and develop a new quantum logical formalism based in complex spectral resolutions, (...) a notion that we introduce in order to cope with the temporal aspect of the logical structure of quantum theory. (shrink)

This book provides an interdisciplinary perspective on one of the most fascinating and important open questions in science: What is quantum mechanics talking about? Quantum theory is perhaps our best confirmed physical theory. However, despite its great empirical effectiveness and the subsequent technological developments that it gave rise to in the 20th century, from the interpretation of the periodic table of elements to CD players, holograms and quantum state teleportation, it stands even today without a universally accepted (...) interpretation. The novelty of the book comes from the multiple viewpoints and subjects investigated by a group of researchers from Europe and North and South America. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

_Quantum Theory and the Schism in Physics_ is one of the three volumes of Karl Popper’s _Postscript to the Logic of scientific Discovery_. The_ Postscript_ is the culmination of Popper’s work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science. Quantum Theory and the Schism in Physics is the third volume of the _Postscript_. It may be read independently, but it also forms part of Popper’s interconnected argument in (...) the _Postscript_. It presents Popper’s classic statement on quantum physics and offers important insights into his thinking on problems of method within science and physics as a whole. (shrink)

_Quantum Theory and the Schism in Physics_ is one of the three volumes of Karl Popper’s _Postscript to the Logic of scientific Discovery_. The_ Postscript_ is the culmination of Popper’s work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science. Quantum Theory and the Schism in Physics is the third volume of the _Postscript_. It may be read independently, but it also forms part of Popper’s interconnected argument in (...) the _Postscript_. It presents Popper’s classic statement on quantum physics and offers important insights into his thinking on problems of method within science and physics as a whole. (shrink)

The logic of quantum physical propositions can be established by means of dialogs which take account of the general incommensurability of these propositions. Investigated first are meta-propositions which state the formal truth of object-propositions. It turns out that the logic of these meta-propositions is equivalent to ordinary logic. A special class of meta-propositions which state the material truth of object-propositions may be considered as quantum logical modalities. It is found that the logic of these (...) modalities contains all the quantum logical restrictions and thus differs essentially from the modal calculi of ordinary logic. (shrink)

An attempt is made to include the axioms of Mackey for probabilities of experiments in quantum mechanics into the calculus x0 of ukasiewicz. The obtained calculusQ contains an additional modal signQ and four modal rules of inference. The propositionQx is read x is confirmed. The most specific rule of inference may be read: for comparable observations implication is equivalent to confirmation of material implication.The semantic truth ofQ is established by the interpretation with the help of physical objects obeying to (...) the rules of quantum mechanics. The embedding of the usual quantum propositional logic inQ is accomplished. (shrink)

This chapter is offered as a contribution to the logic of down below. We attempt to demonstrate that the nature of human agency necessitates that there actually be such a logic. The ensuing sections develop the suggestion that cognition down below has a structure strikingly similar to the physical structure of quantum states. In its general form, this is not an idea that originates with the present authors. It is known that there exist mathematical models from the (...) cognitive science of cognition down below that have certain formal similarities to quantum mechanics. We want to take this idea seriously. We will propose that the subspaces of von Neumann-Birkhoff lattices are too crisp for modelling requisite cognitive aspects in relation to subsymbolic logic. Instead, we adopt an approach which relies on projections into nonorthogonal density states. The projection operator is motivated from cues which probe human memory. (shrink)

Quantum theory has played a significant role in modern philosophy both as a source of metaphysical ideas and as an important example of a 'scientific revolution'. In spite of the sixty or so years that have elapsed since its invention, a long lasting controversy concerning the interpretation and meaning of quantum theory prevails. Almost all authors, however, seem to agree on one major point, namely, that there could be no interpretation of this theory which is both realistic and (...) local. ;The purpose of this thesis is to demonstrate that this premiss is false and that a realistic, local and deterministic interpretation of quantum theory does exist, provided that we extend the classical concept of probability. ;In order to establish this a 'quasi classical' probability theory is developed based on some non Lebesgue measurable 'events', which is then applied to account for spin-statistics. Finally I note how this model reflects on the problems of physical realism, locality, the status of probability theory and the philosophical foundations of mathematics. (shrink)

In The Logic of Life, François Jacob reconstructed the history of heredity from the seventeenth century to the present, emphasizing the role of physics in the development of biology. Quantum mechanics provided questions, methods, and techniques to molecular biologists. In the 1960s, physics also provided the organizational model. Jacob worked on the creation of the European Molecular Biology Laboratory, on the model of CERN (European Organization for Nuclear Research). I argue that reflection on the relation between (...) molecular biology and physics played a part in the making of The Logic of Life. Between the mid-1960s and the early 1970s, Jacob focused on relations between the “genealogy” of his molecular biology work and the development of physics at scientific, institutional, and historical levels. He thus brought molecular biology to the attention of a larger public, following the history of the Institut Pasteur, whose public mission had to be reaffirmed to grant its survival. With The Logic of Life, Jacob became an influential intellectual who engaged with scholars in human sciences. He promoted his view of the development of molecular biology as a model for a possible new discipline: bioanthropology. (shrink)

The use of probability theory is widespread in our daily life as well as in scientific theories. In virtually all cases, calculations can be carried out within the framework of classical probability theory. A special exception is given by quantum mechanics, which gives rise to a new probability theory: quantum probability theory. This dissertation deals with the question of how this formalism can be understood from a philosophical and physical perspective. The dissertation is divided into three parts. In (...) the first part, the formalism of quantum probability theory and its relation to quantum mechanics is presented. The second part considers the possibility of reformulating quantum probability theory to embed it within classical probability. Mathematically, this possibility overlaps with the possibility of the existence of hidden variables theories of quantum mechanics: theories that attempt to solve fundamental problems in quantum mechanics by introducing additional physical properties of systems. The conclusion of this part is that, although classical reformulations of quantum probability theory are formally possible, they offer little insight into the formalism of quantum probability theory itself. The third part regards a more direct investigation of quantum probability theory. A reformulation of quantum probability theory is obtained by constructing a quantum logic on the basis of empirical non-probabilistic predictions of quantum mechanics. In this reformulation quantum probability functions are conditional probability functions on an algebra of propositions about measurements and measurement outcomes. (shrink)

Within the traditional Hilbert space formalism of quantum mechanics, it is not possible to describe a particle as possessing, simultaneously, a sharp position value and a sharp momentum value. Is it possible, though, to describe a particle as possessing just a sharp position value (or just a sharp momentum value)? Some, such as Teller, have thought that the answer to this question is No - that the status of individual continuous quantities is very different in quantum mechanics than (...) in classical mechanics. On the contrary, I shall show that the same subtle issues arise with respect to continuous quantities in classical and quantum mechanics; and that it is, after all, possible to describe a particle as possessing a sharp position value without altering the standard formalism of quantum mechanics. (shrink)

This book discusses the basic foundations of theoretical biology. Contrary to the objects of theoretical physics, the biological object contains a kind of ontological duality and refers to a fundamental wholeness of a living system. The rational interpretation of wholeness is considered by the author as a true basis for fundamental principles of development of theoretical biology and for understanding its link to physics, to psychology, and to semiotics. The rational holistic approach in application to theoretical biology can (...) be substantiated through the clarification of internal logic of organization and description of biological systems. This logic will provide an understanding of the place of life in the Universe. The main goal of this book is to introduce the view that in the potentially infinite system of human knowledge, a proper clarification of the place of Man in the Universe is possible only via understanding of the phenomenon of life. (Imprint: Nova Biomedical). (shrink)

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract (...) setup through the concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

The logic of quantum mechanical propositions—called quantum logic—is constructed on the basis of the operational foundation of logic. Some obvious modifications of the operational method, which come from the incommensurability of the quantum mechanical propositions, lead to the effective quantum logic. It is shown in this paper that in the framework of a calculization of this effective quantum logic the negation of a proposition is uniquely defined (Theorem I), and that (...) a weak form of the quasimodular law can be derived (Theorem II). Taking account of the definiteness of truth values for quantum mechanical propositions, the calculus of full quantum logic can be derived (Theorem III). This calculus represents an orthocomplemented quasimodular lattice which has as a model the lattice of subspaces of Hilbert space. (shrink)

Due to its extraordinary predictive power and the great generality of its mathematical structure, quantum theory is able, at least in principle, to describe all the microscopic and macroscopic properties of the physical world, from the subatomic to the cosmological level. Nevertheless, ever since the Copen hagen and Gottingen schools in 1927 gave it the definitive formu lation, now commonly known as the orthodox interpretation, the theory has suffered from very serious logical and epistemologi cal problems. These shortcomings were (...) immediately pointed out by some of the principal founders themselves of quantum theory, to wit, Planck, Einstein, Ehrenfest, Schrodinger, and de Broglie, and by the philosopher Karl Popper, who assumed a position of radical criticism with regard to the standard formulation of the theory. The aim of the participants in the workshop on Open Questions in Quantum Physics, which was held in Bari (Italy), in the Department of Physics of the University, during May 1983 and whose Proceedings are collected in the present volume, accord ingly was to discuss the formal, the physical and the epistemo logical difficulties of quantum theory in the light of recent crucial developments and to propose some possible resolutions of three basic conceptual dilemmas, which are posed respectively ~: (a) the physical developments of the Einstein-Podolsky-Rosen argument and Bell's theorem, i. e. (shrink)

One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. (...) Thus that mapping establishes a fundamentally philosophical correspondence between the physical world and universal logic by the meditation of a special and fundamental structure, that of Hilbert space, and therefore, between quantum mechanics and logic by mathematics. Furthermore, Hilbert space can be interpreted as the free variable of "quantum information" and any point in it, as a value of the same variable as "bound" already axiom of choice. (shrink)

Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum (...) theory require us to abandon classical logic and whether quantum logic can resolve the paradoxes produced by quantum mechanics. He argues that quantum logic does not dispose of the problems faced by classical logic, that no reasonable interpretation of quantum mechanics in terms of 'hidden variables' can be found, and that after all these years quantum mechanics remains a mystery to us. Particles and Paradoxes provides a much-needed and valuable introduction to the philosophy of quantum mechanics and, at the same time, an example of just what it is to do the philosophy of physics. (shrink)

Gödel’s incompleteness applies to any system with recursively enumerable axioms and rules of inference. Chaitin’s approach to Gödel’s incompleteness relates the incompleteness to the amount of information contained in the axioms. Zurek’s quantum Darwinism attempts the physical description of the universe using information as one of its major components. The capacity of quantum Darwinism to describe quantum measurement in great detail without requiring ad-hoc non-unitary evolution makes it a good candidate for describing the transition from quantum (...) to classical. A baby-universe diffusion model of cosmic inflation is analyzed using quantum Darwinism. In this model cosmic inflation can be approximated as Brownian motion of a quantum field, and quantum Darwinism implies that molecular interaction during Brownian motion will make the quantum field decohere. The quantum Darwinism approach to decoherence in the baby-universe cosmic-inflation model yields the decoherence times of the baby-universes. The result is the equation relating the baby-universe’s decoherence time with the Hubble parameter, and that the decoherence time is considerably shorter than the cosmic inflation period. (shrink)

Because intelligent agents employ physically embodied cognitive systems to reason about the world, their cognitive abilities are constrained by the laws of physics. Scientists have used digital computers to develop and validate theories of physically embodied cognition. Computational theories of intelligence have advanced our understanding of the nature of intelligence and have yielded practically useful systems exhibiting some degree of intelligence. However, the view of cognition as algorithms running on digital computers rests on implicit assumptions about the physical world (...) that are incorrect. Recently, the view is emerging of computing systems as goal-directed agents, evolving during problem solving toward improved world models and better task performance. A full realization of this vision requires a new logic for computing that incorporates learning from experience as an intrinsic part of the logic, and that permits full exploitation of the quantum nature of the physical world. This paper proposes a theory of physically embodied cognitive agents founded upon first-order logic, Bayesian decision theory, and quantum physics. An abstract architecture for a physically embodied cognitive agent is presented. The cognitive aspect is represented as a Bayesian decision theoretic agent; the physical aspect is represented as a quantum process; and these aspects are related through von Neumann’s principle of psycho-physical parallelism. Alternative metaphysical positions regarding the meaning of quantum probabilities and the role of efficacious choices by agents are discussed in relation to the abstract agent architecture. The concepts are illustrated with an extended example from the domain of science fiction. (shrink)

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical (...) interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence. (shrink)

Although Wittgenstein’s influence on logic and foundations of mathematics is well recognized, nonetheless, his legacy concerning other sciences is much less elucidated, and in this article we aim at shedding new light on physics, artificial intelligence, and cognitive science from a Wittgensteinian perspective. We focus upon three issues amongst other things: the Chosmky versus Norvig debate on the nature of language; a Neo-Kantian parallelism between Bohr’s philosophy of physics and Hilbert’s philosophy of mathematics; the relationships between cognitive (...) contextuality and physical contextuality as shown by recent Bell-type results. The Chosmky versus Norvig debate may be seen as a battle between Wittgenstein’s earlier and later conceptions of meaning, i.e., picture theory and use theory. From a Wittgensteinian point of view, quantum physics may be seen as a physical version of the Linguistic Turn. The parallelism between Bohr’s philosophy of classical concepts and Hilbert’s philosophy of finitism builds upon transcendental philosophy in the Kantian tradition, both Bohr and Hilbert having been influenced by Neo-Kantian thinkers, such as Hertz, whose sign theory is actually a common root of Wittgenstein’s picture theory and Hilbert’s axiomatics. Wittgenstein is considered a root of contextualism in contemporary philosophy. Contextuality has different manifestations in physics and cognitive science, and contextuality studies across the sciences are rapidly developing in cutting-edge research. We elucidate both analogies and disanalogies between contextuality of reality and contextuality of reason in terms of the nature of probabilities involved. In passing, we also give a reformulation of Penrose’s quantum mind thesis. (shrink)