In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. (...) A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic. (shrink)

One of the central debates in the cognitive science of language has revolved around the nature of human linguistic competence. Whether syntactic competence should be characterized by abstract hierarchical structures or reduced to surface linear strings has been actively debated, but the nature of morphological competence has been insufficiently appreciated despite the parallel question in the cognitive science literature. In this paper, in order to investigate whether morphological competence should be characterized by abstract hierarchical structures, we conducted the crowdsourced acceptability (...) judgment experiment on morphologically complex words and evaluated five computational models of morphological competence against human acceptability judgments: Character Markov Models (Character), Syllable Markov Models (Syllable), Morpheme Markov Models (Morpheme), Hidden Markov Models (HMM), and Probabilistic Context-Free Grammars (PCFG). Our psycholinguistic experimentation and computational modeling demonstrated that "morphous" computational models with morpheme units outperformed "amorphous" computational models without morpheme units and, importantly, PCFG with hierarchical structures most accurately explained human acceptability judgments on several evaluation metrics, especially for morphologically complex words with nested morphological structures. Those results strongly suggest that human morphological competence should be characterized by abstract hierarchical structures internally generated by the grammar, not reduced to surface linear strings externally attested in large corpora. (shrink)

This paper examines the semantics and pragmatics of the Japanese causal connective mono. We show that the meaning of mono has three components: a causal relation, an emotive attitude toward the causing proposition, and an indication that the causal relation is of high quality. Further, we show that the latter two components are not at-issue content but expressive content. A formalization is provided in terms of the analysis of mixed content in McCready (2010). Finally, the proposal is briefly compared with (...) previous, informal, accounts of the meaning of mono. (shrink)

Halvorson and Clifton have given a mathematical reconstruction of Bohr’s reply to Einstein, Podolsky and Rosen, and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr’s reply. In the present paper, we generalize the above consistency theorem, with a rather elementary proof, (...) to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr’s requirements of classicality and objectivity, in a general formulation of algebraic quantum theory. (shrink)

The purpose of this paper is phe-nomenological interpretation of the various faces of divinity in the later Heidegger and elucidation of the human comportment corresponding to this divinity. In the first chapter, I will make clear the relation between ontological difference in the sense of the later Heidegger and the primordial dimension of divinity which is called the last god and the sacred. Further, the relation between such divinity and entity as a whole will be clarified. In the second chapter, (...) I will elucidate the place of the divinities in the manifestation of entity as a whole by considering the role of the godlikes in the fourfold. When the primordial alterity of the last god should be experienced in entity as whole, which leads to the notion of the godlikes, it must confront human subject in totally asymmetrical manner. Such asymmetrical communication can be structurally made explicit by taking the concept of “discourse” in Being and Time into account. Finally, I will consider the character of human comportment called preservation with focusing on its relation to the later Heidegger’s conceptions of divinity. This will shed light on how human beings could properly appreciate the experience of what is beyond our understanding and nevertheless supporting our existence.El objetivo de la ponencia es llevar a cabo una interpretación fenomenológica de las diversas facetas de la divinidad en el Hei-degger tardío y elucidar el comportamiento humano respecto de esta divinidad. En el primer capítulo, se esclarece la relación entre la diferencia ontológica en el sentido que le da el segundo Heidegger y la dimensión primordial de la divinidad, llamada el último dios y lo sagrado. A conti-nuación, se esclarecerá la relación entre la divinidad así concebida y lo ente en totalidad. En el segundo apar-tado, se elucidará el lugar de las divinidades en la manifestación de lo ente en totalidad considerando el papel de los divinos la Cuaternidad. Cuando la alteridad primordial del último dios se experimente en lo ente en totaliadd, lo cual conduce a la noción de los divinos, tiene que enfrentarse al sujeto humano de una forma totalmente asimétrica. Esta comunicación asimétrica puede explicitarse estructuralmente mediante la consideración del concepto del discurso en Ser y tiempo. Final-mente, consideraré el carácter del comportamiento humano denominado la preservación, con especial atención a su relación con la noción de lo divino en Heidegger tardío. Esto arrojará luz sobre cómo los seres humanos podrían apreciar de manera adecuada lo que está más allá de nuestra comprensión y sin embargo, sostiene nuestra existencia. (shrink)

