We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them are: fan theorem for decidable fans but arbitrary bars; continuity principle (...) and the axiom of choice both for arbitrary formulae; and $\Sigma _2$ induction and dependent choice. We also show that Markov’s principle MP does not change this situation; that neither does lesser limited principle of omniscience LLPO ; but that limited principle of omniscience LPO makes the situation completely classical. (shrink)

In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0*, which consists of the axioms of discrete ordered semi‐rings with exponentiation, Δ10 comprehension and Π00 induction, and which is known as a weaker system than the popularbase theory RCA0: 1. Bisep(Δ10, Σ10)‐Det* ↔ WKL0, 2. Bisep(Δ10, Σ20)‐Det* ↔ (...) ATR0 + Σ11 induction, 3. Bisep(Σ10, Σ20)‐Det* ↔ Sep(Σ10, Σ20)‐Det* ↔ Π11‐CA0, 4. Bisep(Δ20, Σ20)‐Det* ↔ Π11‐TR0, where Det* stands for the determinacy of infinite games in the Cantor space (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

In this paper, we consider, for a set \ of natural numbers, the following notions of finitenessFIN1:There are a natural number l and a bijection f between \\);FIN5:It is not the case that \\), and infinitenessINF1:There are not a natural number l and a bijection f between \\);INF5:\\). In this paper, we systematically compare them in the method of constructive reverse mathematics. We show that the equivalence among them can be characterized by various combinations of induction axioms and non-constructive principles, (...) including the axiom of bounded comprehension. (shrink)

The Linguistic Inquiry and Word Count Dictionary 2015 is a standard text analysis dictionary that quantifies the linguistic and psychometric properties of English words. A Japanese version of the LIWC2015 dictionary has been expected in the fields of natural language processing and cross-cultural research. This study aims to create the J-LIWC2015 through systematic investigations of the original dictionary and Japanese corpora. The entire LIWC2015 dictionary was initially subjected to human and machine translation into Japanese. After verifying the frequency of use (...) of the words in large corpora, frequent words and phrases that are unique to Japanese were added to the dictionary, followed by recategorization by psychologists. The updated dictionary indicated good internal consistency, semantic equivalence with the original LIWC2015 dictionary, and good construct validity in each category. The evidence suggests that the J-LIWC2015 dictionary is a powerful research tool in computational social science to scrutinize the psychological processes behind Japanese texts and promote standardized cross-cultural investigations in combination with LIWC dictionaries in different languages. (shrink)

Neo-Confucian influence in early modern Japan was highly intellectual, indicating that Confucian ideals did not change the nature of Japanese norms of social lives. For early modern Japanese intellectuals, the conflict and contradiction between reality and ideals had always been a source of debate and inspiration. Within the theme of Neo-Confucian rites, the contradiction was highlighted owing to the fact that it included a guideline for authentic ancestral worship and religious policy. Once introduced within the Japanese circumstances of the day, (...) Confucian understanding on spirits and proper rites lead Japanese scholars to define what was legitimate worship in the format of state religion: it was necessary to authorize traditional Japanese worship toward domestic shrines. Within thepractical process of policy making, it must be noted that a keen interest toward local beliefs had emerged through the discussion. Arai Hakuseki (1657‐1725) reflects such political interest within his work ‘Kishinron’. In order to understand the impact of Japanese interpretation of Neo-Confucian ideals, it is essential to focus on the interrelationship between religious policy and interest toward local beliefs. (shrink)

Original title : 「ドガの『舞姫』」『深田康算全集』[Œuvres complètes de Fukada Yasukazu]. Machida, Tamagawa Daigaku Shuppanbu, 1972–1973, 3 : 9–15.

In this note, we prove that certain theories of (many‐sorted) intuitionistic predicate logic are closed under the independence of premiss rule (IPR). As corollaries, we show that and extended by some non‐classical axioms and non‐constructive axioms are closed under IPR.

