In this paper we study a certain class of Lie algebras over commutative von Neumann algebras satisfying a certain finiteness condition. By using Boolean valued methods developed by Takeuti [8]-[11], we will establish the basic structure and representation theorems.

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is (...) presupposed. MSC: 03C90, 03E40, 17B65, 46L10. (shrink)

In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.

In spite of the philosophical significance of higher-order modal logic, the modal logician's main concern has been with sentential logic. In this paper we do not intend to go into philosophical details, but we only remark that higher-order modal logic has a close relationship with Montague's well-known idea of “universal grammar”, which is an ambitious attempt to build a logical theory of natural languages with exact syntax and semantics, comparable with the artificial languages of mathematical logic. For this matter, the (...) reader can consult, e.g., Montague [8], [9] and Gallin [2]. (shrink)

The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

By creating an unbounded topological reduction theory for complex Hilbert spaces over Stonean spaces, we can give a category-theoretic duality between Boolean valued analysis and topological reduction theory for complex Hilbert spaces. MSC: 03C90, 03E40, 06E15, 46M99.

教養と学問が関係することは、実は自明ではない。教養とは何か。また学問と思想はどのように関わるのか。知識人として、学者として、丸山が発し続けた問いと思考の展開を、遺された言葉の総体から精緻に読み解き、「 丸山論」をこえて現代日本に提示。.

日本的美意識といわれる「幽玄・さび」。俊成や芭蕉の歌論や俳論にその実質を検討、「日本的なるもの」の有効性を批判的に検証する。.

Intelligent humanoid robots (IHRs) are becoming likely to be integrated into nursing practice. However, a proper integration of IHRs requires a detailed description and explanation of their essential capabilities, particularly regarding their competencies in replicating and portraying emotive functions such as empathy. Existing humanoid robots can exhibit rudimentary forms of empathy; as these machines slowly become commonplace in healthcare settings, they will be expected to express empathy as a natural function, rather than merely to portray artificial empathy as a replication (...) of human empathy. This article works with a twofold purpose: firstly, to consider the impact of artificial empathy in nursing and, secondly, to describe the influence of Affective Developmental Robotics (ADR) in anticipation of the empathic behaviour presented by artificial humanoid robots. The ADR has demonstrated that it can be one means by which humanoid nurse robots can achieve expressions of more relatable artificial empathy. This will be one of the vital models for intelligent humanoid robots currently in nurse robot development for the healthcare industry. A discussion of IHRs demonstrating artificial empathy is critical to nursing practice today, particularly in healthcare settings dense with technology. (shrink)

This essay is one of three responses to Casper Bruun Jensen's article “Experiments in Good Faith and Hopefulness: Toward a Postcritical Social Science,” published in the Spring 2014 issue of Common Knowledge. Jensen suggested that the postcritical mode of knowledge production should focus on a continuous and persistent analytical effort to resist despair by “insisting properly.” This commentary, by one of three authors on whom the original article focused, contrasts Jensen's emphasis on insistence with the idea of ethnography as response. (...) The reconceptualization of ethnographic work as response can have various and divergent consequences, some of which are explored here with reference to the author's own ethnographic research on indigenous Fijian gift-giving and Japanese financial trading. While his immediate interest here is to expose differences in the kinds of openness that insistence and response afford, he concludes that willingness to respond is more basic to anthropology than the ethnographer's cultivation of the internal strength required to keep anthropology going as an enterprise. (shrink)