Quantum set theory and topos quantum theory are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding QM by reformulating parts of the theory inside of nonclassical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, (...) ‘Q-worlds’. Here, we provide a unifying framework that allows us to better understand the relationship between different Q-worlds, and define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory. (shrink)

The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state. Thus, one measuring apparatus can simultaneously measure two observables that have no simultaneous reality. In order to reconcile this discrepancy, an approach based on quantum logic is proposed to establish the relation between quantum reality and measurement. We provide a language speaking of values of observables independent of measurement based on quantum (...) logic and we construct in this language the state-dependent notions of joint determinateness, value identity, and simultaneous measurability. This naturally provides a contextual interpretation, in which we can safely claim such a statement that one measuring apparatus measures one observable in one context and simultaneously it measures another nowhere commuting observable in another incompatible context. (shrink)

Western sociology of the body, despite its attempt to create a somatic approach to human existence, inevitably shares many of the rationalistic and Cartesian assumptions of wider Western sociology. A contrasting, and in many ways radically different approach is that found in both classical and contemporary Japanese thought. In this article two major contemporary Japanese theorists of the body - Ichikawa Hiroshi and Yuasa Yasuo - are introduced and their work examined as distinctive, and in the West virtually unknown, contributions (...) to body analysis. Their views are briefly contrasted with some of the major themes of Western, and in particular British, sociology of the body and the implications of their work for future investigation of the human body are sketched out. (shrink)

A nonstandard universe is constructed from a superstructure in a Boolean-valued model of set theory. This provides a new framework of nonstandard analysis with which methods of forcing are incorporated naturally. Various new principles in this framework are provided together with the following applications: An example of an 1-saturated Boolean ultrapower of the real number field which is not Scott complete is constructed. Infinitesimal analysis based on the generic extension of the hyperreal numbers is provided, and the hull completeness theorem (...) and the Loeb measure construction are extended to objects in the generic extension of the internal universe. The reduction theory of the Boolean-valued complex numbers are developed as a prototype of the applications to the topological reduction theory of Boolean sheaves or operator algebras. (shrink)

The emotions that people experience in day-to-day social situations are often mixed emotions. Although autobiographical recall is useful as an emotion induction procedure, it often involves recalling memories associated with a specific discrete emotion. However, real-life emotions occur freely and spontaneously, without such constraints. To understand real-life emotions, the present study examined characteristics of emotions that were elicited by recalling “stressful interpersonal events in daily life” without the targeted evocation of a specific discrete emotion. Assuming generation of mixed and complex (...) emotions, emotional groups with relatively strong correlation of multiple emotions according to surprise, fear, anger, disgust, sadness, and happiness were expected. Seventy-two university students participated in the study. In the emotion induction procedure, participants freely recalled memories as per the instructions on a monitor, and then responded silently to a series of questions concerning any one recalled incident. Assessments of emotional states using emotion scales and another item indicated that validated emotional changes had occurred during the task. Inter-correlations between six emotions demonstrated an emotional group consisting of disgust and anger, which frequently occur as negative interpersonal feelings, and that of fear and sadness. This indicated generation of mixed and complex emotions as experienced in social life. Future studies concerning relationships between these emotions and other factors, including neurophysiological responses, may facilitate further understanding about relationships between mental and physiological processes occurring in daily life. (shrink)

This article considers social choice theory without the Pareto principle. We revisit the trade-off theorem developed by Campbell and Kelly (Econometrica 61:1355–1365, 1993) and generalize their result. By introducing an alternative measure of decisive structure, a dominance relation, we show that if a social welfare function dominates another social welfare function, then the number of pairs of alternatives which social ranking is independently of individual preferences under the former is not more than that under the latter. Moreover, we offer two (...) applications of our main result. (shrink)

