We prove the strong normalization theorem for the natural deduction system for the constructive arithmetic TRDB (the system with Definition by Transfinite Recursion and Bar induction), which was introduced by Yasugi and Hayashi. We also establish the consistency of this system, applying the strong normalization theorem.

This chapter reviews fundamental ethical controversy surrounding the ongoing effort to revise the Uniform Determination of Death Act in the United States. Instead of focusing on the process of the revision itself, the chapter explores the underlying ethical debate over brain death that has been ongoing for many decades and finally culminated in this revision. Three issues are focused: the requirement for consent and personal exemptions before applying brain death for the diagnosis of death; redefining the areas of the brain (...) that have ceased to function in the definition of brain death; and codifying the American Academy of Neurology as the authority to issue the standards of the diagnosis of brain death. The chapter concludes that allowing the personal choice of death determination gives a pragmatic compromise to the disputed definition and practice of diagnosing brain death. So long as all risks and imperfections of the diagnosis are accepted through the consenting process, there is nothing ethically objectionable to continuing the current practice of diagnosing brain death as a successful tool to facilitate heart-beating organ donation without violating the dead-donor rule. By contrast, precluding personal choice and imposing legal restrictions to consent and exemptions would further erode public trust. (shrink)

Anime is exploding on the worldwide stage! Anime has been a staple in Japan for decades, strongly connected to manga. So why has anime become a worldwide sensation? A cursory explanation is the explosion of online streaming services specializing in anime, like Funimation and Crunchyroll. Even more general streaming services like Netflix and Amazon have gotten in on the game. Anime is exotic to Western eyes and culture. That is one of the reasons anime has gained worldwide popularity. This strange (...) aesthetic draws the audience in only to find it is deeper and more sophisticated than its surface appearance. Japan is an honor and shame culture. Anime provides a platform to discuss "universal" problems facing human beings. It does so in an amazing variety of ways and subgenres, and often with a sense of humor. The themes, characters, stories, plotlines, and development are often complex. This makes anime a deep well of philosophical, metaphysical, and religious ideas for analysis. International scholars are represented in this book. There is a diversity of perspectives on a diversity of anime, themes, content, and analysis. It hopes to delve deeper into the complex world of anime and demonstrate why it deserves the respect of scholars and the public alike. (shrink)

In this paper I investigate the possibility of a dictatorship in the context of Harsanyi's Social Aggregation Theorem. Preliminarily, some propositions about Harsanyi's Theorem are presented using an alternative principle that I name Quasi-strong Pareto, which is the latter part of Strong Pareto. Then I define dictatorship as a requirement that social preference agrees with a dictator's preference or those of members of dictatorial group even if their preferences strictly contradict those of all other people in the society. Conclusively, although (...) in each version of Harsanyi's Theorem with Pareto Indifference, Weak Preference Pareto or Weak Pareto the social utility function may have a form of dictatorship, however if individuals' vNM utility functions are all 'individualistic' and Quasi-strong Pareto is satisfied, then the dictatorship is excluded. (shrink)

現代人が直面する、安楽死、臓器移植、死刑といった倫理問題に、徳、善、良心、愛を基礎として、読者と共に考えぬく強靱な思索。.

This paper investigates the semantics of measure phrases in Japanese. Based on new data, we argue that the interpretation of measure phrases in Japanese is sensitive to scale structure such that (i) measure phrases are introduced by a degree morpheme that selects only for gradable predicates whose scale contains a minimal element (i.e., a lower closed scale) and (ii) violations to this restriction are repaired via coercion, which forces a comparative interpretation with a contextually determined standard and hence a minimal (...) element. We compare the Japanese facts to data in other languages and argue that the requirement of having a minimal element is not specific to Japanese, but universal. We show that languages may vary in how they deal with potential violations of this universal constraint, including coercion of a contextually recoverable derived minimal element (Japanese), ungrammaticality (e.g., Spanish, Korean, Russian), and a hybrid system of ungrammaticality for some adjectives and allowed constraint violation for others (e.g., English, German, Italian). (shrink)

