相关论文: A Quantum Logic of Down Below

We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these…

We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be…

We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…

We propose a conjugate logic that can capture the behavior of quantum and quantum-like systems. The proposal is similar to the more generic concept of epistemic logic: it encodes knowledge or perhaps more correctly, predictions about…

The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the…

Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as…

To understand the foundations of quantum mechanics, we have to think carefully about how theoretical concepts are rooted in -- and limited by -- the nature of experience, as Bohr attempted to show. Geometrical pictures of physical phenomena…

The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure…

The Boolean logic of subsets, usually presented as `propositional logic,' is considered as being "classical" while intuitionistic logic and the many sublogics and off-shoots are "non-classical." But there is another mathematical logic, the…

Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time translation which for each quantum logic $Q$ and each…

A local description of quantum subsystems can be used to construct ontologies of the full quantum predictions. This paper communicates one possible way to do so. A retrocausal interpretation of quantum mechanics where the de Broglie-Bohm…

We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on…

Based on a more careful canonical analysis, we motivate a reduced quantization - in the sense of superspace quantization - of slightly inhomogeneous cosmology in place of the Dirac quantization in the existing literature, and provide it in…

Formalisms based on quantum theory have been used in Cognitive Science for decades due to their descriptive features. A quantum-like (QL) approach provides descriptive features such as state superposition and probabilistic interference…

The conceptuality interpretation of quantum mechanics proposes that quantum entities have a conceptual nature, interacting with the material world through processes that are the physical counterpart of the meaning-based processes which…

There are inherent limits in classical computation for it to serve as an adequate model of human cognition. In particular, non-commutativity, while ubiquitous in physics and psychology, cannot be sufficiently handled. We propose that we…

We present the foundations of a new emerging interpretation of quantum theory bearing wide-range implications. Physical basis of the interpretation is non-questionable yet relatively new--it relies on the different structures…

Trying to be effective (no matter who exactly and in what field) a person face the problem which inevitably destroys all our attempts to easily get to a desired goal. The problem is the existence of some insuperable barriers for our mind,…

Experimental results presented in this paper supports the hypothesis on quantum-like statistical behaviour of cognitive systems (at least human beings). Our quantum-like approach gives the possibility to represent mental states by Hilbert…

Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of…