The model of mind and body in Tibetan medical practice is based on Buddhist theory, and is neither dualistic in a Cartesian sense, nor monistic. Rather, it represents a genuine alternative to these positions by presenting mind/body interaction as a dynamic process that is situated within the context of the individual’s relationships with others and the environment. Due to the distinctiveness, yet interdependence, of mind and body, the physician’s task is to heal the patient’s mind (blo-gso) as well as body. (...) This in turn emphasizes the central importance of ‘compassion’ in the physician/patient relationship. This article investigates how Tibetan medical practitioners understand and enact the mind/ body and physician/patient relationships, and how this relates to theoretical explications of these relationships in Tibetan medical and Buddhist teachings. Furthermore, Tibetan medicine provides an interesting model for comparison with embodied theories of cognition, which see consciousness, the body and its environment as integral parts of a complex, dynamical cognitive system. (shrink)

As humans, we constantly change our movement strategies to adapt to changes in physical functions and the external environment. We have to walk very slowly in situations with a high risk of falling, such as walking on slippery ice, carrying an overflowing cup of water, or muscle weakness owing to aging or motor deficit. However, previous studies have shown that a normal gait pattern at low speeds results in reduced efficiency and stability in comparison with those at a normal speed. (...) Another possible strategy is to change the gait pattern from normal to step-to gait, in which the other foot is aligned with the first swing foot. However, the efficiency and stability of the step-to gait pattern at low speeds have not been investigated yet. Therefore, in this study, we compared the efficiency and stability of the normal and step-to gait patterns at intermediate, low, and very low speeds. Eleven healthy participants were asked to walk with a normal gait and step-to gait on a treadmill at five different speeds, ranging from very low to normal walking speed. The efficiency parameters and stability parameters were analyzed from the motion capture data and then compared for the two gait patterns. The results suggested that step-to gait had a more efficient gait pattern at very low speeds of 10–30 m/min, with a larger percent recovery, and was more stable at 10–60 m/min in comparison with a normal gait. However, the efficiency of the normal gait was better than that of the step-to gait pattern at 60 m/min. Therefore, step-to gait is effective in improving gait efficiency and stability when faced with situations that force us to walk slowly or hinder quick walking because of muscle weakness owing to aging or motor deficit along with a high risk of falling. (shrink)

The cytoplasmic domain of the cell adhesion molecule uvomorulin associates with three independent proteins, named catenins, which are structurally related in different cell types of various species. This complex formation connects uvnomorulin and cytoskeletal structures and might, moreover, be involved in other adhesion‐dependent mechanisms.

An ordered field is said to be Scott complete iff it is complete with respect to its uniform structure. Zakon has asked whether nonstandard real lines are Scott complete. We prove in ZFC that for any complete Boolean algebra B which is not (ω, 2)-distributive there is an ultrafilter U of B such that the Boolean ultrapower of the real line modulo U is not Scott complete. We also show how forcing in set theory gives rise to examples of Boolean (...) ultrapowers of the real line which are not Scott complete. (shrink)

Halvorson and Clifton have given a mathematical reconstruction of Bohr’s reply to Einstein, Podolsky and Rosen (EPR), and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr’s reply. In the present paper, we generalize the above consistency theorem, with a rather elementary (...) proof, to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr’s requirements of classicality and objectivity, in a general formulation of algebraic quantum theory. (shrink)

Long time delay before lasing in a II-VI laser diode has been observed. Due to this delay, a nominal threshold current increases as the width of applied current pulse becomes shorter. This delay is attributed to the internal Q switching caused by the balance of injected carriers, temperature rise and gain-guiding. By fitting the calculated data to the experimental ones, rates of refractive index change with carrier concentration and with temperature have been estimated.

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for (...) bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws. (shrink)

