10 found
Order:
  1. Q-spaces and the Foundations of Quantum Mechanics.Graciela Domenech, Federico Holik & Décio Krause - 2008 - Foundations of Physics 38 (11):969-994.
    Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  2.  97
    A Discussion on Particle Number and Quantum Indistinguishability.Graciela Domenech & Federico Holik - 2007 - Foundations of Physics 37 (6):855-878.
    The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. Nevertheless, it is possible to represent the idea of quantum indistinguishability with a first-order language using quasiset theory (Q). In this work, we (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  3.  87
    Interpreting the Modal Kochen–Specker theorem: Possibility and many worlds in quantum mechanics.Christian de Ronde, Hector Freytes & Graciela Domenech - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:11-18.
    In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  22
    Quantum mechanics and the interpretation of the orthomodular square of opposition.Christian de Ronde, Hector Freytes & Graciela Domenech - unknown
    In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mechanics. Taking into account the logical structure of quantum theory we continue our discussion regarding the Aristotelian Square of Opposition in orthomodular structures enriched with a monadic quantifier. Finally, we provide an interpretation of the Orthomodular Square of Opposition exposing the fact that classical possibility and quantum possibility behave formally in radically different manners.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  43
    Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
    In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  25
    The square of opposition in orthomodular logic.Hector Freytes, Christian de Ronde & Graciela Domenech - unknown
    In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  43
    Quantum computational logic with mixed states.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.
    In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Non-individuality In The Formal Structure Of Quantum Mechanics.Graciela Domenech & Christian De Ronde - 2010 - Manuscrito 33 (1):207-222.
    We argue that the notion of individual is controversial not only for indistinguishable particles but also in the case of quantum distinguishable systems. We also argue that not only a picture in which “actual individuals” are taken into account is in contradiction with the quantum formalism, but also the case of “possible individuals” turns inconsistent within the quantum realm.
     
    Export citation  
     
    Bookmark  
  9.  28
    The contextual character of modal interpretations of quantum mechanics.Graciela Domenech, Hector Freytes & Christian de Ronde - unknown
    In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal interpretations of quantum mechanics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  52
    Physical Properties as Modal Operators in the Topos Approach to Quantum Mechanics.Hector Freytes, Graciela Domenech & Christian de Ronde - 2014 - Foundations of Physics 44 (12):1357-1368.
    In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark