Science is always presupposing some basic concepts that are held to be useful. These absolute presuppositions (Collingwood) are rarely debated and form the framework for what has been termed paradigm by Kuhn. Our currently accepted scientific model is predicated on a set of presuppositions that have difficulty accommodating holistic structures and relationships and are not geared towards incorporating non-local correlations. Since the theoretical models we hold also determine what we perceive and take as scientifically viable, it is important to (...) look for an alternative model that can deal with holistic relationships. One approach is to generalise algebraic quantum theory, which is an inherently holistic framework, into a generic model. Relaxing some restrictions and definitions from quantum theory proper yields an axiomatic framework that can be applied to any type of system. Most importantly, it keeps the core of the quantum theoretical formalism. It is capable of handling complementary observables, i.e. descriptors which are non-commuting, incompatible and yet collectively required to fully describe certain situations. It also predicts a generalised form of non-local correlations that in quantum theory are known as entanglement. This generalised version is not quantum entanglement but an analogue form of holistic, non-local connectedness of elements within systems, predicted to occur whenever elements within systems are described by observables which are complementary to the description of the whole system. While a considerable body of circumstantial evidence supports the plausibility of the model, we are not yet in a position to use it for clear cut predictions that could be experimentally falsified. The series of papers offered in this special issue are the beginning of what we hope will become a rich scientific debate. (shrink)

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

Causal modelling provides a powerful set of tools for identifying causal structure from observed correlations. It is well known that such techniques fail for quantum systems, unless one introduces 'spooky' hidden mechanisms. Whether one can produce a genuinely quantum framework in order to discover causal structure remains an open question. Here we introduce a new framework for quantum causal modelling that allows for the discovery of causal structure. We define quantum analogues for core features of classical (...) causal modelling techniques, including the causal Markov condition and faithfulness. Based on the process matrix formalism, this framework naturally extends to generalised structures with indefinite causal order. (shrink)

Through the introduction of his ‘common cause principle’ [The Direction of Time, 1956], Hans Reichenbach was the first to formulate a precise link relating causal claims to statements of probability. Despite some criticism, the principle has been hugely influential and successful—a pillar of scientific practice, as well as guiding our reasoning in everyday life. However, Bell’s theorem, taken in conjunction with quantum theory, challenges this principle in a fundamental sense at the microscopic level. For the same reason, the celebrated (...) causal model framework pioneered by Pearl, as well as by Spirtes, Glymour and Scheines, defies satisfactory causal explanations of quantum correlations—the role of the ‘causal Markov condition’ in this framework amounts to a generalisation of Reichenbach’s principle. Much effort has been devoted to the development of quantum causal models to overcome this challenge and to study whether a principled way of causal reasoning, albeit adjusted in its terms, can be maintained when it comes to quantum physics. A clarification of what quantum causal relations are supposed to be is also a much needed step in light of the hotly debated topic of causality in foundations of quantum theory, e.g. in the study of ‘indefinite causal structures’. This paper reports and discusses a framework of quantum causal models and argues that it is promising and interesting for two main reasons. First, it can be seen as a prime example of a recent research programme that took direct and fruitful inspiration from ideas first formulated by Reichenbach—it began by asking, and giving an answer to, how the common cause principle could be generalised appropriately to quantum theoretical terms. Second, the framework did not only facilitate generalisations of the core theorems of the classical framework of causal models, but, above all, it has a theorem at its center that justifies the ‘quantum causal Markov condition’ on the basis of what arguably is a natural definition of causal relations in quantum theory. This provides a conceptually clear grounding of the framework, as well as a proposal for the needed clarification of quantum causal relations in the foundations of quantum theory more generally. (shrink)

