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)

Abstract -/- In 1998, the Council for Science and Technology established the Bioethics Committee and asked its members to examine the ethical and legal aspects of human cloning. The Committee concluded in 1999 that human cloning should be prohibited, and, based on the report, the government presented a bill for the regulation of human cloning in 2000. After a debate in the Diet, the original bill was slightly modified and issued on December 6, 2000. In this paper, I take a (...) closer look at this process and discuss some of the ethical problems that were debated. Also, I make a brief analysis of the concept “the sprout of human life.” Not only people who object to human cloning, but also many of those who seek to promote research on human cloning admit that a human embryo is the sprout of human life and, hence, it should be highly respected. I also discuss the function of the language of utilitarianism, the language of skepticism, and religious language appeared in the discussion of human cloning in Japan. (shrink)

The concept of antinatalism is now becoming popular on the Internet. Many online newspaper articles deal with this topic, and numerous academic papers on antinatalism have been published over the past ten years in the fields of philosophy and ethics. The word “antinatalism” was first used in the current meaning in 2006, when the two books that justify the universal negation of procreation were published: one by David Benatar and the other by Théophile de Giraud. However, we can find various (...) prototypes of antinatalistic thoughts in ancient Greece, ancient India, and modern Europe. You might recall the name Schopenhauer. In this paper, I briefly summarize the history of antinatalistic thoughts and propose a set of categories on antinatalism and related thoughts. (shrink)

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.

We provide a natural extension of the intuitionistic natural deduction system NJ with at most two consequences, which we call a binary conclusion natural deduction system. The classical natural deduction system NK is defined as NJ together with the law of the excluded middle or the double negation principle. However, in contrast to NK, the new BCN system has no such classical rule, but has two kinds of rules managing two consequences. One is to eliminate one consequence and the other (...) is to introduce another consequence. Except on this point, BCN proofs are derived in exactly the same way as those in NJ. It is shown that with respect to the propositional fragment of NK, the BCN system is sound and sufficiently complete to prove classical propositional theorems. Moreover, as a corollary we obtain a general form of Glivenko's theorem and disjunction property for one of the two consequences. We also show the normalization theorem for BCN. Finally, we study some extensions of BCN to classical predicate logic. (shrink)

To me, philosophy is the relentless pursuit of 1) how I am to live and die from this moment forward and 2) the meaning of my having been born. This pursuit does not stop until I reach an understanding that satisfies me. If I expand my field of view slightly, it is to understand where humanity came from and where it is going through an intellectual lens. When I entered the ethics program at the University of Tokyo, I thought I (...) could do this sort of thing at a university. This expectation, however, was utterly betrayed. The study of philosophy at Japanese universities in the 1980s was mainly the study of writings by Western philosophers. What was undertaken in the ethics program and neighboring philosophy program was the close reading and interpretation of detailed elements of texts by great philosophers, always in the original language, and this was considered to be philosophy and ethics. I strongly opposed this even as I entered graduate school, and my first presentation given to the Japanese Society for Ethics when I was a graduate student was a critique of this organization.... (This is an English translation of a slightly modified version of my Japanese essay “What Does Doing Philosophy Mean to Me?,” which was published in the August issue of Contemporary Thought (Special Feature: How Philosophy is Made). It offers insight not only into my way of thinking about philosophy but also into the world of contemporary Japanese philosophy.). (shrink)

A change of gaze behavior at a small mistake moment is a natural response that reveals our own mistakes and suggests an apology to others with whom we are working or interacting. In this paper we investigate how robot gaze behaviors at small mistake moments change the impressions of others. To prepare gaze behaviors for a robot, first, we identified by questionnaires how human gaze behaviors change in such situations and extracted three kinds: looking at the other, looking down, and (...) looking away. We prepared each gaze behavior, added a no-gaze behavior, and investigated how a robot’s gaze behavior at a small mistake moment changes the impressions of the interacting people in a simple cooperative task. Experiment results show that the ‘looking at the other’ gaze behavior outperforms the other gaze behaviors and indicates the degrees of perceived apologeticness and friendliness. Keywords: Communication robots; gaze; mistake; mitigation. (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.

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.

The Japanese Transplantation Law is unique among others in that it allows us to choose between "brain death" and "traditional death" as our death. In every country 20 to 40 % of the popularion doubts the idea of brain death. This paper reconsiders the concept, and reports the ongoing rivision process of the current law. Published in Hastings Center Report, 2001.

In this paper, the concept of birth affirmation is clarified in both the psychological dimension and the philosophical dimension. In the psychological dimension, we propose two interpretations: 1) Possible world interpretation: Even if I could imagine a possible world in which my ideal was realized or my grave sufferings were resolved, I would never think, at the bottom of my heart, that it would have been better to have been born to that possible world. 2) Anti-antinatalistic interpretation: I would never (...) think, at the bottom of my heart, that it would have been better not to have been born. In the philosophical dimension, we propose the following interpretation: The comparison of betterness or worseness between the actual world and a possible world and between my having been born and my not having been born should be impossible. In the final part of this paper, the differences from other related concepts and frequently asked questions are discussed. (shrink)