Involuntary eye movement during gaze fixation, referred to as fixational eye movement, consists of two types of components: a Brownian motion like component called drifts-tremor and a ballistic component called microsaccade with a mean saccadic amplitude of about 0.3° and a mean inter-MS interval of about 0.5 s. During GZ fixation in healthy people in an eccentric position, typically with an eccentricity more than 30°, eyes exhibit oscillatory movements alternating between centripetal drift and centrifugal saccade with a mean saccadic amplitude (...) of about 1° and a period in the range of 0.5–1.0 s, which has been known as the physiological gaze-evoked nystagmus. Here, we designed a simple experimental paradigm of GZ fixation on a target shifted horizontally from the front-facing position with fewer eccentricities. We found a clear tendency of centripetal DRT and centrifugal MS as in GEN, but with more stochasticity and with slower drift velocity compared to GEN, even during FEM at GZ positions with small eccentricities. Our results showed that the target shift-dependent balance between DRT and MS achieves the GZ bounded around each of the given targets. In other words, GZ relaxes slowly with the centripetal DRT toward the front-facing position during inter-MS intervals, as if there always exists a quasi-stable equilibrium posture in the front-facing position, and MS actions pull GZ intermittently back to the target position in the opposite direction to DRT. (shrink)

A virtual dialogue interface for soft interaction between a system and a user is proposed. It enables the information acquisition as a sub task without hindering the user main task during the main task execution. A virtual dialogue is performed with suitable timing between the two characters used in this interface: the user avatar with a model obtained by observing the interaction of the user and the environment, and an agent having the knowledge about the environment. The user is usually (...) an indirect participant performing ``soft interaction'' as an onlooker of the system behavior (dialogue between the user avatar and the agent), and only when required he can participate through a direct interaction instead of his avatar. A car navigation interface was used to examine the applicability of the proposed technique. A task of memorizing information about one's profile while performing an operation task was given and the rate of main task execution and rate of related information memory were used as evaluation criteria. Our proposed method showed outstanding results comparing to the conventional direct interactive interface. Moreover, the degree of favorable impression for the proposed interface was higher than the conventional one and the subjectivity evaluation clearly showed that it was considered as a sociable interface. (shrink)

ObjectiveNoisy galvanic vestibular stimulation (nGVS) is often used to improve postural stability in disorders, such as neurorehabilitation montage. For the safe use of nGVS, we investigated whether arterial pressure (AP) and heart rate vary during static supine and slow whole-body tilt with random nGVS (0.4 mA, 0.1–640 Hz, gaussian distribution) in a healthy elderly population.MethodsThis study was conducted with a double-blind, sham-controlled, cross-over design. Seventeen healthy older adults were recruited. They were asked to maintain a static supine position on a (...) bed for 10 min, and the bed was tilted up (TU) to 70 degrees within 30 s. After maintaining this position for 3 min, the bed was passively tilted down (TD) within 30 s. Real-nGVS or sham-nGVS was applied from 4 to 15 min. The time course of mean arterial pressure (MAP) and RR interval variability (RRIV) were analyzed to estimate the autonomic nervous activity.ResultnGVS and/or time, including pre-/post-event (nGVS-start, TU, and TD), had no impact on MAP and RRIV-related parameters. Further, there was no evidence supporting the argument that nGVS induces pain, vertigo/dizziness, and uncomfortable feeling.ConclusionnGVS may not affect the AP and RRIV during static position and whole-body tilting or cause pain, vertigo/dizziness, and discomfort in the elderly. (shrink)

BackgroundSocial cognitive impairments adversely affect social functioning in patients with schizophrenia. Although pharmacological interventions have been suggested to provide some benefits on social cognition, little information is available on the comparative efficacy of pharmacotherapy. Thus, the aim of this planned systematic review and network meta-analysis is to perform a quantitative comparison of the effects of various psychotropic drugs, including supplements, on social cognition disturbances of schizophrenia.MethodsThe literature search will be carried out using the PubMed, Embase, Cochrane Central Register of Controlled (...) Trials, PsycINFO, ClinicalTrials.gov, and International Clinical Trials Registry Platform databases from inception onward. Randomized controlled trials that examined the efficacy of drugs in social cognitive disturbances will be included, based on the most recent studies and the broader literature than previously searched. This protocol defines a priori the methods that will be used for study selection, data collection, quality assessment, and statistical syntheses.DiscussionThe findings this work are expected to help promote the development of better therapeutics of social cognitive impairments in schizophrenia and related psychiatric conditions.Systematic Review Registration[www.crd.york.ac.uk/prospero], identifier [CRD42021293224]. (shrink)

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (shrink)