Measures and theories of information abound, but there are few formalised methods for treating the contextuality that can manifest in different information systems. Quantum theory provides one possible formalism for treating information in context. This paper introduces a quantum inspired model of the human mental lexicon. This model is currently being experimentally investigated and we present a preliminary set of pilot data suggesting that concept combinations can indeed behave non-separably.

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6]. In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. The absolute consistency result used as a (...) model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3, which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli. We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete. In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent (...) composition. Sorkin has defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation. (shrink)

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6] (see also Routley [10] and Asenjo [11]). In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. (...) The absolute consistency result used as a model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3 (see e.g. [1] or [8]), which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure (called in this paper RM32) is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli (called RM3i here). We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete (whether or not consistent and recursively enumerable). In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show (unlike classical quantum arithmetic) that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

Much of our understanding of human thinking is based on probabilistic models. This innovative book by Jerome R. Busemeyer and Peter D. Bruza argues that, actually, the underlying mathematical structures from quantum theory provide a much better account of human thinking than traditional models. They introduce the foundations for modelling probabilistic-dynamic systems using two aspects of quantum theory. The first, 'contextuality', is a way to understand interference effects found with inferences and decisions under conditions of uncertainty. The second, (...) 'quantum entanglement', allows cognitive phenomena to be modeled in non-reductionist ways. Employing these principles drawn from quantum theory allows us to view human cognition and decision in a totally new light. Introducing the basic principles in an easy-to-follow way, this book does not assume a physics background or a quantum brain and comes complete with a tutorial and fully worked-out applications in important areas of cognition and decision. (shrink)

In settler-colonial Canada, the state does not receive Indigenous testimony as credible evidence. While the state often accepts Indigenous testimony in formal hearings, the state fundamentally rejects Indigenous evidence as a description of the world as it is, as an onto-epistemology. In other words, the Indigenous worldview formation, while it functions as a knowledge system that knows and predicts life, is not admitted to regulatory discussions about effects of resource extraction projects on life. Particularly in such resource-extraction review hearings, partly (...) for obvious reasons of ecological ethics, there is no space for Indigenous relational-ontology. I theorize that beyond racism, white supremacy, and greed, settler-colonial onto-epistemological structures are structured to systematically eliminate the potential for relational-ontologies. This exclusion is complementary to resource-extractivist and legal positivist procedures and is biased against Indigenous knowledge and knowledge-sharing procedures; it is a crisis of state integrity and is philosophically unsound. In my analysis of Canadian National Energy Board documents, I ferret out some of these structures that de facto discredit Indigenous onto-epistemologies; I propose this fundamental problem of the Canadian settler-colonial state must be recognized and changed if the calls of Canada’s Truth and Reconciliation commission are to be met. (shrink)

Recent years have witnessed rapidly increasing interests in developing quantum theoretical models of human cognition. Quantum mechanisms have been taken seriously to describe how the mind reasons and decides. Papers in this special issue report the newest results in the field. Here we discuss why the two levels of commitment, treating the human brain as a quantum computer and merely adopting abstract quantum probability principles to model human cognition, should be integrated. We speculate that (...) class='Hi'>quantum cognition models gain greater modeling power due to a richer representation scheme. (shrink)

In a previous paper, a statistical method of constructing quantum models of classical properties has been described. The present paper concludes the description by turning to classical mechanics. The quantum states that maximize entropy for given averages and variances of coordinates and momenta are called ME packets. They generalize the Gaussian wave packets. A non-trivial extension of the partition-function method of probability calculus to quantum mechanics is given. Non-commutativity of quantum variables limits its usefulness. Still, the (...) general form of the state operators of ME packets is obtained with its help. The diagonal representation of the operators is found. A general way of calculating averages that can replace the partition function method is described. Classical mechanics is reinterpreted as a statistical theory. Classical trajectories are replaced by classical ME packets. Quantum states approximate classical ones if the product of the coordinate and momentum variances is much larger than Planck constant. Thus, ME packets with large variances follow their classical counterparts better than Gaussian wave packets. (shrink)