閉塞した現在の政治を担う主体を構想できるのか。世界秩序が揺れ動き、従来の国民概念・市民概念が変革を迫られる今、新たな理論的地平を切り開く。.

An e-book devoted to 13 critical discussions of Thaddeus Metz's book "Meaning in Life: An Analytic Study", with a lengthy reply from the author. -/- Preface Masahiro Morioka i -/- Précis of Meaning in Life: An Analytic Study Thaddeus Metz ii-vi -/- Source and Bearer: Metz on the Pure Part-Life View of Meaning Hasko von Kriegstein 1-18 -/- Fundamentality and Extradimensional Final Value David Matheson 19-32 -/- Meaningful and More Meaningful: A Modest Measure Peter Baumann 33-49 -/- Is Meaning (...) in Life Comparable?: From the Viewpoint of ‘The Heart of Meaning in Life’ Masahiro Morioka 50-65 -/- Agreement and Sympathy: On Metz’s Meaning in Life Sho Yamaguchi 66-89 -/- Metz’s Quest for the Holy Grail James Tartaglia 90-111 -/- Meaning without Ego Christopher Ketcham 112-133 -/- Death and the Meaning of Life: A Critical Study of Metz’s Meaning in Life Fumitake Yoshizawa 134-149 -/- Metz’ Incoherence Objection: Some Epistemological Considerations Nicholas Waghorn 150-168 -/- Meaning in Consequences Mark Wells 169-179 -/- Defending the Purpose Theory of Meaning in Life Jason Poettcker 180-207 -/- Review of Thaddeus Metz’s Meaning in Life Minao Kukita 208-214 -/- A Psychological Model to Determine Meaning in Life and Meaning of Life Yu Urata 215-227 -/- Assessing Lives, Giving Supernaturalism Its Due, and Capturing Naturalism: Reply to 13 Critics of Meaning in Life Thaddeus Metz 228-278 . (shrink)

In this paper I attempt to open a new horizon in the field of civilization studies by examining the concept of painless civilization from the perspective of the philosophy of biological evolution. Since the space is limited, the priority will be given to the clarification of an overall structure. Modern civilization has created systems that seek “comfort and pleasure” and eliminate “pain and suffering” and has spread them to every corner of our society. It is progressing like a great wave (...) in many developed countries. I have called a civilization advancing in this direction a “painless civilization.” At first glance, the elimination of pain and suffering seems like a good thing. Of course, it is considered good if unbearable suffering (such as the pain of terminal cancer) that we encounter in our lives can be avoided through technology. This is not the problem. The problem is that modern civilization is moving in a direction where various forms of suffering that we might experience in the future are going to be erased from our lives, one after another, through preventive technologies (preventive elimination of pain). ... (shrink)

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 prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the *-autonomous category of topologized vector spaces. We do this by generalizing the recent work of Blute and Scott 101–142) where they used the semantical framework of dinatural transformation introduced by Girard–Scedrov–Scott , Logic from Computer Science, vol. 21, Springer, Berlin, 1992, pp. 217–241). By omitting the use of dinatural transformation, our semantics evidently allows the interpretation (...) of the cut-rule, while the original Blute–Scott's does not. Moreover, our interpretation for proofs is preserved automatically under the cut elimination procedure. In our semantics proofs themselves are characterized by the concrete algebraic notion “Z-invariance”, and our denotational semantics provides the full completeness. Our semantics is naturally extended to the full completeness semantics for CyLL+Mix owing to an elegant method of Blute–Scott 1413–1436) 101–142))). (shrink)

We give a model of set theory in which the strongly non‐stationary ideal over is weakly presaturated below some canonical set. Here μ is a regular uncountable cardinal. The model is the forcing extension with the Lévy collapse of a Woodin cardinal to the successor of μ. This improves on results of Goldring and of the first author.