We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom I2. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.

This is the translation of the so-called Morioka&Sugimoto proposal on brain death and transplantation. We proposed that the prior declaration of a brain dead child should be respected, and that when the child does not have a donor card the organ removal should be prohibited. A material for understanding an unprecedented bioethics debate now occurring in Japan.

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

Determining the relationship between the entire brain structure and individual differences is important in extending healthy life expectancy, which can be affected by brain atrophy. The entire brain structure has been gradually known to be correlated not only with age but also with individual differences, such as quality of life, general intelligence, and lifestyle. However, little attention has been paid to the relationship between the entire brain structure and personal traits. We herein focused on one personal trait, namely spiritual growth, (...) and examined its relationship with the entire brain structure using two neuroimaging-derived measures, namely the gray matter Brain Healthcare Quotient, a measure of GM volume, and the fractional anisotropy Brain Healthcare Quotient, a measure of white matter integrity, in 229 healthy participants. The results indicated no significant relationship between the GM-BHQ and spiritual growth, but there was a significant positive correlation between the FA-BHQ and spiritual growth after controlling for age, sex, and body mass index with partial correlation analysis. Furthermore, multiple regression analysis revealed a significant positive correlation between the FA-BHQ and spiritual growth after controlling for physical characteristics, such as age, sex, and BMI, as well as other variables related to lifestyle that were collected using the Health-Promoting Lifestyle Profile. These results support the idea that there is a relationship between the entire WM brain structure and spiritual growth. Further studies are required to clarify the causal relationship between the entire WM brain structure and spiritual growth with some interventions to improve spiritual growth. Such studies will help extend healthy life expectancy from a new perspective of personal trait. (shrink)

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...) the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (shrink)

Yanagita Kunio (1875-1962), one of the most representative of Japanese folklorists, sees the different aspects of forests as a composite whole comprising customs, legends and way of life of the inhabitants. Yanagita looks at this in detail, wishing to understand how the forest is related to the life and customs of the people living there, an attitude that could be called an understanding from within. Given the complexity of the issue of the earth’s ecology, Yanagita suggests adopting the same attitude.

This paper considers fair betting odds for certain bets that might be placed in the situation discussed in the so-called Sleeping Beauty Problem. This paper examines what Thirders, Halfers, and Double Halfers must say about the odds as determined by various decision theoretic approaches and argues that Thirders and Halfers have difficulties formulating plausible and coherent positions concerning the relevant betting odds. Double Halfers do not face this problem and that is an important consideration in favor of Double Halfers.

Many cultures have had knowledge imposed from outside, whether by force or for reasons of power, to the detriment of their own endogenous knowledge and the wisdom developed throughout their history. Would Japan’s acquisition of Western knowledge have led but to the development of a lesser know-how, devoid of meaning or sense, or even of knowledge which it might be better to ignore? Far from benefiting from an endogenous development or a modernization respectful of beings and of their environment, the (...) developing countries that superficially adopt this unilateral knowledge undergo a type of ‘self-colonization’. Although concurring with biologist Keiko Nakamura’s theory that scientific attitudes must be studied from within, Masahiro Hamashita considers that knowledge from outside allows for more solid internal reflection. He thus advocates the development of an integrated, hybrid knowledge, where external knowledge is mixed with internal knowledge in a spontaneous, harmonious way, as was the case with the traditional knowledge that Japan acquired from China. (shrink)

Painless civilization is a term I coined in my Japanese book of the same title, which was published in 2003. Contemporary civilization aims to provide pleasure and comfort and eliminate pain and suffering as much as possible. This is especially evident in advanced countries. Contemporary civilization is moving toward a painless civilization. However, in a painless civilization, we are deprived of the joy of life, which is considered a fundamental source of meaning in life, and we are led toward the (...) situation of drowning in a sea of pleasure. This is a kind of dystopia, and we cannot find an easy way to escape from it. It is important to pay special attention to this aspect of contemporary civilization when we think about the future of our planet. (shrink)

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...) Gentzen's proof-reductions and showed that his game is independent of PA. We show that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φω = ϵ0) in the Veblen hierarchy of ordinals. (shrink)

We show that every MALL proof-structure [9] satisfies the property of softness, originally a categorical notion introduced by Joyal. Furthermore, we show that the notion of hereditary softness precisely captures Girard’s algebraic restriction of the technical condition on proof-structures. Relying on this characterization, we prove a MALL+Mix sequentialization theorem by a proof-theoretical method, using Girard’s notion of jump. Our MALL+Mix correctness criterion subsumes the Danos/Fleury-Retoré criterion [6] for MLL+Mix.

現代における重要テーマをめぐって重ねてきた言葉たちを結晶化した対談集。対談者:戸谷洋志、小松原織香、山口尚、永井玲衣.

Shweder et al. (1997) proposed the three domains of morality: Autonomy, Community, and Divinity. This study used situation sampling to explore how people from Japan and the U.S. interpret moral transgressions provided in their own and another cultural context. Specifically, the analysis tested whether participants with one cultural background recognize culturally congruent moral transgressions as violations more frequently and feel more harshly towards them than culturally incongruent domains. Furthermore, the extent of evocation caused by the home and another culture was (...) investigated. This study asked 102 Japanese and 168 U.S. participants to judge which domain would be primarily involved in each transgression and to rate their wrongness. Participants showed a higher perceived magnitude of transgressions in culturally valued domains provided by in-group than outside members. Cross-cultural differences in morality and future directions are discussed. (shrink)

Résumé Yanagita Kunio (1875-1962), un des plus représentatifs folkloristes japonais, considère les différents aspects d’une forêt comme un ensemble composite qui comprend les coutumes, légendes et modes de vie des habitants. Le regard de Yanagita est un regard proche, qui souhaite comprendre comment la forêt se rapporte à la vie et aux coutumes de la population qui y habite. Une attitude qui pourrait être celle d’une « compréhension de l’intérieur ». Face à la complexité de la question écologique de la (...) terre, Yanagita suggère d’adopter cette même attitude. (shrink)