Characterization of quantum states in predicative logic

We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.Comment: 14 pages, Boston, IQSA10, to appea

Infinite Singletons and the Logic of Freudian Theory

The aim of this paper is to advance a formal description of the implicit logic grounding of the psychoanalytic theory. We therefore propose a new interpretation of the logical features of the Freudian unconscious process, starting from the Bi-logic formulation put forward by the Chilean psychoanalyst Matte Blanco. We conceive the universal undifferentiated state of the deep psychoanalytic Unconscious in terms of particular sets named infinite singletons, and we show how they can represent the logical foundations for a formal description of the Primary process. We first disclose some implicit assumptions underlying the common logical language. In doing so, we discover an unexpected presence of symmetry even in the most basic of logical and verbal structures. In the approach derived, we show that infiniteness, not finiteness, is the primary mode of sets, and therefore, of thinking. The pivotal consequence of this model is that the unconscious elements cannot be characterised in the absence of external reality, which produces the collapse of infinite sets and allows for the emergence of linguistic representations. Finally, we discuss how the model could represent a platform to formalise further developments of psychoanalytic theory, in particular with respect to the shift from the First to the Second Topics in Freudian theory

Pretopologies and a uniform presentation of sup-lattices, quantales and frames

We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as \u201csup-lattices on monoids\u201d, by using the notion of pretopology. Our presentation is then applied to frames, the link with Johnstone\u2019s presentation of frames is spelled out, and his theorem on freely generated frames becomes a special case of our results on quantales. The main motivation of this paper is to contribute to the development of formal topology. That is why all our definitions and proofs can be expressed within an intuitionistic and predicative foundation, like constructive type theory