Any computer can create a model of reality. The hypothesis that quantum computer can generate such a model designated as quantum, which coincides with the modeled reality, is discussed. Its reasons are the theorems about the absence of “hidden variables” in quantum mechanics. The quantum modeling requires the axiom of choice. The following conclusions are deduced from the hypothesis. A quantum model unlike a classical model can coincide with reality. Reality can (...) be interpreted as a quantum computer. The physical processes represent computations of the quantum computer. Quantum information is the real fundament of the world. The conception of quantum computer unifies physics and mathematics and thus the material and the ideal world. Quantum computer is a non-Turing machine in principle. Any quantum computing can be interpreted as an infinite classical computational process of a Turing machine. Quantum computer introduces the notion of “actually infinite computational process”. The discussed hypothesis is consistent with all quantum mechanics. The conclusions address a form of neo-Pythagoreanism: Unifying the mathematical and physical, quantum computer is situated in an intermediate domain of their mutual transformation. (shrink)

A summary of recent experimental results shows that entanglement can be generated more easily than before, and that there are improved chances for its persistence. An eminent finding of Generalised Quantum Theory is the insight that the notion of entanglement can be extended, such that, e.g., psychological or psychophysical problem areas can be included, too. First, a general condition for entanglement to occur is given by the term ‘common prearranged context’. A formalised treatment requires a quantitative definition of (...) the similarity or dissimilarity between two complex structures which takes their internal structures into account. After some specific remarks on distance, metrics, and semi-metrics in mathematics, a procedure is described for setting up a similarity function with the required properties. This procedure is in analogy with the two-step character of measurement and with the well-known properties of perspective notions. A general methodology can be derived for handling perspective notions. Finally, these concepts supply heuristic clues towards a formalised treatment of the notions of ‘meaning’ and ‘interpretation’. (shrink)

This article may be seen as a summary and a final discussion of the work that the author has done in recent years on the foundation of quantum theory. It is shown that quantum mechanics as a model follows under certain specific conditions from a quite different, much simpler model. This model is connected to the mind of an observer, or to the joint minds of a group of communicating observers. The model is based (...) upon conceptual variables, and an important aspect is that an observer (a group of observers) must decide on which variable to measure. The model is then linked more generally to a theory of decisions. The results are discussed from several angles. (shrink)

In physics, one is often misled in thinking that the mathematical model of a system is part of or is that system itself. Think of expressions commonly used in physics like “point” particle, motion “on the line”, “smooth” observables, wave function, and even “going to infinity”, without forgetting perplexing phrases like “classical world” versus “quantum world”.... On the other hand, when a mathematical model becomes really inoperative in regard with correct predictions, one is forced to replace it (...) with a new one. It is precisely what happened with the emergence of quantum physics. Classical models were superseded by quantum ones through quantization prescriptions. These procedures appear often as ad hoc recipes. In the present paper, well defined quantizations, based on integral calculus and Weyl–Heisenberg symmetry, are described in simple terms through one of the most basic examples of mechanics. Starting from probability distribution on the Euclidean plane viewed as the phase space for the motion of a point particle on the line, i.e., its classical model, we will show how to build corresponding quantum model and associated probabilities or quasi-probabilities distributions. We highlight the regularizing rôle of such procedures with the familiar example of the motion of a particle with a variable mass and submitted to a step potential. (shrink)

This paper provides a conceptual framework that allows for distinguishing between different kinds of generalisation and applicability. It is argued that generalising models may bring epistemic benefits. They do so if they show that restrictive and unrealistic assumptions do not threaten the credibility of results derived from models. There are two different notions of applicability, generic and specific, which give rise to three different kinds of generalizations. Only generalising a result brings epistemic benefits concerning the truth of model components (...) or results. Abstracting the model and applying the model into new systems are not intrinsically epistemically beneficial in this way. The Dixit-Stiglitz model of monopolistic competition is used as an illustration. (shrink)

CHAPTER Structure and function In physical systems made by a large number of basic constituents one can observe collective properties which find their ...

In the first half of this two-part article, we analyzed a cognitive psychology experiment where participants were asked to select pairs of directions that they considered to be the best example of Two Different Wind Directions, and showed that the data violate the CHSH version of Bell’s inequality, with same magnitude as in typical Bell-test experiments in physics. In this second part, we complete our analysis by presenting a symmetrized version of the experiment, still violating the CHSH inequality but now (...) also obeying the marginal law, for which we provide a full quantum modeling in Hilbert space, using a singlet state and suitably chosen product measurements. We also address some of the criticisms that have been recently directed at experiments of this kind, according to which they would not highlight the presence of genuine forms of entanglement. We explain that these criticisms are based on a view of entanglement that is too restrictive, thus unable to capture all possible ways physical and conceptual entities can connect and form systems behaving as a whole. We also provide an example of a mechanical model showing that the violations of the marginal law and Bell inequalities are generally to be associated with different mechanisms. (shrink)

Memory exhibits episodic superposition, an analog of the quantum superposition of physical states: Before a cue for a presented or unpresented item is administered on a memory test, the item has the simultaneous potential to occupy all members of a mutually exclusive set of episodic states, though it occupies only one of those states after the cue is administered. This phenomenon can be modeled with a nonadditive probability model called overdistribution (OD), which implements fuzzy-trace theory's distinction between verbatim (...) and gist representations. We show that it can also be modeled based on quantum probability theory. A quantum episodic memory (QEM) model is developed, which is derived from quantum probability theory but also implements the process conceptions of global matching memory models. OD and QEM have different strengths, and the current challenge is to identify contrasting empirical predictions that can be used to pit them against each other. (shrink)

In the first half of this two-part article, we analyzed a cognitive psychology experiment where participants were asked to select pairs of directions that they considered to be the best example of Two Different Wind Directions, and showed that the data violate the CHSH version of Bell’s inequality, with same magnitude as in typical Bell-test experiments in physics. In this second part, we complete our analysis by presenting a symmetrized version of the experiment, still violating the CHSH inequality but now (...) also obeying the marginal law, for which we provide a full quantum modeling in Hilbert space, using a singlet state and suitably chosen product measurements. We also address some of the criticisms that have been recently directed at experiments of this kind, according to which they would not highlight the presence of genuine forms of entanglement. We explain that these criticisms are based on a view of entanglement that is too restrictive, thus unable to capture all possible ways physical and conceptual entities can connect and form systems behaving as a whole. We also provide an example of a mechanical model showing that the violations of the marginal law and Bell inequalities are generally to be associated with different mechanisms. (shrink)

This paper contributes to the philosophical accounts of generalisation in formal modelling by introducing a conceptual framework that allows for recognising generalisations that are epistemically beneficial in the sense of contributing to the truth of a model result or component. The framework is useful for modellers themselves because it is shown how to recognise different kinds of generalisation on the basis of changes in model descriptions. Since epistemically beneficial generalisations usually de-idealise the model, the paper proposes a (...) reformulation of the well-known distinction between abstraction and idealisation. A reformulated notion of abstraction is needed because the extant accounts yield wrong judgments when model-modifications introduce implicit assumptions. (shrink)

Human agents happen to judge that a conjunction of two terms is more probable than one of the terms, in contradiction with the rules of classical probabilities—this is the conjunction fallacy. One of the most discussed accounts of this fallacy is currently the quantum-like explanation, which relies on models exploiting the mathematics of quantum mechanics. The aim of this paper is to investigate the empirical adequacy of major quantum-like models which represent beliefs with quantum states. We (...) first argue that they can be tested in three different ways, in a question order effect configuration which is different from the traditional conjunction fallacy experiment. We then carry out our proposed experiment, with varied methodologies from experimental economics. The experimental results we get are at odds with the predictions of the quantum-like models. This strongly suggests that this quantum-like account of the conjunction fallacy fails. Future possible research paths are discussed. (shrink)

Social norms can be understood as the grammar of social interaction. Like grammar in speech, they specify what is acceptable in a given context. But what are the specific rules that direct human compliance with the norm? This paper presents a quantitative model of self- and the other-perspective interaction based on a ‘quantum model of decision-making’, which can explain some of the ‘fallacies’ of the classical model of strategic choice. By connecting two fields of social science (...) research—norms compliance, and strategic decision-making—we aim to show how the novel quantum approach to the later can advance our understanding of the former. From the cacophony of different quantum models, we distill the minimal structure necessary to account for the known dynamics between the expectations and decisions of an actor. This model was designed for the strategic interaction of two players and successfully tested in the case of the one-shot Prisoners’ Dilemma game. Quantum models offer a new conceptual framework for examining the interaction between self- and other-perspective in the process of social interaction which enables us to specify how social norms influence individual behavior. (shrink)

