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)

In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his 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.

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)

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)

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)

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 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)

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)

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.

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)

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)

For two and a half months in 1928, the Japanese philosopher Shûzô Kuki had weekly talks with a young French student of philosophy—Jean-Paul Sartre. In 1928, Kuki had just come to Paris after having studied with Heidegger and Husserl. Freshly ac­quainted with the new phenomenology, Kuki in­troduced Sartre to this emerging movement in philosophy. In a well-researched introductory essay, Stephen Light details the eight years Kuki spent in Europe in the 1920s, a period during which Kuki came to know Henri (...) Bergson, Heinrich Rickert, and Emile Brehier, as well as Husserl and Heidegger. Light includes translations of two of Kuki’s essays on time and often of his short essays on matters Japanese, culminating in the insightful “General Characteristics of French Philosophy.” None of the Kuki essays were previously available in English. The final section of the book is a facsimile of the never before published notebook Kuki used during his discussions with Sartre. (shrink)

This essay is an overview of the intellectual itinerary of the Japanese philosopher Kuki Shūzō (1888-1941). Kuki first came to the attention of Western readers in Heidegger's A Dialogue on Language between a Japanese and an Inquirer. After correcting the record on Kuki with regards to this famous piece, the essay turns to the work that Heidegger and the Japanese Inquirer were discussing, namely, The Structure of Iki. The essay discusses both the background and basic arguments of this work. The (...) essay then expands on Kuki's Western reception, indicating that his thinking evolved beyond his early work with the phenomenon of iki. His later thinking concerns the problem of contingency and the essay concludes with a discussion of his late work, The Problem of Contingency. The essay reviews Kuki's thinking as a whole in order to develop a sense of his hermeneutics. (shrink)

The Ozawa’s intersubjectivity theorem (OIT) proved within quantum measurement theory supports the new postulate of relational quantum mechanics (RQM), the postulate on internally consistent descriptions. But from OIT viewpoint postulate’s formulation should be completed by the assumption of probability reproducibility. We remark that this postulate was proposed only recently to resolve the problem of intersubjectivity of information in RQM. In contrast to RQM for which OIT is a supporting theoretical statement, QBism is challenged by OIT.

Reposant la question de la structure logique de la modalite chez Kuki, cette etude vise a mettre en evidence les multiples dimensions du temps humain. Une telle meditation s’accompagne d’une reflexion sur le ≪ vecu ≫ de la vie concrete dont Kuki fournit une elucidation que l’on pourrait qualifier de metaphysique. Cette metaphysique de la vie est a rapprocher de la pensee de l’Instant tel que Kierkegaard le pense, de la temporalisation heideggerienne et de la duree chez Bergson. Mais le (...) philosophe le plus important convoque par Kuki reste Nietzsche dont la pensee fulgurante de l’eternel retour du meme nourrit la categorie de la contingence de l’existence. Sauf que precisement, la contingence ne peut pas etre une categorie. La philosophie nietzscheenne traverse et nourrit l’oeuvre de Kuki. La presente etude a pour ambition de laisser se confronter la pensee du retour et le temps de la duree. C’est dire qu’il est question ici de reflexion metaphysique sur cette dimension fondamentale de la conscience qu’est la forme du sens interne. Utiliser cette notion c’est eo ipso faire reference a Kant. Quels sont les rapports de ces multiples temporalites avec le temps eternel des dieux et du destin, telle est la question que souleve l’opus magnum de Kuki. Nous montrons les articulations d’abord logico-metaphysiques, ensuite existentiales de la structure de l’existant. C’est le raffinement esthetique de l’aristocrate qu’etait Kuki qui a nourri notre essai de penser et de comprendre la structure de l’Iki. (shrink)

There are parallels between the Japanese philosopher Shūzō Kuki and the European philosophers Heidegger and Derrida with regard to their philosophical discourses on the idea of style and their respective elaboration of this notion as a playful quantity that needs to be seized by equally playful philosophical approaches.

What is culture? What can we learn from art, architecture, and fashion about how people relate? Can cultures embody ethical and moral ideals? These are just some of the questions addressed in this book on the cultural philosophy of three preeminent Japanese philosophers of the early twentieth century, Nishida Kitarō, Watsuji Tetsurō and Kuki Shūzō.

In this article, I compare and contrast the phenomenological ethics of Emmanuel Levinas with that of twentieth-century Japanese philosopher, Kuki Shūzō. In the resulting counterpoint, I put special emphasis on the conception of time espoused by each author. I argue that both go astray by mistakenly basing their ethics on the complete otherness of the other (diachrony) rather than recognizing that both the other (diachrony) and I (synchrony) are originally inseparable in experience before the conceptual separation of “me” and “you.” (...) The fetishization of otherness, which is associated with the feminine in the ethics of both philosophers, leads them to overlook how the details of our everyday concrete experience can provide a guide for action. This paper also explores the two East Asian ethical ideals that Kuki proposes–the Buddhist ideal and the ideal of bushidō, the code of the samurai warrior. In his ethics, Kuki prefers the ethics of bushidō to that of Buddhism. I explain how Kuki’s misunderstanding of Buddhism leads him to this choice, and I explore what he overlooked in Buddhist ethics. (shrink)

ABSTRACTIki is the key word of Shūzō Kuki’s The Structure of Iki, and it became one of the most widely recognized Japanese aesthetic categories mainly due to this work. However, in The Problems of Contingency, which is Kuki’s most important philosophical work, there is no discussion of iki again, and consequently, most commentators of Kuki fail to see the correlation between his theories of iki and contingency. This article, by contrast, intends to provide a new interpretation of iki in the (...) light of Kuki’s theory of contingency. The specific thesis of this paper is that aesthetic phenomena categorized as subject to the principles of iki are positively evaluated in Japanese culture just because the consciousness of iki is just one form of the consciousness of contingency, in which the awareness of alternatives to the actual situation could produce considerable spiritual entertainment for aesthetic subjects. (shrink)