Juan Pablo Jorge

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories based in orthomodular lattices, allowing to study post-quantum models using logical techniques.

By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining adequate interpreting sets for the conjunction and disjunction (as was shown in our previous work), it follows that a homomorphism between the lattice of quantum projections and a Boolean algebra of n-elements cannot exist.

In this paper, we introduce a quasi-set theory without atoms. The quasi-sets (qsets) can have as elements completely indiscernible things which do not turn out to be the very same thing as it would be implied if its underlying logic was classical logic. A quasi-set can have a cardinal, called its quasi-cardinal, but this is made so that, at least for the finite case, the quasi-cardinal is not an ordinal, and hence the indistinguishable elements of a quasi-set cannot be ordered. In the last sections, we show how the theory can be used to ground a quantum metaphysics of properties, which sees the quantum entities as bundles of properties, and we also introduce a new approach for the use of quantifiers in quantum physics.

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for QST formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed.

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas.