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)

We illustrate the application of the conceptual analysis (CA) method outlined in Part I by the example of quantum mechanics. In the present part the Hilbert space structure of conventional quantum mechanics is deduced as a consequence of postulates specifying further idealized concepts. A critical discussion of the idealizations of quantum mechanics is proposed. Quantum mechanics is characterized as a “statistically complete” theory and a simple and elegant formal recipe for the construction of the fundamental mathematical apparatus of quantum mechanics (...) is formulated. Our analysis may also lead to a criticism of quantum mechanics as a “strongly idealized” theory. A critical analysis of the fundamental structure of quantum mechanics seems an indispensable and natural starting point for the construction of new theories. A major technical problem in a more general application of the CA method is the lack of mathematical representation theorems for more general algebraic structures. (shrink)

The application of the conceptual analysis (CA) method outlined in Part I is illustrated on the example of quantum mechanics. In Part II, we deduce the complete-lattice structure in quantum mechanics from postulates specifying the idealizations that are accepted in the theory. The idealized abstract concepts are introduced by means of a topological extension of the basic structure (obtained in Part I) in accord with the “approximation principle”; the relevant topologies are not arbitrarily chosen; they are fixed by the choice (...) of the idealizations. There is a typical topological asymmetry in the mathematical scheme. Convexity or linear structures do not play any role in the mathematical methods of this approach. The essential concept in Part II is the idealization of “perfect measurement” suggested by our conceptual analysis in Part I. The Hilbert-space representation will be deduced in Part III. In our papers, we keep to the tenet: The mathematical scheme of a physical theory must be rigorously formulated. However, for physics, mathematics is only a nice and useful tool; it is not purpose. (shrink)

A method is proposed that should facilitate the construction of theories of “submicroscopic particles” (denoted as “theories of microchannels”) in a way similar to the use of group-theoretical methods. The “conceptual analysis” (CA) method is based on the analysis of the basic concepts of a theory; it permits a determination of necessary conditions imposed on the mathematical apparatus (of the theory) which then appear as a mathematical representation of the structures obtained in a formal scheme of a theory. A pertinent (...) conceptual analysis leads to a new definition (“relativization”) of the concept “empirical implication.” The approach may be characterized as “realistic” and “operational.” The application of the CA method is illustrated on the example of quantum theory. In Part I the algebraic structure of a partially ordered, up-ward directed, bounded set is deduced from the rudimentary concepts. In Parts II and III, we shall deduce the Hilbert-space structure (well established in quantum mechanics) from postulates on some essential idealizations accepted in the theory. Whereas Part II is concerned with the idealizations of existing quantum theories based on the Hilbert-space formalism, Part I may be considered as a general basis for a wider class of theories. (shrink)

A new realist interpretation of quantum mechanics is introduced. Quantum systems are shown to have two kinds of properties: the usual ones described by values of quantum observables, which are called extrinsic, and those that can be attributed to individual quantum systems without violating standard quantum mechanics, which are called intrinsic. The intrinsic properties are classified into structural and conditional. A systematic and self-consistent account is given. Much more statements become meaningful than any version of Copenhagen interpretation would allow. A (...) new approach to classical properties and measurement problem is suggested. A quantum definition of classical states is proposed. (shrink)

A paradigmatic shift in the foundations of quantum mechanics is recorded, from interpreting to reconstructing quantum theory. Examples of reconstruction are analyzed, and conceptual foundations of the information-theoretic reconstruction developed. A concept of intentionally incomplete reconstruction is introduced to mark the novel content of research in the foundation of quantum theory. ‡Many thanks to Lucien Hardy, Jeff Bub and Bill Demopoulos for their comments. This research was supported through the ANR grant ANR-06-BLAN-0348-01. Part of this research was held at the (...) Perimeter Institute for Theoretical Physics. Research at Perimeter Institute for Theoretical Physics is supported in part by the Government of Canada through NSERC and by the Province of Ontario through MRI. †To contact the author, please write to: CEA-Saclay, 91191 Gif-sur-Yvette, France; e-mail: [email protected]. (shrink)

What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.

The mathematical description of the three distinct fundamental notions of “individual sample” of “preparing procedure,” and of “Piron's state” of a physical entity are precisely introduced in the framework of the Piron's “preparation-question structure” (without specific axioms C, P, A) based on Ludwig's “selection structure.” We compare our realization of the above notions with a similar use of the standard terminology of the “Geneva School” adopted by Pykacz and Santos in a recent paper.

On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharp events (or “effects”) is constructed and the corresponding “state-effect-probability” (SEFP) structure is introduced. The introduction of some suitable axioms gives rise to a partially ordered structure of quantum Brouwer-Zadeh (BZ) poset; i.e., a poset endowed with two nonusual orthocomplementation mappings, a fuzzy-like orthocomplementation, and an intuitionistic-like orthocomplementation, whose set of sharp elements is an (...) orthomodular complete lattice. As customary, by these orthocomplementations the two modal-like necessity and possibility operators are introduced, and it is shown that Ludwig's and Jauch-Piron's approaches to quantum physics are “interpreted” in complete SEFP. As a marginal result, a standard procedure to construct a lot of unsharp realizations starting from any sharp realization of a fixed observable is given, and the relationship among sharp and corresponding unsharp realizations is studied. (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)

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42: 842-848, 1969), Pirón (Foundations of Quantum Physics, (...) 1976). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics. (shrink)

The number of independent messages a physical system can carry is limited by the number of its adjustable properties. In particular, systems that have only one adjustable property cannot carry more than a single message at a time. We demonstrate this is the case for the single photons in the double-slit experiment, and the root of the fundamental limit on measuring the complementary aspect of the photons. Next, we analyze the other ‘quantal’ behavior of the systems with a single adjustable (...) property, 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. Our derivation demonstrates the physical foundation of the quantum theory. (shrink)