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

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)

We explore the connections between Dickson’s lemma and weak Ramsey theory. We show that a weak version of the Paris–Harrington principle for pairs in c colors and miniaturized Dickson’s lemma for c-tuples are equivalent over \. Furthermore, we look at a cascade of consequences for several variants of weak Ramsey’s theorem.

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)

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)

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.

It is interesting to explore the effects of second language acquisition on anatomical change in brain at different stages for the neural structural adaptations are dynamic. Short-term Chinese training effects on brain anatomical structures in alphabetic language speakers have been already studied. However, little is known about the adaptations of the gray matter induced by acquiring Chinese language for a relatively long learning period in adult alphabetic language speakers. To explore this issue, we recruited 38 Indian overseas students in China (...) as our subjects. The learned group included 17 participants who had learned Mandarin Chinese for an average of 3.24 years and achieved intermediate Chinese language proficiency. The control group included 21 subjects who had no knowledge about Chinese. None of the participants had any experience in learning logographic and tonal language before Chinese learning. We found that the learned group had significantly greater gray matter volume in the left lingual gyrus compared with the control group; the Chinese characters’ reading accuracy was significantly and positively correlated to the GMV in the left LG and fusiform gyrus across the two groups; and in the learned group, the duration of Chinese learning was significantly and positively correlated with the GMV in the left inferior frontal gyrus after correction for multiple comparisons with small volume corrections. Our structural imaging findings are in line with the functional imaging studies reporting increased brain activation induced by Chinese acquisition in alphabetic language speakers. The regional gray matter changes reflected the additional requirements imposed by the more difficult processing of Chinese characters and tones. The present study also show that the biological bases of the adaptations induced by a relatively long period of Chinese learning were limited in the common areas for first and foreign language processing. (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)

Both W9 and OP3‐4 were known to bind the receptor activator of NF‐κB ligand (RANKL), inhibiting osteoclastogenesis. Recently, both peptides were shown to stimulate osteoblast differentiation; however, the mechanism underlying the activity of these peptides remains to be clarified. A primary osteoblast culture showed that rapamycin, an mTORC1 inhibitor, which was recently demonstrated to be an important serine/threonine kinase for bone formation, inhibited the peptide‐induced alkaline phosphatase activity. Furthermore, both peptides promoted the phosphorylation of Akt and S6K1, an upstream molecule (...) of mTORC1 and the effector molecule of mTORC1, respectively. In the in vivo calvarial defect model, W9 and OP3‐4 accelerated BMP‐2‐induced bone formation to a similar extent, which was confirmed by histomorphometric analyses using fluorescence images of undecalcified sections. Our data suggest that these RANKL‐binding peptides could stimulate the mTORC1 activity, which might play a role in the acceleration of BMP‐2‐induced bone regeneration by the RANKL‐binding peptides. (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.

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

Replete with madwomen, murderers, musicians, and mystics, "Lonely Woman" dramatically interweaves the lives of five women. It remains Takako Takahashi's most sustained and multifaceted fictional realization of her concept of "loneliness.".

Original source :「委員会の論理」『世界文化』[Culture du monde], n° 13, janvier 1936, 2–17 ; n° 14, février 1936, 16–33 ; n° 15, mars 1936, 12–25. Repris dans nmz 1 : 46–108. La version des œuvres complètes présente un certain nombre de variantes par rapport à la première publication en 1936. « La logique des comités » a été traduit en espagnol par Agustín J. Zavala. Je remercie vivement Saitō Takako pour sa relecture et ses précieuses remarques.

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus (...) -strategian keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

In the writings of the Japanese Pure Land Buddhist Shinran 親鸞 (1173–1263) we read: “I, Shinran, do not have a single disciple of my own” (SZ Supplement: 10; Saitō 2010: 242; Yuien 1996: 6). Is he simply being modest? Does Shinran defy discipleship? Does he rule out the possibility of the reception of his thought? The answer to these questions is not clear; nevertheless, what we do know is that the reader of his writings is supposed to arrive at the (...) Buddha’s original teaching. Shinran’s voluminous works, however, exhibit more than an introduction to, or simple interpretation of, the Buddha’s preaching. We may say that Shinran has given us sermons and treatises that manifest an authentic and unique appropriation of the Buddhist tradition, and, therefore, his works offer the possibility of a thoughtful reception for his interpreters and disciples. The philosopher KUKI Shūzō 九鬼周造 (1888–1941) wrote remarkable verses about Shinran seven centuries after his death: “I will have no disciple, said Shinran; as for me [Kuki], I long to have his soul” (KSZ Supplement, 146; Saitō 2010: 242). Kuki’s poetic reflections express Shinran’s quest for an authentic life, and echo back the existentialist aspect of his philosophy. More than this, his words commit him to Shinran as his teacher. Do these words not enact the most authentic discipleship possible? In fact, SAITŌ Takako takes Kuki’s verses as empirical evidence of his receiving the intellectual legacy of Shinran. Thus, at the end of her article, the proof of historical facticity of reception retroactively justifies Saitō’s careful comparison of Kuki’s thought with Shinran’s, which began based on presuming similarities in content. In other words, the factual findings prove the validity of comparing Shinran and Kuki, although a truthful reading is impossible to verify historically. Be that as it may, Kuki’s poetic expression demonstrates the history of the reception of a pre-modern Buddhist by a modern philosopher in Japan, regardless of whether this discipleship was ultimately judged to be authentic and perfected, or an untimely failure. (shrink)

In the writings of the Japanese Pure Land Buddhist Shinran 親鸞 we read: “I, Shinran, do not have a single disciple of my own”. Is he simply being modest? Does Shinran defy discipleship? Does he rule out the possibility of the reception of his thought? The answer to these questions is not clear; nevertheless, what we do know is that the reader of his writings is supposed to arrive at the Buddha’s original teaching. Shinran’s voluminous works, however, exhibit more than (...) an introduction to, or simple interpretation of, the Buddha’s preaching. We may say that Shinran has given us sermons and treatises that manifest an authentic and unique appropriation of the Buddhist tradition, and, therefore, his works offer the possibility of a thoughtful reception for his interpreters and disciples. The philosopher KUKI Shūzō 九鬼周造 wrote remarkable verses about Shinran seven centuries after his death: “I will have no disciple, said Shinran; as for me [Kuki], I long to have his soul”. Kuki’s poetic reflections express Shinran’s quest for an authentic life, and echo back the existentialist aspect of his philosophy. More than this, his words commit him to Shinran as his teacher. Do these words not enact the most authentic discipleship possible? In fact, SAITŌ Takako takes Kuki’s verses as empirical evidence of his receiving the intellectual legacy of Shinran. Thus, at the end of her article, the proof of historical facticity of reception retroactively justifies Saitō’s careful comparison of Kuki’s thought with Shinran’s, which began based on presuming similarities in content. In other words, the factual findings prove the validity of comparing Shinran and Kuki, although a truthful reading is impossible to verify historically. Be that as it may, Kuki’s poetic expression demonstrates the history of the reception of a pre-modern Buddhist by a modern philosopher in Japan, regardless of whether this discipleship was ultimately judged to be authentic and perfected, or an untimely failure. (shrink)