The quantum corrections related to the ideal gas model often considered are those associated to the bosonic or fermionic nature of particles. However, in this work, other kinds of corrections related to the quantum nature of phase space are highlighted. These corrections are introduced as improvements in the expression of the partition function of an ideal gas. Then corrected thermodynamics properties of the ideal gas are deduced. Both the non-relativistic quantum and relativistic quantum cases are (...) considered. It is shown that the corrections in the non-relativistic quantum case may be particularly useful to describe the deviation from the Maxwell–Boltzmann model at low temperature and/or in confined space. These corrections can be considered as including the description of quantum size and shape effects. For the relativistic quantum case, the corrections could be relevant for confined space and when the thermal energy of each particle is comparable to their rest energy. The corrections appear mainly as modifications in the thermodynamic equation of state and in the expressions of the partition function and thermodynamic functions like entropy, internal energy and free energy. Expressions corresponding to the Maxwell–Boltzmann model are shown to be asymptotic limits of the corrected expressions. (shrink)

We contrast person-centered categories with objective categories related to physics: consciousness vs. mechanism, observer vs. observed, agency vs. event causation. semantics vs. syntax, beliefs and desires vs. dispositions. How are these two sets of categories related? This talk will discuss just one such dichotomy: consciousness vs. mechanism. Two extreme views are dualism and reductionism. An intermediate view is emergence. Here, consciousness is part of the natural order (as against dualism), but consciousness is not definable only in terms of physical mass, (...) length, and time (as against reductionism). There are several detailed theories of emergence. One is based on the Great Chain of Being and on organic evolutionary hierarchy. The theory here is based instead on the concept of relational holism in quantum mechanics. The resulting brain model has two interacting systems: a computational system and a quantum system (a Bose-Einstein condensate), perhaps interacting via EEG waves. Thus, we need both person-centered and matter-centered categories to describe human beings. Some possible experimental tests are discussed. (shrink)

We re-examine the long-held postulate that there are two modes of thought, and develop a more fine-grained analysis of how different modes of thought affect conceptual change. We suggest that cognitive development entails the fine-tuning of three dimensions of thought: abstractness, divergence, and context-specificity. Using a quantum cognition modeling approach, we show how these three variables differ, and explain why they would have a distinctively different impacts on thought processes and mental contents. We suggest that, through simultaneous manipulation of (...) all three variables, one spontaneously, and on an ongoing basis, tailors one's mode of thought to the demands of the current situation. The paper concludes with an analysis based on results from an earlier study of children's mental models of the shape of the Earth. The example illustrates how, through reiterated transition between mental states using these three variables, thought processes unfold, and conceptual change ensues. While this example concerns children, the approach applies more broadly to adults as well as children. (shrink)

The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems (...) can be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.

The decoherent histories formalism, developed by Griffiths, Gell-Mann, and Hartle (in Phys. Rev. A 76:022104, 2007; arXiv:1106.0767v3 [quant-ph], 2011; Consistent Quantum Theory, Cambridge University Press, 2003; arXiv:gr-qc/9304006v2, 1992) is a general framework in which to formulate a timeless, ‘generalised’ quantum theory and extract predictions from it. Recent advances in spin foam models allow for loop gravity to be cast in this framework. In this paper, I propose a decoherence functional for loop gravity and interpret existing results (Bianchi (...) et al. in Phys. Rev. D 83:104015, 2011; Phys. Rev. D 82:084035, 2010) as showing that coarse grained histories follow quasiclassical trajectories in the appropriate limit. (shrink)