Naturalistic teleological accounts of mental content rely on an etiological theory of function. Nanay has raised a new objection to an etiological theory, and proposed an alternative theory of function that attributes modal force to claims about function. The aim of this paper is both to defend and to cast a new light on an etiological theory of function. I argue against Nanay’s “trait type individuation objection,” suggesting that an etiological theory also attributes modal force to claims about function. An (...) etiological theory of function can be thought to analyze claims about function with modal force, not relying on any theory of counterfactuals. (shrink)

The social and cultural causes behind the widespread use and acceptance of robots in Japan are not yet completely understood. This study compares humans and robots in images gathered through Google searches in Japanese and in English. Numerous pictures obtained by the search in Japanese were found to have a human and a robot looking together at something else (“third item”), whereas many of the images acquired by search in English show a human and a robot facing each other. This (...) is similar to the composition of mother and child in paintings: in _ukiyo-e_ that was painted mainly in the Edo period of Japan, the mother and child are often depicted together viewing something other than themselves, whereas this is not the case in Western paintings of mother and child. It has also been pointed out that, in modern Western paintings, the world inside the picture is separated from the outside world, forming an independent microcosmos, whereas the inside and outside are continuous in Japanese paintings. These may indicate that, in Japanese society, robots are to a certain extent regarded as fellow human beings who can share the third item. In Western society, on the other hand, no code is embedded that can fix robots’ superiority or inferiority to humans, which would easily trigger an antagonistic view toward artificial intelligence (AI)/robots as threatening entities, as shown in most of Western literature and movies. We suggest that such cultural characteristics of Japanese society can contribute to enhance coexistence with AI/robots. (shrink)

Anime is exploding on the worldwide stage! Anime has been a staple in Japan for decades, strongly connected to manga. So why has anime become a worldwide sensation? A cursory explanation is the explosion of online streaming services specializing in anime, like Funimation and Crunchyroll. Even more general streaming services like Netflix and Amazon have gotten in on the game. Anime is exotic to Western eyes and culture. That is one of the reasons anime has gained worldwide popularity. This strange (...) aesthetic draws the audience in only to find it is deeper and more sophisticated than its surface appearance. Japan is an honor and shame culture. Anime provides a platform to discuss “universal” problems facing human beings. It does so in an amazing variety of ways and subgenres, and often with a sense of humor. The themes, characters, stories, plotlines, and development are often complex. This makes anime a deep well of philosophical, metaphysical, and religious ideas for analysis. International scholars are represented in this book. There is a diversity of perspectives on a diversity of anime, themes, content, and analysis. It hopes to delve deeper into the complex world of anime and demonstrate why it deserves the respect of scholars and the public alike. (shrink)

The Japanese comparative adverb motto has two different uses. In the degree use, motto compares two individuals and denotes that there is a large gap between the target and a given standard with a norm-related presupposition. On the other hand, in the so-called ‘negative use’ it conveys the speaker’s attitude toward the utterance situation. I argue that similarly to the degree motto, the negative motto is a comparative morpheme, but unlike the degree motto it compares a current situation and an (...) expected situation at the level of conventional implicature /expressive. I argue that the speaker’s negative evaluation of the utterance situation in question comes from the large gap between the expected degree and the current degree. The theoretical implications of this paper are that there is a natural extension from semantic comparison to expressive comparison and that there is a type in natural language that can be called an ‘indirect expressive’, as opposed to ‘direct expressives’ like bastard and man. (shrink)