In this study, we propose the Ankle-Worn Sensor Sleeve to help people maintain their health. Furthermore, our approach uses this sensor sleeve to improve walking motivation by making the walking motion more sensible. In this research, we pursue the design of a wearable device that users can wear as a “shoe accessory,” with the aim of promoting people’s walking motivation. This device is ankle-worn and generates electricity using the physical flexion and extension of the ankle, detects and acquires the amount (...) of electricity generated, and uses the resulting power to produce sound and light feedback while walking. The Sleeve is designed to support health problems, such as locomotive syndrome and dementia, which are caused by physical inactivity. This article presents the results of a questionnaire survey conducted on 172 people who experienced or observed the device during exhibitions. The results reveal that this device increased people’s interest and motivation to walk, including those who did not like to walk. (shrink)

This study investigated the circumstances and problems that departments of forensic medicine encounter with bereaved families regarding samples obtained from medico-legal autopsies. A questionnaire was posted to all 76 departments of forensic medicine performing medico-legal autopsies in Japan, and responses were received from 48 . Of the respondents, 12.8% had approached and communicated with bereaved families about collecting samples from the deceased person during an autopsy and the storage of the samples. In addition, 23.4% of these had informed families that (...) samples might be used in research. Eighteen departments had received enquiries and requests from families about the samples, with most requests concerning their return. The response to such requests varied according to the department. Few departments interacted with the bereaved families regarding the procedure for obtaining autopsy samples, and their methods for handling family concerns differed depending on the person within the department authorised to contact the family. Moreover, the procedures for engaging in such communication have long been unclear, and no legal or ethical consensus or agreement with the general public has been established. It is important for researchers to further discuss the correct way for forensic medicine departments to communicate with bereaved families. (shrink)

In this paper, we deal with a relationship among the law of excluded middle, the double negation elimination and the independence of premiss rule ) for intuitionistic predicate logic. After giving a general machinery, we give, as corollaries, several examples of extensions of \ and \ which are closed under \ but do not derive the independence of premiss axiom.

The early right anterior negativity (ERAN) in event-related potentials (ERPs) is typically elicited by syntactically unexpected events in Western tonal music. We examined how visual predictive information influences syntactic processing, how musical or non-musical cues have different effects, and how they interact with sequential effects between trials, which could modulate with the strength of the sense of established tonality. The EEG was recorded from musicians who listened to chord sequences paired with one of four types of visual stimuli; two provided (...) predictive information about the syntactic validity of the last chord through either musical notation of the whole sequence, or the word “regular” or “irregular”, while the other two, empty musical staves or a blank screen, provided no information. Half of the sequences ended with the syntactically invalid Neapolitan sixth chord, while the other half ended with the Tonic chord. Clear ERAN was observed in frontocentral electrodes in all conditions. A principal component analysis was performed on the grand average response in the audio-only condition, to separate spatio-temporal dynamics of different scalp areas as principal components and use them to extract auditory-related neural activities in the other visual-cue conditions. The first principal component (PC1) showed a symmetrical frontocentral topography, while the second (PC2) showed a right-lateralized frontal concentration. A source analysis confirmed the relative contribution of temporal sources to the former and a right frontal source to the latter. Cue predictability affected only the ERAN projected onto PC1, especially when the previous trial ended with the Tonic chord. The ERAN in PC2 was reduced in the trials following Neapolitan endings in general. However, the extent of this reduction differed between cue-types, whereby it was nearly absent when musical notation was used, regardless of whether the staves were filled with notes or empty. The results suggest that the right frontal areas carry out the primary role in musical syntactic analysis and integration of the ongoing context, which produce schematic expectations that, together with the veridical expectation incorporated by the temporal areas, inform musical syntactic processing in musicians. (shrink)

Drawing from research on moral judgment and affective dysfunction, we examined how trait psychopathy and alexithymia, which are characterized as empathic deficits, relate to utilitarian moral judgments in sacrificial dilemmas. As predicted, primary and secondary psychopathy traits and alexithymia were associated with reduced empathic concern. However, primary psychopathy and difficulty identifying feelings (one of three alexithymia traits), but not secondary psychopathy and other two alexithymia traits, were associated with utilitarian judgments. Moreover, hierarchical regression analysis showed that primary psychopathy, difficulty identifying (...) feelings, and empathic concern made unique contributions to the prediction of direct harm on the victim, whereas alexithymia traits made weaker contributions. Although the lack of affective empathy is found in psychopathy and alexithymia, the process through which the two traits lead to utilitarian judgment in sacrificial dilemmas may be distinct. The present findings add to the growing literature, contributing to a fuller picture of the relationship between empathy, trait psychopathy, and alexithymia. (shrink)

