The paper explores the logical strength of Isbell's zig‐zag theorem using the framework of reverse mathematics. Working in, we show that is equivalent to Isbell's zig‐zag theorem for countable monoids: If B is a monoid extension of A, then is dominated by A if and only if b has a zig‐zag over A. Our proof of Isbell's zig‐zag theorem avoids use of strong comprehension axioms common in traditional proofs. We also analyze the strength of theorems concerning binary relations.

Android robots capable of emotional interactions with humans have considerable potential for application to research. While several studies developed androids that can exhibit human-like emotional facial expressions, few have empirically validated androids’ facial expressions. To investigate this issue, we developed an android head called Nikola based on human psychology and conducted three studies to test the validity of its facial expressions. In Study 1, Nikola produced single facial actions, which were evaluated in accordance with the Facial Action Coding System. The (...) results showed that 17 action units were appropriately produced. In Study 2, Nikola produced the prototypical facial expressions for six basic emotions, and naïve participants labeled photographs of the expressions. The recognition accuracy of all emotions was higher than chance level. In Study 3, Nikola produced dynamic facial expressions for six basic emotions at four different speeds, and naïve participants evaluated the naturalness of the speed of each expression. The effect of speed differed across emotions, as in previous studies of human expressions. These data validate the spatial and temporal patterns of Nikola’s emotional facial expressions, and suggest that it may be useful for future psychological studies and real-life applications. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ōmori Shōzō and Kotodama Theory: How Can We Overcome the Need for Bodily Encounters?Maki SatoIntroductionŌmori Shōzō is known for his theory of tachi-araware monism. Tachiaraware monism is his attempted counter-argument to the Cartesian dualism of the object–subject divide, or in his words, a divide between physical (butsuri, mono, science, object) and non-physical consciousness (ishiki, koto, perception, incident), perception (chikaku, 知覚) and conception (shikō, 思考). His concept of Kasane-egaki is (...) also often cited as a core concept of his theory of time.1 The main aim of this paper is to first overview the works of Ōmori since there is only a limited amount of his translated work so far.2 Consecutively, the paper focuses on Ōmori’s theory of kotodama and its related arguments with an intention to expand his concept of Kowaburi into the ethics of online encounters during the pandemic.The world in 2020 was suddenly forced to face the pandemic caused by COVID-19. What COVID-19 alerted us to is tremendous, and there are countless problems that the invisible virus has revealed. Among those are the hidden problems of contemporary society, not limited to the discrimination among races, gender, and jobs (white-collars versus essential workers), the problem of zoonosis, and the related environmental problems (climate change and intrusion into wild nature) caused by over-exploitation of nature. In developed countries, most students and those serving as intellectual workers face their daily lives being overly occupied with online lectures and meetings. COVID-19 worked to normalize remote work, which further normalized and forced our everyday life to shift to cyberspace. [End Page 101]In introducing and overviewing Ōmori’s philosophy, this paper attempts to see the current situation through Ōmori’s philosophy to draw out some ethical implications related to non-physical online encounters and how we can perceive human interactions and relationships under such conditions. Under the constraints caused by COVID-19, humans’ limitless desires to interact with others are expanding more so to the sphere of cyberspace, leading to technological development, such as VR. In short, first, the paper overviews Ōmori’s philosophy. Second, through the overview of Ōmori’s philosophy, the paper seeks adaptable philosophy of his that may work as soft binding grounding ethics for cyberspace encounters where substantial bodily encounters are void. In doing so, the paper intends to draw out weak binding ethics implied in Ōmori’s philosophy that may work to empathetically engage with others in cyberspace where embodied encounters with others are dissolved.Ōmori Shōzō and His Philosophy: A Short Introduction and OverviewIn his short essay introducing the Japanese philosophy of the 1970s, Yasuo Kobayashi coined the term “Komaba quartet” by selecting four active eminent philosophers based on the Komaba campus at the University of Tokyo.3 Among them is Ōmori Shōzō (1921–97), aligning with Hiromatsu Wataru (1933–94), Sakabe Megumi (1936–2009), and Inoue Tadashi (1926–2014). Ōmori is the oldest of the Komaba quartet and received higher education before World War II. He served at the Naval Technology Institute Mitaka Laboratory during the war with his physics degree from the Tokyo Imperial University.4 After the war, he studied philosophy at the University of Tokyo with an interest in phenomenology, leading him to study at Harvard and Stanford in the United States.During his professorship at the University of Tokyo, he inspired countless students who are now leading the philosophy academy in Japan, such as Noe Keiichi (1949–) and Noya Shigeki (1954–). In the round-table discussion titled “Explanatory Round-Table on the Charm of Ōmori’s Philosophy,” four of his former students—Iida Takashi and Tanji Nobuharu, in addition to Noe and Noya—worked on selecting his works. It is impressive to read that all four [End Page 102] of them recall how exciting and inspiring it was to take his classes.5 Iida recalls that Ōmori’s classes were exceptional since philosophy courses were all about reading, with might and main, the texts written in a language other than Japanese at the University of Tokyo. However, Ōmori, with his postwar American education, welcomed discussion with the students and was keen on questioning... (shrink)

