This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

527 found
Order:
1 — 50 / 527
  1. Chess Composition as an Art.Miro Brada - manuscript
    The article presents the chess composition as a logical art, with concrete examples. It began with Arabic mansuba, and later evolved to new-strategy designed by Italian Alberto Mari. The redefinition of mate (e.g. mate with a free field) or a theme to quasi-pseudo theme, opens the new space for combinations, and enables to connect it with other fields like computer science. The article was exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. On Classical and Quantum Logical Entropy.David Ellerman - manuscript
    The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements of (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. On the Duality Between Existence and Information.David Ellerman - manuscript
    Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Partitions and Objective Indefiniteness.David Ellerman - manuscript
    Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Heisenberg Quantum Mechanics, Numeral Set-Theory And.Han Geurdes - manuscript
    In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical probability (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Quantum Behavior of the Systems with a Single Degree of Freedom and the Derivation of Quantum Theory.Mehran Shaghaghi - manuscript
    The number of independent messages a physical system can carry is limited by the number of its adjustable properties. In particular, the systems with just 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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces.David Ellerman - 2017
    Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - forthcoming - Review of Symbolic Logic:1-22.
    We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic. Its sequents are pairs of non-associative structures, formed via a structural connective whose algebraic interpretation is the Sasaki product on the left-hand side and its De Morgan dual on the right-hand side. It is a substructural calculus, because some of the standard structural sequent rules are restricted—by lifting all such restrictions, one recovers (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Generalized Fuzzy Quantum Logics.J. Pykacz - forthcoming - Foundations of Physics.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. Implicational quantum logic.Kenji Tokuo - forthcoming - Axiomathes:1-11.
    A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the and-then operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given as a (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Modal-Type Orthomodular Logic.Trixie Wagner & Andreas Schouml - forthcoming - Mathematical Logic Quarterly.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  12. On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.David Ellerman - 2021 - Journal of Philosophical Logic 50 (4):813-835.
    ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as “superposition (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Two Quantum Logics of Indeterminacy.Samuel C. Fletcher & David E. Taylor - 2021 - Synthese 199 (5-6):13247-13281.
    We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. A Few Notes on Quantum B-algebras.Shengwei Han & Xiaoting Xu - 2021 - Studia Logica 109 (6):1423-1440.
    In order to provide a unified framework for studying non-commutative algebraic logic, Rump and Yang used three axioms to define quantum B-algebras, which can be seen as implicational subreducts of quantales. Based on the work of Rump and Yang, in this paper we shall continue to investigate the properties of three axioms in quantum B-algebras. First, using two axioms we introduce the concept of generalized quantum B-algebras and prove that the opposite of the category GqBAlg of generalized quantum B-algebras is (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.
    Lattice logic, bilattice logic, and paraconsistent quantum logic are investigated based on monosequent systems. Paraconsistent quantum logic is an extension of lattice logic, and bilattice logic is an extension of paraconsistent quantum logic. Monosequent system is a sequent calculus based on the restricted sequent that contains exactly one formula in both the antecedent and succedent. It is known that a completeness theorem with respect to a lattice-valued semantics holds for a monosequent system for lattice logic. A completeness theorem with respect (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  16. Quantum Set Theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
    In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Quantum metametaphysics.Alessandro Torza - 2021 - Synthese 199 (3-4):1-25.
    Say that metaphysical indeterminacy occurs just when there is a fact such that neither it nor its negation obtains. The aim of this work is to shed light on the issue of whether orthodox quantum mechanics provides any evidence of metaphysical indeterminacy by discussing the logical, semantic, and broadly methodological presuppositions of the debate. I argue that the dispute amounts to a verbal disagreement between classical and quantum logicians, given Eli Hirsch’s account of substantivity; but that it need not be (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Universal Logic in Terms of Quantum Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (9):1-5.
    Any logic is represented as a certain collection of well-orderings admitting or not some algebraic structure such as a generalized lattice. Then universal logic should refer to the class of all subclasses of all well-orderings. One can construct a mapping between Hilbert space and the class of all logics. Thus there exists a correspondence between universal logic and the world if the latter is considered a collection of wave functions, as which the points in Hilbert space can be interpreted. The (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Pan demos Alla ricerca di un nuovo pensiero.Donato Santarcangelo - 2020 - Dialoghi Mediterranei.
  20. Categoricity and Possibility. A Note on Williamson's Modal Monism.Iulian D. Toader - 2020 - In The Logica Yearbook 2019. London: College Publications. pp. 221-231.
    The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces.David Ellerman - 2018 - Logic Journal of the IGPL 26 (1):1-13.
    ince the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The set notion of a partition is dual to the notion of a subset. Hence the Boolean logic of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Topos Theoretic Quantum Realism.Benjamin Eva - 2017 - British Journal for the Philosophy of Science 68 (4):1149-1181.
    ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. The Logic of the Future in Quantum Theory.Anthony Sudbery - 2017 - Synthese 194 (11):4429-4453.
    According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be identified with the probability that the event it describes will occur. After reviewing the history of related ideas in logic, I argue that it gives an understanding of probability which is particularly satisfactory for use in quantum mechanics. I construct a lattice (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Quantum Logic.C. de Ronde, and, G. Domenech & H. Freytes - 2016 - Internet Encyclopedia of Philosophy.
    Quantum Logic in Historical and Philosophical Perspective Quantum Logic was developed as an attempt to construct a propositional structure that would allow for describing the events of interest in Quantum Mechanics. QL replaced the Boolean structure, which, although suitable for the discourse of classical physics, was inadequate for representing the atomic realm. The … Continue reading Quantum Logic →.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. Modality and Contextuality in Topos Quantum Theory.Benjamin Eva - 2016 - Studia Logica 104 (6):1099-1118.
    Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Quantum Logic Associated to Finite Dimensional Intervals of Modular Ortholattices.R. Giuntini, H. Freytes & G. Sergioli - 2016 - Journal of Symbolic Logic 81 (2):629-640.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. A New View of Effects in a Hilbert Space.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2016 - Studia Logica 104 (6):1145-1177.
    We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. First-Order Frames for Orthomodular Quantum Logic.Chrysafis Hartonas - 2016 - Journal of Applied Non-Classical Logics 26 (1):69-80.
    One of the main problems of the orthoframe approach to quantum logic was that orthomodularity could not be captured by any first-order condition. This paper studies an elementary and natural class of orthomodular frames that can work around this limitation. Set-theoretically, the frames we propose form a natural subclass of the orthoframes, where is an irreflexive and symmetric relation on X. More specifically, they are partially-ordered orthoframes with a designated subset. Our frame class contains the canonical orthomodular frame of the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. On the Notion of Truth in Quantum Mechanics: A Category-Theoretic Standpoint.Vassilios Karakostas & Elias Zafiris - 2016 - In Diederik Aerts, Christian de Ronde, Hector Freytes & Roberto Giuntini (eds.), Probing the Meaning and Structure of Quantum Mechanics: Semantics, Dynamics and Identity. World Scientific. pp. 1-43.
    The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valua- tion in quantum mechanics as exemplified, in particular, by Kochen-Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event al- gebras. We show explicitly that the latter category is equipped with an object of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  30. The Intrinsic Quantum Nature of Nash Equilibrium Mixtures.Yohan Pelosse - 2016 - Journal of Philosophical Logic 45 (1):25-64.
    In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics, which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, than (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Loops, Projective Invariants, and the Realization of the Borromean Topological Link in Quantum Mechanics.Elias Zafiris - 2016 - Quantum Studies: Mathematics and Foundations 3 (4):337-359.
    All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant under (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. Boolean Localization Of Quantum Events: A Processual Sheaf-Theoretic Approach.Elias Zafiris - 2016 - In David Ray Griffin, Michael Epperson & Timothy E. Eastman (eds.), Physics and Speculative Philosophy: Potentiality in Modern Science. De Gruyter. pp. 107-126.
  33. Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.
    The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions between subsystems of a global physical system. Similarly, epistemic (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34. Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.
    In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice”, which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of structures and show (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Quantum Team Logic and Bell’s Inequalities.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2015 - Review of Symbolic Logic 8 (4):722-742.
    A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36. The Lattice Structure of the S-Lorenz Core.Vincent Iehlé - 2015 - Theory and Decision 78 (1):141-151.
    For any TU game and any ranking of players, the set of all preimputations compatible with the ranking, equipped with the Lorenz order, is a bounded join semi-lattice. Furthermore, the set admits as sublattice the S-Lorenz core intersected with the region compatible with the ranking. This result uncovers a new property about the structure of the S-Lorenz core. As immediate corollaries, we obtain complementary results to the findings of Dutta and Ray :403–422, 1991), by showing that any S-constrained egalitarian allocation (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Primacy of Quantum Logic in the Natural World.Cynthia Sue Larson - 2015 - Cosmos and History 11 (2):326-340.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Dynamical Correspondence in a Generalized Quantum Theory.Gerd Niestegge - 2015 - Foundations of Physics 45 (5):525-534.
    In order to figure out why quantum physics needs the complex Hilbert space, many attempts have been made to distinguish the C*-algebras and von Neumann algebras in more general classes of abstractly defined Jordan algebras . One particularly important distinguishing property was identified by Alfsen and Shultz and is the existence of a dynamical correspondence. It reproduces the dual role of the selfadjoint operators as observables and generators of dynamical groups in quantum mechanics. In the paper, this concept is extended (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39. Quantum Logic and Quantum Reconstruction.Allen Stairs - 2015 - Foundations of Physics 45 (10):1351-1361.
    Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. In the Chaos of Today's Society: The Dynamics of Collapse as Another Shift in the Quantum Anthropology of Heidi Ann Russell.Radek Trnka - 2015 - Prague: Togga.
    The presented study introduces a new theoretical model of collapse for social, cultural, or political systems. Based on the current form of quantum anthropology conceptualized by Heidi Ann Russell, further development of this field is provided. The new theoretical model is called the spiral model of collapses, and is suggested to provide an analytical framework for collapses in social, cultural, and political systems. The main conclusions of this study are: 1) The individual crises in the period before a collapse of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Non-Reflexive Logical Foundation for Quantum Mechanics.Newton C. A. da Costa & Christian de Ronde - 2014 - Foundations of Physics 44 (12):1369-1380.
    On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Quantum Decoherence: A Logical Perspective.Sebastian Fortin & Leonardo Vanni - 2014 - Foundations of Physics 44 (12):1258-1268.
    The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have presented the possibility of studying the classical limit in terms of the decoherence of relevant observables of the system. On the basis of this approach, in this paper we introduce the classical limit from a logical perspective, by studying the way in which the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. The New Quantum Logic.Robert B. Griffiths - 2014 - Foundations of Physics 44 (6):610-640.
    It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent histories interpretation of quantum mechanics by using a modified form of quantum logic to discuss quantum properties (subspaces of the quantum Hilbert space), and treating quantum time development as a stochastic process. The histories approach in turn gives rise to some conceptual difficulties, in particular the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44. The Problem of Identity and a Justification for a Non-Reflexive Quantum Mechanics.D. Krause - 2014 - Logic Journal of the IGPL 22 (2):186-205.
    In this paper we try to justify our way of looking for an alternative approach to quantum mechanics, which is based on a non-classical logic. We consider two specific questions related to quantum theory, namely, entanglement and the indiscernibility of quanta. We characterize individuals, and then explain in what sense entanglement is a concept which can be applied to individuals in a restricted sense only. Then, we turn to indiscernibility and, after realizing that this concept is of a fundamental importance, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. A Generalized Quantum Theory.Gerd Niestegge - 2014 - Foundations of Physics 44 (11):1216-1229.
    In quantum mechanics, the selfadjoint Hilbert space operators play a triple role as observables, generators of the dynamical groups and statistical operators defining the mixed states. One might expect that this is typical of Hilbert space quantum mechanics, but it is not. The same triple role occurs for the elements of a certain ordered Banach space in a much more general theory based upon quantum logics and a conditional probability calculus (which is a quantum logical model of the Lüders-von Neumann (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Model Theory of a Hilbert Space Expanded with an Unbounded Closed Selfadjoint Operator.Camilo Enrique Argoty Pulido - 2014 - Mathematical Logic Quarterly 60 (6):403-424.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. The Quantum Harmonic Oscillator as a Zariski Geometry.Vinesh Solanki, Dmitry Sustretov & Boris Zilber - 2014 - Annals of Pure and Applied Logic 165 (6):1149-1168.
    A structure is associated with the quantum harmonic oscillator, over a fixed algebraically closed field FF of characteristic 0, which is shown to be uncountably categorical. An analysis of definable sets is carried out, from which it follows that this structure is a Zariski geometry of dimension 1. It is non-classical in the sense that it is not interpretable in ACF0ACF0 and in the case F=CF=C, is not a structure on a complex manifold.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Relational Hidden Variables and Non-Locality.Samson Abramsky - 2013 - Studia Logica 101 (2):411-452.
    We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. La mecánica cuántica y la conceptualidad: materia, historias, semántica y espacio-tiempo.Diederik Aerts - 2013 - Scientiae Studia 11 (1):75-99.
    Remove from this list   Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  50. Distribution in the Logic of Meaning Containment and in Quantum Mechanics.Ross T. Brady & Andrea Meinander - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 223--255.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 527