We introduce the notion of a convex tree. We show that the binary expansion for real numbers in the unit interval ) is equivalent to weak König lemma ) for trees having at most two nodes at each level, and we prove that the intermediate value theorem is equivalent to \ for convex trees, in the framework of constructive reverse mathematics.

Background Advance care planning (ACP) is a process in which adults engage in an ongoing dialogue about future medical treatment and care. Though ACP is recommended to improve the quality of end-of-life care, the details of the dialogue experience in ACP are unknown. Objective To explore participants’ experiences of dialogue in an ACP educational program that encouraged them to discuss the value of a way of life. Research design This qualitative descriptive study used the focus group interview method. Data were (...) analyzed using qualitative content analysis. Participants and research context A dialogue-based ACP educational program was conducted in four regions in Japan for local citizens to discuss the value of their way of life. A total of 66 individuals (mean age = 55.5 ± 17.2 years; 50 women and 16 men) participated in focus group interviews. Ethical considerations This study was approved by the Ethical Review Committee of Tokyo Women’s Medical University (no. 4723) and Kyoto University (no. R2099). Findings Five main themes were extracted: discussing one’s thoughts with others in a considerate manner, reflecting on one’s way of life through others, feeling a sense of connection with others through storytelling, realizing the difficulties of talking about “what if” topics, and turning one’s eyes toward the future through the dialogue. These themes were interrelated and illustrated the complexity of the experience of discussing values. Conclusions The results suggest that dialogue in ACP is useful in clarifying values. They also indicated the need for dealing with the ethical challenges of discussing value and the importance of caring for the interlocutor to have a safe dialogue. In the ACP process, safety in dialogue may improve readiness in ACP, and health practitioners who support ACP need to address the ethical challenges entailing dialogue about values. (shrink)

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion (...) of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID. (shrink)

We investigated the effect of culture, moral discourse, and motivation to engage in prosocial behavior on benefactors’ positive affect. Participants from three cultures responded to scenarios in which they could perform small acts of kindness for different targets. A stronger relationship between agentic and obligated motivation to perform acts of kindness, as well as between obligated motivation and positive affect, was observed for participants from Japan, and for individuals with higher endorsement of the Community Ethic. Agentic motivation to engage in (...) prosocial behavior was related to benefactors’ positive affect, regardless of relationship type. (shrink)

We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...) $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles. (shrink)

The global community, from UNESCO to NGOs, is committed to promoting the status of women in science, engineering and technology, despite long-held prejudices and the lack of role models. Previously, when equality was not firmly established as a key issue on international or national agendas, women’s colleges played a great role in mentoring female scientists. However, now that a concerted effort has been made by governments, the academic community and the private sector to give women equal opportunities, the raison d’être (...) of women’s universities seems to have become lost. This paper argues otherwise, by demonstrating that women’s universities in Japan became beneficiaries of government initiatives since the early 2000s to reverse the low ratio of women in scientific research. The paper underscores the importance of the reputation of women’s universities embedded in their institutional foundations, by explaining how female scientific communities take shape in different national contexts. England, as a primary example of a neoliberal welfare regime, with its strong emphasis on equality and diversity, promoted its gender equality policy under the auspices of the Department of Trade and Industry. By contrast, with a strong emphasis on family values and the male-breadwinner model, the Japanese government carefully treated the goal of supporting female scientists from the perspective of the equal participation of both men and women rather than that of equality. Following this trend, rather contradictorily, women’s universities, with their tradition of fostering a ‘good wife, wise mother’ image, began to be highlighted as potential gender-free institutions that provided role models and mentoring female scientists. By drawing on the cases of England and Japan, this paper demonstrates how the idea of equality can be framed differently, according to wider institutional contexts, and how this idea impacts on gender policies. (shrink)