This study investigates interpretations of the Japanese initial mora-based minimizer “X.Y...”-_no_ “X”-_no ji-mo_ ‘lit. even the letter “X” of “X.Y...”.’ Although initial mora-based minimizers have a literal interpretation of _ji_ ‘letter’, they have a non-literal interpretation as well. The non-literal interpretation has several distinctive features that are not present in ordinary minimizers. First, it is highly productive in that various expressions can appear in the form “X.Y...”-_no_ “X”-_no ji_. Second, non-literal minimizers typically co-occur with predicates that relate to knowledge, information, (...) concepts, thought, and habituality, as seen in the corpus data (Balanced Corpus of Contemporary Written Japanese [BCCWJ]). I argue that in the non-literal use, X refers to the minimum on the scale of the main predicate concerning “X.Y...”. I suggest that the non-literal use was developed as a result of the conventionalization of the pragmatic inference derived from the literal reading, and that the co-occurrence with predicates related to knowledge, information, knowledge, concepts, thought, or habituality is due to the interpretation of “X.Y...”, which were originally interpreted as letters as an abstract concept. The theoretical implication of this study is that, in addition to a non-compositional (lexically specified) minimizer whose scale is lexically fixed (e.g., _give a damn_, _lift a finger_), there also exists a compositional (lexically unspecified) minimizer in natural language, whose scale is specified via the predicate with which the minimizer co-occurs. The last section of this paper briefly discusses similar/related phenomena in Bosnian/Croatian/Serbian, Korean, and English from a cross-linguistic perspective. (shrink)

This book, written by one of the leading Japanese scholars in the philosophy of agricultural science, examines the relationship between human life, the natural environment, and agriculture.

Rauszer and Sabalski proved in [2] that distributivity with respect to infi- nite joins and meets is a sucient and necessary condition making the RasiowaSikorski Lemma valid in distributive lattices. The main part of their proof is a direct construction of a required filter under distributivity. In this note we show that a generalization of the result can be obtained from the Rasiowa-Sikorski Lemma for Boolean algebras by using Gornemann’s result in [1] instead of a direct con- ¨ struction. Suppose (...) A is a distributive lattice and Q; R 2 A f;g. We call A complete if 8M 2 Q9 M 2 A and 8N 2 R9 F N 2 A. M 2 Q is -dis if 9 M 2 A and 8a 2 A a t M = m2M. N 2 R is F -dis if 9 F N 2 A and 8a 2 A a u F N = F n2N. is called distributive if every M 2 Q is -dis and every N 2 R is F -dis. Suppose A is complete and C; D A. By rC we mean the filter in A generated by C, in particular, let r; = ; = ;. is called complete if and , where 8M 2 Q 9m 2 MrC \ D[fmg = ;) 8N 2 R 9n 2 NrC[fng \ D = ;). (shrink)

This article proposes a methodological schema for engaging in a productive discussion of ethical issues regarding human brain organoids, which are three-dimensional cortical neural tissues created using human pluripotent stem cells. Although moral consideration of HBOs significantly involves the possibility that they have consciousness, there is no widely accepted procedure to determine whether HBOs are conscious. Given that this is the case, it has been argued that we should adopt a precautionary principle about consciousness according to which, if we are (...) not certain whether HBOs have consciousness—and where treating HBOs as not having consciousness may cause harm to them—we should proceed as if they do have consciousness. This article emphasizes a methodological advantage of adopting the precautionary principle: it enables us to sidestep the question of whether HBOs have consciousness and, instead, directly address the question of what kinds of conscious experiences HBOs can have, where the what-kind-question is more tractable than the whether-question. By addressing the what-kind-question, we will be able to examine how much moral consideration HBOs deserve. With this in mind, this article confronts the what-kind-question with the assistance of experimental studies of consciousness and suggests an ethical framework which supports restricting the creation and use of HBOs in bioscience. (shrink)

This paper replies to Nanay’s response to my recent paper. My suggestions are the following. First, “should” or “ought” does not need to be deontic. Second, etiological theories of function, like provability logic, do not need to attribute modal force to their explanans. Third, the explanans of the homological account of trait type individuation does not appeal to a trait’s etiological function, that is, what a trait should or ought to do. Finally, my reference to Cummins’s notion of function was (...) intended to note that the homological account is permitted to use this non-etiological notion of function. (shrink)