Open peer commentary on the article “Investigating Extended Embodiment Using a Computational Model and Human Experimentation” by Yuki Sato, Hiroyuki Iizuka & Takashi Ikegami. Upshot: Sato and colleagues make use of an innovative method that combines robotics modeling and psychological experimentation to investigate how tool use affects our living and lived embodiment. I situate their approach in a general shift from robotics to human-computer interface studies in enactive cognitive science, and speculate about the necessary conditions for the bodily incorporation (...) of tools. (shrink)

Open peer commentary on the article “Investigating Extended Embodiment Using a Computational Model and Human Experimentation” by Yuki Sato, Hiroyuki Iizuka & Takashi Ikegami. Upshot: First, we comment on a potential weakness highlighted by the use of self-reporting in the human-coupled windmill experiment as described in the target article. Second, we suggest that the authors treat their windmill models as soft-assembled dynamical systems. This would allow them to investigate extended body schemes by looking for 1/f noise in the interface (...) between the agent and the windmills. (shrink)

Open peer commentary on the article “Investigating Extended Embodiment Using a Computational Model and Human Experimentation” by Yuki Sato, Hiroyuki Iizuka & Takashi Ikegami. Upshot: The target article’s findings on the focus of attention in extending an agent’s body schema are consistent with those in developmental psychology and neuroscience on goal-directed action. The consequences of these findings are that embodiment can be extended in a variety of ways, not all of which require direct physical manipulation.

1. Seikyō ronkō -- 2-3. Shibunrui -- 4-10. Rangai shorui -- 11-12. Genshi shiroku -- 13-14. Fukureki.

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

Mark Jago’s four arguments against Takashi Yagisawa’s extended modal realism are examined and shown to be ineffective. Yagisawa’s device of modal tense renders three of Jago’s arguments harmless, and the correct understanding of predications of modal properties of world stages blocks the fourth one.

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

Dr. Sato's volume deals with the origin and formation of the political thought of pre-imperial Xun Zi, with close focus on this synthesizer's formative theory ...

Sherlock Holmes is a fictional individual. So is his favorite pipe. Our pre-theoretical intuition says that neither of them is real. It says that neither of them really, or actually, exists. It also says that there is a sense in which they do exist, namely, a sense in which they exist “in the world of” the Sherlock Holmes stories. Our pre-theoretical intuition says in general of any fictional individual that it does not actually exist but exists “in the world of” (...) the relevant fiction. I wish to defend this pretheoretical intuition. To do so, I need to defend two claims: that fictional individuals do not actually exist, and that they exist “in the world of” the relevant fiction. The aim of this paper is to defend the first claim. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

Biological forms are very complex, and mechanisms of pattern formation are not well understood. Although developmental biology deals with the mechanistic explanation of patterns, currently we do not know how to understand the mechanisms of pattern formation from huge amounts of molecular information. In this article, I present one useful tool, mathematical modeling, to obtain a mechanistic understanding of biological pattern formation, and show an actual example in lung branching morphogenesis. In this example, mathematical modeling plays an indispensable role in (...) understanding the biological phenomena. The model successfully reproduces the basic features of morphogenesis in vitro, but mechanism in vivo still remains to be elucidated. (shrink)

There are many gene families that are specific to multicellular animals. These have either diverged from ancestral genes that are shared with fungi and/or plants or evolved from an ancestral gene unique to animals. The evolution of gene families involved in cell–cell communication and developmental control has been studied to establish whether the number of member genes increased dramatically immediately prior to or in concert with the Cambrian explosion. A molecular phylogeny‐based analysis of several animal‐specific gene families has revealed that (...) gene diversification by duplication occurred during two active periods interrupted by a long intervening quiescent period. Intriguingly, the Cambrian explosion is situated in the silent period, indicating that there is no direct link between the first burst of gene diversification and the Cambrian explosion itself. The importance of gene recruitment as a possible molecular mechanism for morphological diversity, and its possible role for the Cambrian explosion, are discussed. BioEssays 23:1018–1027, 2001. © 2001 John Wiley & Sons, Inc. (shrink)