We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions of ordered (...) fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

The plasmodium of _Physarum polycephalum_ is a unicellular and multinuclear giant amoeba with computational abilities. The plasmodium has been widely used as a model organism in the field of bio-computing; however, its ability to perform computation related to its biological nature itself in the essential sense has not yet been fully realized. Therefore, in this study, we focused on the phenomenon in which a plasmodium trapped in a closed space surrounded by repellent substances escapes from the field by changing its (...) own behavior rules. We demonstrated that this phenomenon is bio-computationally important in that it may enable the implementation of biological characteristics in computing. (shrink)

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic ( ETL : Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic ( DEL : Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension (...) with the labeled past-operator “ P ϵ ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc. (shrink)

This article proposes an alternative approach in sustainability assessment. The conceptual framework was developed by modifying Ken Wilber's All Quadrants, All Levels (AQAL) approach, and focuses on the inter-relatedness/inter-connection of various perspectives inherent to the concept of sustainability. To look at how our framework can facilitate the practice of sustainability assessment, we apply the framework to examine the relationships between social systems and the environmental changes in the Ili River basin across the period 1900?2008. This approach enables us to investigate (...) the environmental problems of the Ili River basin in a four-quadrant framework, and combine the empirics of quadrants obtained from traditional disciplinary methodologies. The four-quadrant framework adopted in this study illustrates the interlocking relationships among various perspectives of environmental issues in the Ili River basin, namely, physical perspective, personal perspective, cultural perspective, and social perspective. In particular, the protruding development (evolution) of the lower right dimension is the fundamental cause of the environmental degradation and its related social problems in the Ili River basin. Compared to other established approaches in literature that emphasize on the tradeoffs of various perspectives of sustainability, our findings indicate the potential contributions of four-quadrant framework to sustainability assessment through its focus on the inter-relatedness/inter-connection of different perspectives. (shrink)

Humanity is facing a crisis of survival. In order to save humanity and nature, we must rebuild their foundations. This paper proposes integral studies and integral practices as a possible new paradigm for the 21st century. First, we investigated the necessity of integral studies and integral practices, which were suggested by the following three evidences: limitations of the Spiritual Revolution and modern philosophy, limitations of the Scientific Revolution and modern science, and contemporary practical problems that threaten the future of humanity (...) and nature. Second, we investigated the purpose and the principle of integral studies and integral practices from a viewpoint of the nature of both human beings and universe. One of the fundamental questions for humanity is how to overcome the egoism of individuals as well as the entire human race. In this avenue, we think the first step is to transcend toraware, which is a Japanese word meaning both “states of being caught” and “what catches us”. The state of being caught manifests itself when the ego emerges while we begin to distinguish between the self and others. Therefore, integrity and intrinsic nature become principles of integral studies and integral practices. Consequently, integral studies and integral practices serve for the sake of nature including humanity. Third, we discussed the methodology of integral studies and integral practices. We argue its core is integral exploration and reframing of the self and others, ourselves and the world, and humanity and nature. It consequently reveals integrity and harmonizes intellect, emotion, and volition as well as goodness, truth, and beauty while revealing integrity and opening up or unfolding the intrinsic nature of the individual and the collective. Finally, we addressed limitations and future agendas of integral studies and integral practices. We suggest it is essential to raise and discuss fundamental questions on humanity and nature as well as to elucidate the truly unknown, which cannot be understood within existing frameworks. However, whether it is correct or not will come to be verified over time. No one in the history of humanity has ever attained universal truth, which is absolutely true in light of absolute criteria that are not relativized by differences in space, time, or people, or which is absolutely true even without referring to any criteria. Therefore, it is necessary for each of us to discern what is right and maintain a critical gaze. (shrink)

A system for analyzing concerns of people from Weblog articles is proposed. The system called KANSHIN analyzes concerns of people by collecting Japanese, Chinese, and Korean Weblog articles. Users can find concerns of people in each language. Users can also compare differences of concerns between Japanese, Chinese, and Korean language communities. We describe several analysis results: (1) patterns of social concerns, (2) change of focuses on a problem along with the time, (3) differences of concerns on a problem between Japanese, (...) Chinese, and Korean Weblog sites, and (4) relation between words in Weblog articles and real world natural phenomenon. (shrink)

This paper presents a cross-cultural study on peoples’ negative attitude toward robots. 467 participants from seven different countries filled in the negative attitude towards robots scale survey which consists of 14 questions in three clusters: attitude towards the interaction with robots, attitude towards social influence of robots and attitude towards emotions in interaction with robots. Around one half of them were recruited at local universities and the other half was approached through Aibo online communities. The participants’ cultural background had a (...) significant influence on their attitude and the Japanese were not as positive as stereotypically assumed. The US participants had the most positive attitude, while participants from Mexico had the most negative attitude. The participants from the online community were more positive towards robots than those not involved. Previous experience in interacting with Aibo also had a positive effect, but owning an Aibo did not improve their attitude. (shrink)

The individual physical appearances of robots are considered significant, similar to the way that those of humans are. We investigated whether users prefer robots with male or female physical appearances for use in daily communication situations and whether egalitarian gender role attitudes are related to this preference. One thousand adult men and women aged 20–60 participated in the questionnaire survey. The results of our study showed that in most situations and for most subjects, “males” was not selected and “females” or (...) “neither” was selected. Moreover, the number of respondents who chose “either” was higher than that who chose “female.” Furthermore, we examined the relationship between gender and gender preference and confirmed that the effect of gender on the gender preference for a robot weakened when the human factor was eliminated. In addition, in some situations for android-type robots and in all situations for machine-type robots, equality orientation in gender role attitudes was shown to be higher for people who were not specific about their gender preferences. It is concluded that there is no need to introduce a robot that specifies its gender. Robots with a gender-neutral appearance might be more appropriate for applications requiring complex human–robot interaction and help avoid reproducing a gender bias. (shrink)

This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to “merge” DEL and ETL was made in van Benthem et al. (Merging frameworks for interaction: DEL and ETL, 2007) and followed up by van Benthem et al. (J Phil Logic 38(5):491–526, 2009) and Hoshi (Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University Stanford, 2009a). The merged framework provides a (...) systematic comparison between these two logical systems and studies new logics of intelligent interaction. This paper presents the main results and the recent developments at the interface between DEL and ETL. (shrink)

Le chien, dit-on, est le meilleur ami de l’homme. En est-il de même de la femme? Que fait le chien dans la construction sociale du genre? Le livre d’Aaron Skabelund aborde cette question à travers une étude des rôles joués par le chien symbolique et les chiens réels dans le Japon contemporain depuis l’ère Meiji, notamment dans le contexte impérial. S’il ne traite pas de la question du genre de façon systématique, le problème de l’identité nationale, intimement lié à celui (...) de la masculinité,... (shrink)

Autrefois déconsidéré, le chat a aujourd’hui le statut privilégié d’animal de compagnie, au terme d’un long processus de valorisation amorcé au xviiie siècle. Cet article montre comment le premier livre consacré à cette espèce, Les Chats (1727) de François-Auguste de Paradis de Moncrif, contribua à ce changement. Là où le chat passait pour un sujet féminin et frivole, « l’historiogriffe » en fit un objet d’histoire, combinant deux modèles de masculinité, érudite et galante, dissociés par la Querelle des Anciens et (...) des Modernes. L’érudition lui permit de critiquer la phobie des chats en renvoyant aux mœurs des Orientaux, mais aussi de citer maints amateurs et amatrices de la haute société française. Moncrif réunit ainsi une communauté émotionnelle livresque constituée de félinophiles estimables, hommes et femmes, pour démontrer qu’il est parfaitement juste et raisonnable de chérir un chat. (shrink)

This paper offers an alternative historical account of debate in Japan during the Meiji, Taishō, and early Shōwa eras. Most previous studies on the modern history of debate in Japan have focused on Yukichi Fukuzawa or political advocacy by voluntary associations in the Freedom and People’s Rights Movement. Contrary to the prevailing view that debate had largely dissipated by 1890 due to the government’s strict regulations and crackdowns, this paper demonstrates that debate continued to be an important activity of youth (...) clubs across the nation. Emerging around the late 1880s, those youth clubs regularly held intra-group debates on various topics in order to advance knowledge in academic and practical matters. This paper concludes by suggesting that far from suppressing debates altogether, political authorities tolerated, and even promoted, certain forms of debate which they deemed fit for producing active yet subservient citizens. (shrink)

A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature (...) on epistemic logic, there are a variety of accounts that make precise a notion of an agent's "limited access" (for example, Awareness Logics, Justification Logics, and Inference Logics). This paper interprets the agents' access set of formulas as a constraint on the agents' information gathering process limiting which formulas can be observed. (shrink)

The indispensability argument, which claims that science requires beliefs in mathematical entities, gives a strong motivation for mathematical realism. However, mathematical realism bears Benacerrafian ontological and epistemological problems. Although recent accounts of mathematical realism have attempted to cope with these problems, it seems that, at least, a satisfactory account of epistemology of mathematics has not been presented. For instance, Maddy's realism with perceivable sets and Resnik's and Shapiro's structuralism have their own epistemological problems. This fact has been a reason to (...) rebut the indispensability argument and adopt mathematical nominalism. Since mathematical nominalism purports to be committed only to concretia, it seems that mathematical nominalism is epistemically friendlier than mathematical realism. However, when it comes to modal mathematical nominalism, this claim is not trivial. There is a reason for doubting the modal primitives that it invokes. In this thesis, this doubt is investigated through Chihara's Constructibility Theory. Chihara's Constructibility Theory purports not to be committed to abstracta by replacing existential assertions of the standard mathematics with ones of constructibility. However, the epistemological status of the primitives in Chihara's system can be doubted. Chihara might try to argue that the problem would dissolve by using possible world semantics as a didactic device to capture the primitive notions. Nonetheless, his analysis of possible world semantic is not plausible, when considered as a part of the project of nominalizing mathematics in terms of the Constructibility Theory. (shrink)

BackgroundAlthough, moral distress presents a serious problem among critical care nurses in many countries, limited research has been conducted on it. A validated scale has been developed to evaluate moral distress and has enabled cross-cultural comparison for seeking its root causes.Research aimsThis study aimed to (1) clarify the current status of moral distress among nurses who worked in critical care areas in Japan, (2) compare the moral distress levels among nurses in Japan with previously reported results from the United States (...) (US), and (3) explore the factors associated with moral distress.Research designA nationwide cross-sectional study was conducted.Participants and research contextWe conducted a self-administered questionnaire survey using the Measure of Moral Distress–Healthcare Professionals (MMD-HP) among critical care nurses who were randomly selected from hospitals across Japan. The mean differences between the two countries were compared using a Student's t-test with summary statistics. The factors associated with higher levels of moral distress were examined using a multiple regression analysis.Ethical considerationsThe study was approved by the Ethics Committee of the Tokyo Medical and Dental University (approval nos. M2018-214 and M2019-045).ResultsWe obtained 955 valid responses from 94 facilities. In Japan, the items with the highest moral distress scores were those related to aggressive/inappropriate treatment. The total MMD-HP score was significantly higher in Japanese nurses compared to US nurses (122.8 ± 70.8 vs 112.3 ± 73.2). Some factors, such as leadership experience, were associated with higher moral distress.DiscussionThe top root causes of moral distress were similar to potentially inappropriate treatments in both countries.ConclusionThis study revealed the factors associated with higher moral distress and its characteristics in each country. These results can be used for reducing moral distress in the future. (shrink)

Background:Moral distress has various adverse effects on nurses working in critical care. Differences in personal values, and between values and self-perception of behaviour are factors that may cause moral distress.Research aims:The aims of this study were (1) to identify ethical values and self-perception of behaviour of critical care nurses in Japan and (2) to determine the items with a large difference between value and behaviour and the items with a large difference in value from others.Research design:A nationwide, cross-sectional study was (...) conducted.Participants and research context:We developed a self-administered questionnaire with 28 items, which was completed by 1014 critical care nurses in Japan. The difference between value and self-perception of behaviour was calculated from the score of each value item minus the score of each self-perception of behaviour item. The size of the difference in value from the others was judged by the standard deviation of each item.Ethical considerations:The study was approved by the Ethics Committee of the Tokyo Medical and Dental University (approval nos. M2018-214, M2019-045).Results:The items with a large difference between value and behaviour sources were related to the working environment and decision-making support. The items with a large difference in value from others were related to hospital management and disclosure of information to patients.Discussion:Improving the working environment for nurses is important for reducing moral distress. Nurses are faced with a variety of choices, including advocating for patients and protecting the fair distribution of medical resources, and each nurse’s priorities might diverge from those of other team members, which can lead to conflict within the team.Conclusion:This study revealed items with particularly high risks of moral distress for nurses. The results provide foundational information that can guide the development of strategies to mitigate moral distress. (shrink)

This study analyzed the effects of aging on post-error behavioral adjustments from the perspective of cognitive control. A modified error awareness task was administered to young and older adults. In this task, two buttons were placed on the left and right sides in front of the participants, who were instructed to use the right button to perform a go/no-go task, and were notified if they made an error. There were three experimental conditions : participants had to push the right button (...) once in Condition A and twice in Condition B and C when a go-stimulus was presented. Conversely, participants were asked to withhold their response when a no-go stimulus was presented. Response inhibition differed depending on the experimental condition. The participants were asked to push the left button as quickly as possible when an error occurred. The results showed relatively longer reaction times to sudden errors among older adults compared with young adults. Furthermore, the difference in the error responses strongly influenced older adults’ response time after an error. These results suggest that the shift from proactive to reactive control may significantly influence post-error behavioral adjustments in older adults. (shrink)

Theoretically, people’s justification of a sentencing decision involves a hybrid structure comprising retribution, incapacitation, general deterrence, and rehabilitation. In this study, a new ratio-type measure was developed to assess this structure and was tested to detect changes in the weighting of justification according to the content emphasized in a particular crime. Two child neglect scenarios were presented to participants, where they read either a severe-damage scenario or a moderate-damage scenario. Participants then indicated the proportion of importance they placed on each (...) justification in determining the defendant’s punishment, with an overall proportion of 100%, along with responding to the sentence on an 11-point scale. This study involved a two-factor analysis of variance for justification ratios, a t-test for the sentence, and a multiple regression analysis with three demographic variables, the four justifications as independent variables, and the sentence as the dependent variable. The ratio of retribution to rehabilitation was reversed depending on the scenario: in the severe-damage scenario, retribution was weighted highest at 27.0% and rehabilitation was weighted at only 19.0%. By contrast, in the moderate-damage scenario, rehabilitation had the highest weighting of about 26.2%, while retribution was weighted at 21.5%. The sentence was more severe in the severe-damage scenario. Multiple regression analysis suggested that in the severe-damage scenario, most participants failed to deviate from choosing retribution by default and decided on heavier sentences, while some who considered rehabilitation and incapacitation opted for lighter sentences. The present measure succeeded in detecting changes in the weighting of justification, which can be difficult to detect with common Likert Scales. In addition, it was found that not only retribution but utilitarian justification was considered in the sentencing decisions of serious cases. (shrink)

Spirituality is an important, but oft-overlooked, aspect of the self that may affect college students’ wellbeing and belonging. Few studies have systematically examined closeness to God and spiritual struggles as predictors of college student wellbeing during early college, which is a critical window for identity development. Moreover, research exploring interactions between spiritual struggles and closeness to God in predicting wellbeing outcomes is scarce. We address these gaps in the literature with an analytic sample comprised of 839 first-year college participants who (...) identify as religious. The results of correlational analyses and linear mixed effect models are presented. Closeness to God was associated with greater wellbeing and belonging, and spiritual struggles were associated with lower wellbeing and belonging. In exploratory analyses, a moderating effect of closeness to God on the relation between spiritual struggles and negative outcomes was observed. Implications for higher education and college student development are discussed. (shrink)

フォイエルバッハの「食の哲学構想」の解読を基礎に、現代日本の食の世界が抱えている諸問題を考察する。.

The members of the Six gene family were identified as homologues of Drosophila sine oculis which is essential for compound-eye formation. The Six proteins are characterized by the Six domain and the Six-type homeodomain, both of which are essential for specific DNA binding and for cooperative interactions with Eya proteins. Mammals possess six Six genes which can be subdivided into three subclasses, and mutations of Six genes have been identified in human genetic disorders. Characterization of Six genes from various animal (...) phyla revealed the antiquity of this gene family and roles of its members in several different developmental contexts. Some members retain conserved roles as components of the Pax-Six-Eya-Dach regulatory network, which may have been established in the common ancestor of all bilaterians as a toolbox controlling cell proliferation and cell movement during embryogenesis. Gene duplications and cis-regulatory changes may have provided a basis for diverse functions of Six genes in different animal lineages. (shrink)

ABSTRACTWe tested the response dynamics of the evaluative priming effect using a mouse tracking procedure that records hand movements during the execution of categorisation tasks. In Experiment 1, when participants performed the evaluative categorisation task but not the non-evaluative semantic categorisation task, their mouse trajectories for evaluatively incongruent trials curved more toward the opposite response than those for evaluatively congruent trials, indicating the emergence of evaluative priming effects based on response competition. In Experiment 2, implementing a task-switching procedure in which (...) evaluative and non-evaluative categorisation tasks were intermixed, we obtained reliable evaluative priming effects in the non-evaluative semantic categorisation task as well as in the evaluative categorisation task when participants assigned attention to the evaluative stimulus dime... (shrink)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

Diachronic uncertainty, uncertainty about where an agent falls in time, poses interesting conceptual difficulties. Although the agent is uncertain about where she falls in time, this uncertainty can only obtain at a particular moment in time. We resolve this conceptual tension by providing a transformation from models with diachronic uncertainty relations into “equivalent” models with only synchronic uncertainty relations. The former are interpreted as capturing the causal structure of a situation, while the latter are interpreted as capturing its epistemic structure. (...) The models are equivalent in the sense that agents pass through the same information sets in the same order, In this paper, we investigate how such a transformation may be used to define an appropriate notion of equivalence, which we call epistemic equivalence. Although our project is motivated by problems which have arisen in a variety of disciplines, especially philosophy and game theory, our formal development takes place within the general and flexible framework provided by epistemic temporal logic. (shrink)

A great deal of research has been performed recently on robots that feature functions for communicating with humans in daily life, i.e., communication robots. We consider it important to develop methods to measure humans’ attitudes and emotions that may prevent them from interaction with communication robots, as indices to study short-term and long-term interaction between humans and communication robots. This study is aimed at exploring the influence of negative attitudes toward robots, focusing on applications of communication robots to daily-life services. (...) First, a scale of negative attitudes toward robots consisting of three subordinate scales, “negative attitudes toward situations of interaction with robots,” “negative attitudes toward the social influence of robots,” and “negative attitudes toward emotions in interaction with robots,” was developed based on a data sample comprising of 263 Japanese university students. This scale was administered to 240 Japanese university students to confirm its validity and reliability. In this paper, we report on the results of analyses of these data samples. Moreover, we discuss some future problems including a comparison of attitudes toward robots between nations. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Against the prevailing outcomes-based education and the instrumentalization of education, a movement has arisen towards holistic education. This aims to go beyond objective measurement of the outcomes of education in order to treat the student as a whole person. In this paper, we shall examine some strands of education in Japan which in some way or another feature the idea of the whole person. This includes the tradition of clinical pedagogy, which originated in Kyoto University, Yukichi Shitahodo’s educational anthropology (Kyoiku-Ningengaku), (...) Kuniyoshi Obara’s Zenjin Education (the education of the whole person) and holistic education. Notwithstanding the fact that such education is benevolent in intention, it can be miseducative in some respects. In the light of this, and with some reference to criticism of the idea of the whole person, we shall point to an alternative vision of education of the whole person following Cavell’s Emersonian moral perfectionism – a perfectionism that is thoroughly anti-foundationalist and that transcends self-entrapment in circulatory discourse on the whole. In critical dialogue between the rich traditions of Japanese thought and the critical voice of liberalism raised from within the West, we hope to find a more nuanced answer to the question of how being a whole might make sense. (shrink)