Online research in philosophy

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1]. The axiomatizations obtained in a Gentzen-style formulation are equivalent to finite and infinite-valued ukasiewicz logics.

A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra M_n(C) of complex n x n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen-Specker Theorem. In our approach, the nondistributive lattice P(M_n(C)) of projections in M_n(C)(which forms the basis of the traditional quantum logic of Birkhoff and von Neumann)is replaced by a specific distributive lattice of functions from the poset of all unital commutative C*-subalgebras of M_n(C) to P(M_n(C)). The latter lattice is essentially the (pointfree) topology of the quantum phase space mentioned above, and as such defines a Heyting algebra. Each element of the lattice corresponds to a ``Bohrified'' proposition, in the sense that to each classical context it associates a yes-no question pertinent to this context, rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.

The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: $\frac{\Gamma,\,x^{n}\,\Rightarrow \,y}{\Gamma,\,x^{m}\,\Rightarrow \,y}$ . It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property with respect to its algebraic semantics and hence that the logic is decidable.

We study ranges of algebraic functions in lattices and in algebras, such as Łukasiewicz-Moisil algebras which are obtained by extending standard lattice signatures with unary operations.We characterize algebraic functions in such lattices having intervals as their ranges and we show that in Artinian or Noetherian lattices the requirement that every algebraic function has an interval as its range implies the distributivity of the lattice.

The set (X, J) of fuzzy subsetsf:XJ of a setX can be equipped with a structure of -valued ukasiewicz-Moisil algebra, where is the order type of the totally ordered setJ. Conversely, every ukasiewicz-Moisil algebra — and in particular every Post algebra — is isomorphic to a subalgebra of an algebra of the form (X, J), whereJ has an order type . The first result of this paper is a characterization of those -valued ukasiewicz-Moisil algebras which are isomorphic to an algebra of the form (X, J) (Theorem 1). Then we prove that (X, J) is a Post algebra if and only if the setJ is dually well-ordered (Theorem 2) and we give a characterization of those -valued Post algebras with are isomorphic to an algebra of the form (X, J) (Theorem 3 and Proposition 2).

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras.

A categorical ontology of space and time is presented for emergent biosystems, super-complex dynamics, evolution and human consciousness. Relational structures of organisms and the human mind are naturally represented in non-abelian categories and higher dimensional algebra. The ascent of man and other organisms through adaptation, evolution and social co-evolution is viewed in categorical terms as variable biogroupoid representations of evolving species. The unifying theme of local-to-global approaches to organismic development, evolution and human consciousness leads to novel patterns of relations that emerge in super- and ultra- complex systems in terms of colimits of biogroupoids, and more generally, as compositions of local procedures to be defined in terms of locally Lie groupoids. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ may be found with the help of generalized van Kampen theorems in algebraic topology such as the Higher Homotopy van Kampen theorem (HHvKT). Primordial organism structures are predicted from the simplest metabolic-repair systems extended to self-replication through autocatalytic reactions. The intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution is investigated in terms of categories of many-valued, Łukasiewicz–Moisil logic algebras and then compared with those obtained for (non-commutative) quantum logics. The claim is defended in this essay that human consciousness is unique and should be viewed as an ultra-complex, global process of processes. The emergence of consciousness and its existence seem dependent upon an extremely complex structural and functional unit with an asymmetric network topology and connectivities—the human brain—that developed through societal co-evolution, elaborate language/symbolic communication and ‘virtual’, higher dimensional, non-commutative processes involving separate space and time perceptions. Philosophical theories of the mind are approached from the theory of levels and ultra-complexity viewpoints which throw new light on previous representational hypotheses and proposed semantic models in cognitive science. Anticipatory systems and complex causality at the top levels of reality are also discussed in the context of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. The presence of strange attractors in modern society dynamics gives rise to very serious concerns for the future of mankind and the continued persistence of a multi-stable biosphere. A paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics is suggested to unfold now in physics, mathematics, life and cognitive sciences, thus leading to the realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics.

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics.

We introduce Łukasiewicz-Moisil relation algebras, obtained by considering a relational dimension over Łukasiewicz-Moisil algebras. We prove some arithmetical properties, provide a characterization in terms of complex algebras, study the connection with relational Post algebras and characterize the simple structures and the matrix relation algebras.

A non-Abelian, Universal SpaceTime Ontology is introduced in terms of Categories, Functors, Natural Transformations, Higher Dimensional Algebra and the Theory of Levels. A Paradigm shift towards Non-Commutative Spacetime structures with remarkable asymmetries or broken symmetries, such as the CPT-symmetry violation, is proposed. This has the potential for novel applications of Higher Dimensional Algebra to SpaceTime structure determination in terms of universal, topological invariants of ‘hidden’ symmetry. Fundamental concepts of Quantum Algebra and Quantum Algebraic Topology, such as Quantum Groups, von Neumann and Hopf Algebras are first considered with a view to their possible extensions and future applications in Quantum Field theories. New, non-Abelian results may be obtained through Higher Homotopy, General van Kampen Theorems, Lie Groupoids/Algebroids and Groupoid Atlases, possibly with novel applications to Quantum Dynamics and Local-to-Global Problems, Quantum Logics and Logic Algebras. Many-valued Logics, Łukasiewicz–Moisil Logics lead to Generalized LM-Toposes as global representations of SpaceTime Structures in the presence of intense Quantum Gravitational Fields. Such novel representations have the potential to develop a Quantum/General Relativity Theory in the context of Supersymmetry, Supergravity, Supersymmetry Algebras and the Metric Superfield in the Planck limit of spacetime. Quantum Gravity and Physical Cosmology issues are also considered here from the perspective of multiverses, thus leading also to novel types of Generalized, non-Abelian, Topological, Higher Homotopy Quantum Field Theories (HHQFT) and Non-Abelian Quantum Algebraic Topology (NA-QAT) theories.