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.

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

LetKbe an algebraic number field andIKthe ring of algebraic integers inK. *Kand *IKdenote enlargements ofKandIKrespectively. LetxЄ *K–K. In this paper, we are concerned with algebraic extensions ofKwithin *K. For eachxЄ *K–Kand each natural numberd, YKis defined to be the number of algebraic extensions ofKof degreedwithin *K.xЄ *K–Kis called a Hilbertian element ifYK= 0 for alldЄ N,d> 1; in other words,Khas no algebraic extension within *K. In their paper [2], P. C. Gilmore and A. Robinson proved that the existence of a (...) Hilbertian element is equivalent to Hilbert's irreducibility theorem. In a previous paper [9], we gave many Hilbertian elements of nonstandard integers explicitly, for example, for any nonstandard natural numberω, 2ωPωand 2ω are Hilbertian elements in*Q, where pωis theωth prime number. (shrink)

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)

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

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.

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)

This paper discusses some philosophical problems lurking behind the issues of human biotechnology, particularly prenatal screening. Firstly, prenatal screening technology disempowers existing disabled people. The second problem is that it systematically deprives us of the “fundamental sense of security.” This is a sense of security that allows us to believe that we will never be looked upon by anyone with such unspoken words as, “I wish you were never born” or “I wish you would disappear from the world.” Thirdly, we (...) argue that the loss of the fundamental sense of security is connected with the disappearance of “conviction of love” in the age of human biotechnology. And finally, all these issues are examined from the viewpoint of “painless civilization.” Our society is filled with a variety of “preventive reduction of pain,” of which prenatal screening is a good example. By preventively reducing pain and suffering, we lose the chance to transform the basic structure of our way of thinking and being; as a result, we are deprived of opportunities to know precious truths indispensable to our meaningful life. Hence, it is concluded that what is most needed is an academic research on “philosophy of life.”. (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 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.

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...) to present various completeness theorems.As concrete examples, we present a hypercoherence model, using Ehrhard’s hereditary/anti-hereditary objects, a Chu-space model, a double gluing model over our categorical framework, and a model based on iterated double gluing over a *-autonomous category.For the multiplicative fragment of. (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)

This book is a collection of all the papers published in the special issue “Artificial Intelligence, Robots, and Philosophy,” Journal of Philosophy of Life, Vol.13, No.1, 2023, pp.1-146. The authors discuss a variety of topics such as science fiction and space ethics, the philosophy of artificial intelligence, the ethics of autonomous agents, and virtuous robots. Through their discussions, readers are able to think deeply about the essence of modern technology and the future of humanity. All papers were invited and completed (...) in spring 2020, though because of the Covid-19 pandemic and other problems, the publication was delayed until this year. I apologize to the authors and potential readers for the delay. I hope that readers will enjoy these arguments on digital technology and its relationship with philosophy. *** -/- Contents*** -/- Introduction : Descartes and Artificial Intelligence; Masahiro Morioka*** -/- Isaac Asimov and the Current State of Space Science Fiction : In the Light of Space Ethics; Shin-ichiro Inaba*** -/- Artificial Intelligence and Contemporary Philosophy : Heidegger, Jonas, and Slime Mold; Masahiro Morioka*** -/- Implications of Automating Science : The Possibility of Artificial Creativity and the Future of Science; Makoto Kureha*** -/- Why Autonomous Agents Should Not Be Built for War; István Zoltán Zárdai*** -/- Wheat and Pepper : Interactions Between Technology and Humans; Minao Kukita*** -/- Clockwork Courage : A Defense of Virtuous Robots; Shimpei Okamoto*** -/- Reconstructing Agency from Choice; Yuko Murakami*** -/- Gushing Prose : Will Machines Ever be Able to Translate as Badly as Humans?; Rossa Ó Muireartaigh***. (shrink)

In this paper, I provide an overview of today’s philosophical approaches to the problem of “intelligence” in the field of artificial intelligence by examining several important papers on phenomenology and the philosophy of biology such as those on Heideggerian AI, Jonas's metabolism model, and slime mold type intelligence.

This book shifted the Japanese debate on brain death from "brain-centered analysis" to "human relationship oriented analysis." I defined that brain death means a form of human relationships between a comatose patient and the people surrounding him/her in the ICU. I paid special attention to the emotional aspect and the inner reality of the family members of a brain dead person, because sometimes the family members at the bedside, touching the warm body of the patient, express the feeling that the (...) brain dead person still continues to exist as a living human being. This approach, published more than 10 years ago, has deeply influenced Japanese bioethics, and would probably influence English bioethics, too. Chapter 1 deals with "brain death as a form of human relationships" theory. Published in 1989. (shrink)