Question order effects are commonly observed in self-report measures of judgment and attitude. This article develops a quantum question order model (the QQ model) to account for four types of question order effects observed in literature. First, the postulates of the QQ model are presented. Second, an a priori, parameter-free, and precise prediction, called the QQ equality, is derived from these mathematical principles, and six empirical data sets are used to test the prediction. Third, a new (...) index is derived from the model to measure similarity between questions. Fourth, we show that in contrast to the QQ model, Bayesian and Markov models do not generally satisfy the QQ equality and thus cannot account for the reported empirical data that support this equality. Finally, we describe the conditions under which order effects are predicted to occur, and we review a broader range of findings that are encompassed by these very same quantum principles. We conclude that quantum probability theory, initially invented to explain order effects on measurements in physics, appears to be a powerful natural explanation for order effects of self-report measures in social and behavioral sciences, too. (shrink)

It is argued that quantum mechanics does not have merely a predictive function like other physical theories; it consists in a formalisation of the conditions of possibility of any prediction bearing upon phenomena whose circumstances of detection are also conditions of production. This is enough to explain its probabilistic status and theoretical structure.

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the (...) probability calculus. The previous attempts all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the (...) probability calculus. The previous attempts all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (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)

In experiments of games, players frequently make choices which are regarded as irrational in game theory. In papers of Khrennikov (Information Dynamics in Cognitive, Psychological and Anomalous Phenomena. Fundamental Theories of Physics, Kluwer Academic, Norwell, 2004; Fuzzy Sets Syst. 155:4–17, 2005; Biosystems 84:225–241, 2006; Found. Phys. 35(10):1655–1693, 2005; in QP-PQ Quantum Probability and White Noise Analysis, vol. XXIV, pp. 105–117, 2009), it was pointed out that statistics collected in such the experiments have “quantum-like” properties, which can not be (...) explained in classical probability theory. In this paper, we design a simple quantum-like model describing a decision-making process in a two-players game and try to explain a mechanism of the irrational behavior of players. Finally we discuss a mathematical frame of non-Kolmogorovian system in terms of liftings (Accardi and Ohya, in Appl. Math. Optim. 39:33–59, 1999). (shrink)

The ESR model proposes a new theoretical perspective which incorporates the mathematical formalism of standard (Hilbert space) quantum mechanics (QM) in a noncontextual framework, reinterpreting quantum probabilities as conditional on detection instead of absolute. We have provided in some previous papers mathematical representations of the physical entities introduced by the ESR model, namely observables, properties, pure states, proper and improper mixtures, together with rules for calculating conditional and overall probabilities, and for describing transformations of states induced (...) by measurements. We study in this paper the relevant physical case of the quantum harmonic oscillator in our mathematical formalism. We reinterpret the standard quantum rules for probabilities, provide new expressions for absolute probabilities, and show how the standard state transformations must be modified according to the ESR model. (shrink)

Wood and Spekkens argue that any causal model explaining the EPRB correlations and satisfying the no-signalling constraint must also violate the assumption that the model faithfully reproduces the statistical dependences and independences—a so-called ‘fine-tuning’ of the causal parameters. This includes, in particular, retrocausal explanations of the EPRB correlations. I consider this analysis with a view to enumerating the possible responses an advocate of retrocausal explanations might propose. I focus on the response of Näger, who argues that the central (...) ideas of causal explanations can be saved if one accepts the possibility of a stable fine-tuning of the causal parameters. I argue that in light of this view, a violation of faithfulness does not necessarily rule out retrocausal explanations of the EPRB correlations. However, when we consider a plausible retrocausal picture in some detail, it becomes clear that the causal modelling framework is not a natural arena for representing such an account of retrocausality. _1_ Causal Models, Quantum Mechanics, and Faithfulness _2_ Fine-Tuning _2.1_ Fine-tuning in a retrocausal model _3_ Possible Responses _4_ Quantum Causal Models and Retrocausality _4.1_ A more detailed retrocausal account _4.2_ A model of the EPRB probabilities _4.3_ Mapping to a causal model _5_ Conclusion. (shrink)

