In the conventional approach to quantum mechanics, indeterminism is an axiom and nonlocality is a theorem. We consider inverting the logical order, making nonlocality an axiom and indeterminism a theorem. Nonlocal “superquantum” correlations, preserving relativistic causality, can violate the CHSH inequality more strongly than any quantum correlations.
We prove an institutional version of A. Robinson ’s Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties.
The Greenberger-Horne-Zeilinger state is the most famous example of a state with multiparticle entanglement. In this article we describe a group theoretic framework we have been developing for understanding the entanglement in general states of two or more quantum particles. As far as entanglement is concerned, two states of n spin-1/2 particles are equivalent if they are on the same orbit of the group of local rotations (U(2)n). We consider both pure and mixed states and calculate the number of independent (...) parameters needed to describe such states up to this equivalence. We describe how the entanglement of states in a given equivalence class may be characterized by the stability group of the action of the group of local rotations on any of the states in the class. We also show how to calculate invariants under the group of local actions for both pure and mixed states. In the case of mixed states we are able to explicitly exhibit sets of invariants which allow one to determine whether two generic mixed states are equivalent up to local unitary transformations. (shrink)
The lack of double negation and de Morgan properties makes fuzzy logic unsymmetrical. This is the reason why fuzzy versions of notions like closure operator or Galois connection deserve attention for both antiotone and isotone cases, these two cases not being dual. This paper offers them attention, comming to the following conclusions: – some kind of hardly describable ‘‘local preduality’’ still makes possible important parallel results; – interesting new concepts besides antitone and isotone ones (like, for instance, conjugated pair), that (...) were classically reducible to the first, gain independency in fuzzy setting. (shrink)
The paper proposes a flexible way to build concepts within fuzzy logic and set theory. The framework is general enough to capture some important particular cases, with their own independent interpretations, like “antitone” or “isotone” concepts constructed from fuzzy binary relations, but also to allow the two universes to be equipped each with its own truth structure. Perhaps the most important feature of our approach is that we do not commit ourselves to any kind of logical connector, covering thus the (...) case of a possibly non-commutative conjunction too. (shrink)
A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co-vary with other non-verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer-generated animated pedagogical agent to control both verbal and non-verbal behavior. Children viewed lessons on mathematical equivalence in which an (...) avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non-verbal behavior in controlled experiments. (shrink)
In this paper we consider, and reject, Harold Langsams defenceof the Theory of Appearing, in this journal (1997), in the faceof three standard arguments against it. These arguments are:the argument from hallucination; the argument from the samecause-same effect principle; and the argument from perceptualtime-gap.
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.
Subjectivists, taking the “collapse” of the observation-interpretation contrast much too seriously, are led to imagine that even perceptual knowledge is active. And therefore subject dependent. Turning the tables on this popular trend, I argue that even conceptual knowledge is passive. Kant’s epistemology is conceptual. But if also active, then incoherent. If synthetic a priori truths are to follow upon our mental activity, they were neither true nor, far less, a priori before that activity. “A priori” and “active” are contradictory attributes (...) of knowledge. As, indeed, are “a priori” and “subject-dependent” to begin with. Nothing a priori can be dependent on anything except itself, and least of all on the human subject. Kant does consider the active aspect of thought. The difference is that for him the more active it becomes, the less it is to be trusted. For we are no longer in the province of the Understanding, and its necessary truths, but in the realm of Pure Reason and its dialectical antinomies. Cognition activists who take a liking to Kant have simply mistaken Reason for the Understanding. And Reason is to Kant “the seat of all transcendental illusion”. (shrink)
The non-random mixing of biomembrane components, especially saturated phospholipids, exhibits important consequences in molecular biology. Particularly, the distribution of lipids within natural and model membranes is strongly determined by the selective association processes. These processes of phospholipids take place due to the cooperative modes in multiparticle systems as well as the specific lipid-lipid interactions both in the hydrophobic core and in the region of the polar headgroups. We demonstrated that the investigation of the selective association processes of saturated phospholipids might (...) contribute to the insight of the lipid domains appearance inside the bilayer membranes. The association probabilities of like- pairs and cross- pairs from a binary mixture of saturated phospholipids were tested for both parallel and anti-parallel alignments of the polar headgroups. The present model confirms the experimental evidence for saturated phospholipids to have a high tendency for association in parallel configuration of the electric dipole moments of the polar headgroups whether the cross-sectional area of the polar headgroup is in an usual range of 25-55 2. There are three major lipid domains in a binary mixture of saturated phospholipids: lipid domains in non-mixed phase of the first mixture component, in parallel alignment of the polar headgroups; lipid domains in non-mixed phase of the second mixture component, in anti-parallel alignment of the polar headgroups; lipid domains in mixed phase. We think that the selective association processes of phospholipids are neither exclusively, nor only involved in promoting the lipid domains appearance through bilayer phospholipid membranes. (shrink)
We introduce the notion of n-nuanced MV-algebra by performing a Łukasiewicz–Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz–Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, n-nuanced MV-algebras amalgamate two distinct approaches to many valuedness: that of the infinitely valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil n-nuanced logic, which is more concerned with nuances of truth rather than (...) truth degree. We study n-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of n-nuanced ordered group via an extension of the Γ construction is also analyzed. (shrink)
In trying to control various aspects concerning utterance production in multi-party human–computer dialogue, argumentative considerations play an important part, particularly in choosing appropriate lexical units so that we fine-tune the degree of persuasion that each utterance has. A preliminary step in this endeavor is the ability to place an ordering relation between semantic forms (that are due to be realized as utterances, by the machine), concerning their persuasion strength, with respect to certain (explicit or implicit) conclusions. Thus, in this article, (...) we propose a mechanism for assessing utterances, in terms of their argumentative force. The framework designed conflates insights from Asher and Lascarides’ SDRT (“Segmented Discourse Representation Theory”), and from Anscombre and Ducrot’s AT (“Argumentation Theory”). These mechanisms are included in a language generation component of a multi-party dialogue system for book reservation applications (i.e., a “virtual librarian”), and thus evaluated via typical human–machine conversations. (shrink)
The living world is an exciting and inexhaustible source of high performance solutions to the multitude of biological problems, which were attained as a result of a natural selection, during the millions and millions years evolution of life on Earth. This work presents and comments some examples of high performances of living beings, in the light of the universal principle governing the realm of living matter: Optimal Design Principle. At the same time, the transfer of these optimal solutions, from living (...) matter to the technologies, is also discussed. This transfer is offering new and fertile perspectives to future technologies, which must be more efficient, cheaper and in perfect harmony with the biosphere. (shrink)
The main aim of this article is to discuss both the concept of secularism among the Ottoman intellectuals and the principle of secularism during the period of the Turkish Republic based on ideas rather than practice. We can analyze “secularism in Turkey” in two separate periods of time: First, “The Ottoman Empire and Secularism” which discusses the ideas of secularism before the foundation of the Turkish Republic, and second “A Brief Analysis of the Turkish Republic and the Principle of Secularism” (...) in which the idea of secularism related to the ideology of the state in the course of the Turkish Republic are shortly examined. In this article, we generally state the consistent development of secularism practiced in Turkey. (shrink)