Costa and Shrapnel have recently proposed an interventionist theory of quantum causation. The formalism generalizes the classical methods of Pearl and allows for the discovery of quantum causal structure via localized interventions. Classical causal structure is presented as a special case of this more general framework. I introduce the account and consider whether this formalism provides a causal explanation for the Bell correlations.

Quantum mechanics notoriously faces the measurement problem, the problem that if read thoroughly, it implies the nonexistence of definite outcomes in measurement procedures. A plausible reaction to this and to related problems is to regard a system's quantum state |ψ> merely as an indication of our lack of knowledge about the system, i.e., to interpret it epistemically. However, there are radically different ways to spell out such an epistemic view of the quantum state. We here investigate recent (...) developments in the branch that introduces hidden variables λ in addition to the quantum state |ψ> and has its roots in Einstein's views. In particular, we confront purported achievements of a concrete model that has been considered to serve as evidence for an epistemic view of the envisioned kind, as well as specific no-go results and their import. It will be argued that while an epistemic account of the particular kind is not straightforwardly ruled out by the no-go results, they demonstrate that the evidential character of the model(s) discussed rests on a rather shaky foundation, and that they make some achievements widely recognized in the literature appear worthy of doubt. (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)

There have been suggestions that the unity of consciousness may be related to the kind of holism depicted only in quantum physics. This argument will be clarified and strengthened. It requires the brain to contain a quantum system with the right properties — a Bose-Einstein condensate. It probably does contain one such system, as both theory and experiment have indicated. In fact, we cannot pay full attention to a quantum whole and its parts simultaneously, though we may (...) oscillate between the two. In a quantum theory of consciousness, emergent meanings arise as an inevitable consequence of Heisenberg''s Uncertainty Principle. (shrink)

Neuropsychological research on the neural basis of behaviour generally posits that brain mechanisms will ultimately suffice to explain all psychologically described phenomena. This assumption stems from the idea that the brain is made up entirely of material particles and fields, and that all causal mechanisms relevant to neuroscience can therefore be formulated solely in terms of properties of these elements. Thus, terms having intrinsic mentalistic and/or experiential content (e.g. ‘feeling’, ‘knowing’ and ‘effort’) are not included as primary causal factors. This (...) theoretical restriction is motivated primarily by ideas about the natural world that have been known to be fundamentally incorrect for more than three-quarters of a century. Contemporary basic physical theory differs profoundly from classic physics on the important matter of how the consciousness of human agents enters into the structure of empirical phenomena. The new principles contradict the older idea that local mechanical processes alone can account for the structure of all observed empirical data. Contemporary physical theory brings directly and irreducibly into the overall causal structure certain psychologically described choices made by human agents about how they will act. This key development in basic physical theory is applicable to neuroscience, and it provides neuroscientists and psychologists with an alternative conceptual framework for describing neural processes. Indeed, owing to certain structural features of ion channels critical to synaptic function, contemporary physical theory must in principle be used when analysing human brain dynamics. The new framework, unlike its classic-physics-based predecessor, is erected directly upon, and is compatible with, the prevailing principles of physics. It is able to represent more adequately than classic concepts the neuroplastic mechanisms relevant to the growing number of empirical studies of the capacity of directed attention and mental effort to systematically alter brain function.. (shrink)

The basic idea of quantum mechanics is that the property of any system can be in a state of superposition of various possibilities. This state of superposition is also known as wave function and it evolves linearly with time in a deterministic way in accordance with the Schrodinger equation. However, when a measurement is carried out on the system to determine the value of that property, the system instantaneously transforms to one of the eigen states and thus we get (...) only a single value as outcome of the measurement. Quantum measurement problem seeks to find the cause and exact mechanism governing this transformation. In an attempt to solve the above problem, in this paper, we will first define what the wave function represents in real world and will identify the root cause behind the stochastic nature of events. Then, we will develop a model to explain the mechanism of collapse of the quantum mechanical wave function in response to a measurement. In the process of development of model, we will explain Schrodinger cat paradox and will show how Born’s rule for probability becomes a natural consequence of measurement process. (shrink)