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.

In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was initially valid when it was made, might later become invalid. Furthermore, in the process of replanning, it is necessary to take into account the side effects of actions already executed. Nowadays, HTN planning is becoming popular among agent researchers because its task decomposition algorithm is efficient and suitable (...) for joint planning in multi-agent systems. However, the dynamic replanning algorithm of HTN planning has not yet been established. In order to solve this problem, we have previously presented an agent life cycle that integrates HTN planning, action execution, knowledge updates, and plan modification. In that agent life cycle, the plans are always kept valid according to the most recent knowledge and situation. However, when one plan does not work and the agent starts using an alternative plan, it sometimes undoes some actions that do not have to be undone. The source of this problem lies in the need to have total-order plans. In other words, all the actions have to be sequentially ordered even when the order is not important in some parts of the plan. This paper extends our previous agent life cycle and presents new ways to avoid unnecessary action cancellation. This enables the agent to handle partial-order plans and to make use of two kinds of undoing actions: sequential undoing actions and concurrent undoing actions. (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)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

This paper proposes deep and fundamental structures of communication among persons in a “coexistential” setting. The basic framework for this formalization of communication structures is Leibnizian notions of space and time together with the notion of the Existential Graph by C. S. Peirce and that of the Petri net, more precisely, the occurrence net. The fundamental structures of coexistential communication are then formalized as co-creation of Leibnizian space and time in such a manner that they are used to link the (...) communicated messages, thus establishing the “coexistential atmosphere and field” (“Ba” in Japanese) among the individuals. This framework is then applied to the analysis of theater play communication. Finally, the framework of information edaphology is also introduced to discuss the growth processes of individuals and communities through coexistential communication. (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)

BackgroundThis essay provides an ethical and conceptual argument for the use of informed consent prior to the diagnosis of brain death. It is meant to enable the family to make critical end-of-life decisions, particularly withdrawal of life support system and organ donation, before brain death is diagnosed, as opposed to the current practice of making such decisions after the diagnosis of death. The recent tragic case of a 13-year-old brain-dead patient in California who was maintained on a ventilator for over (...) 2 years illustrates how such a consent would have made a crucial difference.MethodsConceptual, philosophical, and ethical analysis.ResultsI first consider a conceptual justification for the use of consent for certain non-beneficial and unwanted medical diagnoses. I suggest that the diagnosis of brain death falls into this category for some patients. Because the diagnostic process of brain death lacks the transparency of traditional death determination, has a unique epistemic structure and a complex risk-benefit profile which differs markedly from case to case, and presents conflicts of interest for physicians and society, I argue that pre-diagnostic counseling and informed consent should be part of the diagnostic process. This approach can be termed as “allow cardiac death”, whose parallel logic with “allow natural death” is discussed. I also discuss potential negative impacts on organ donation and health care cost from this proposal and offer possible mitigation. I show that the pre-diagnostic counseling can improve the possibility for well-thought-out decisions regarding organ donation and terminating life-support system in cases of hopeless prognosis. This approach differs conceptually from the pluralism of the definition of death, such as those in New Jersey and Japan, and it upholds the Uniform Determination of Death Act.ConclusionsMy intention is not to provide an instant panacea for the ongoing impasse of the brain death debate, but to point to a novel conceptual ground for a more pragmatic, and more patient- and family-centered approach. By enabling the family to consent to or decline the diagnostic process of brain death, but not to choose the definition of death, it upholds the current legal definition of death. (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)

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

The aim of this essay is to elaborate philosophical and ethical underpinnings of posthumous diagnosis of famous historical figures based on literary and artistic products, or commonly called retrospective diagnosis. It discusses ontological and epistemic challenges raised in the humanities and social sciences, and attempts to systematically reply to their criticisms from the viewpoint of clinical medicine, philosophy of medicine, particularly the ontology of disease and the epistemology of diagnosis, and medical ethics. The ontological challenge focuses on the doubt about (...) the persistence of a disease over historical time, whereas the epistemic challenge disputes the inaccessibility of scientific verification of a diagnosis in the past. I argue that the critics are in error in conflating the taxonomy of disease and the act of diagnosing a patient. Medical diagnosis is fundamentally a hypothesis-construction and an explanatory device that can be generated under various degrees of uncertainty and limited amount of information. It is not an apodictic judgment as the critics presuppose, but a probabilistic judgment with varying degrees of plausibility under uncertainty. In order to avoid this confusion, I propose that retrospective diagnosis of a historical figure be syndromic without identifying underlying disease, unless there is justifiable reason for such specification. Moreover it should be evaluated not only from the viewpoint of medical science but also in a larger context of the scholarship of the humanities and social sciences by its overall plausibility and consistency. On the other hand, I will endorse their concerns regarding the ethics and professionalism of retrospective diagnosis, and call for the need for situating such a diagnosis in an interdisciplinary scope and the context of the scholarship of the historical figure. I will then enumerate several important caveats for interdisciplinary retrospective diagnosis using an example of the retrospective diagnosis of Socrates for his life-long intermittent neurologic symptoms. Finally, I will situate the present argument in a larger context of the major debate among the historians of medicine and paleopathologists, and discuss the similarities and differences. (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)

There are two contrasting views on the decision-making for life-sustaining treatment in advanced stages of dementia when the patient is deemed incompetent. One is to respect the patient's precedent autonomy by adhering to advance directives or using the substituted judgement standard. The other is to use the best-interests standard, particularly if the current judgement on what is best for the incapacitated patient contradicts the instructions from the patient's precedent autonomy. In this paper, I argue that the protracted clinical course of (...) dementia over many years requires the extended perspective of a progressive decision-making process—extended in both social space and time. The ongoing debate between these two competing views has missed this perspective by focussing on an exclusive disjunction between the competent former self and the incompetent current self. Drawing on theories of situated cognition in cognitive science, I will show that the cognition of a demented patient can be viewed as extended and embodied by her supportive social environment. As the disease progresses, the content of the mind of a demented person becomes partially constituted by such external resources along with her diminishing intrinsic mind. With this understanding, medical decision-making for a demented patient can be construed as a temporally and socially extended practice. A collective decision-making body consisting of the patient, her family and surrogates, and the clinician, should make progressive decisions as a whole over years of the disease course. Finally, I will provide a practical example of how this proposal can be applied in clinical practice. (shrink)

Nakamura proposed two three-valued temporal logics. We present two extended Gentzen-type formulations of these logics. Then we prove the soundness as well as the completeness theorem.

This chapter traces the evolution of Japan's systems of household and land registration from c.1600 to the period of early Meiji reforms in the 1870s and 1880s, with due attention to the distinction between a system designed by the state and local forms of registration practice. In the section on the pre-Meiji period, one such local practice of having people ‘disowned’ and its consequence — registerlessness — is examined. The section on the Meiji reforms and the section that follows turn (...) to the issue of continuity and discontinuity, and the question of whether any progress was made by those reforms. In order to illustrate the actual changes that took place at the local level, the chapter begins with an eighteenth-century story about a peasant woman and ends with a case of a family dispute that another village woman brought before the court some 120 years later. (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)

Purpose: Some enigmatic remarks and behaviors of Socrates have been a subject of debate among scholars. We investigated the possibility of underlying epilepsy in Socrates by analyzing pathographic evidence in ancient literature from the viewpoint of the current understanding of seizure semiology. Methods: We performed a case study from a literature survey. Results: In 399 BCE, Socrates was tried and executed in Athens on the charge of “impiety.” His charges included the “introduction of new deities” and “not believing in the (...) gods of the state,” because he publicly claimed that he was periodically and personally receiving a “divine sign,” or daimonion, that directed him in various actions. We found textual evidence that his daimonion was probably a simple partial seizure (SPS) of temporal lobe origin. It was a brief voice that usually prohibited Socrates from initiating certain actions. It started when he was a child, and it visited Socrates unpredictably. Moreover, we found at least two descriptions of Socrates’ unique behavior that are consistent with complex partial seizures (CPSs). The fact that Socrates had been experiencing both SPSs and CPSs periodically since childhood makes the diagnosis of temporal lobe epilepsy (TLE) likely. Conclusions: We hypothesize that Socrates had a mild case of TLE without secondary generalization. This is the first report in 2,400 years to present a pathographic diagnosis of TLE in Socrates based on specific diagnostic features in the ancient textual evidence. Our study demonstrates that the knowledge of modern epileptology could help understand certain behaviors of historic figures. (shrink)

In Western countries, the ideal professional and ethical attributes of healthcare providers and the ideal patient-doctor relationship have been analysed in detail. Other cultures, however, may have different norms, arising in response to diverse healthcare needs, cultural values and offering alternative perspectives. In this paper, drawing a case study, we introduce the concept of Shinmi, used in Japan to describe a desirable approach to medical care. Shinmi means kind or cordial in Japanese. In the medical context, it refers to doctors (...) treating patients with a degree of emotional closeness as if they were the doctors’ own family. We analyse the concept of Shinmi, drawing on virtue ethics. We distinguish two different elements to a Shinmi-na attitude. As illustrated in our example, excessive Shinmi can be problematic for patients and doctors. Furthermore, elements of Shinmi may conflict with existing Western values (for example, norms that encourage emotional detachment and discourage doctors’ treatment of family members). However, if pursued appropriately, we argue that a balanced Shinmi-na approach can be conducive to the goals of medicine. The concept of Shinmi may be valuable for medical students, in Japanese and potentially other health care systems, and help them to cultivate a virtuous approach to meeting the emotional needs of patients. (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)

In their target article, Peterson et al. discuss the intriguing prospect of using psychedelics as a treatment for patients with Alzheimer’s Disease and Related Dementias (AD/ADRD) (Peterson et al....

In modern hospitals in developed countries, deaths are determined usually after a prearranged schedule of resuscitative efforts. By default, death is diagnosed and determined after “full code” or after the failure of intensive resuscitation. In end-of-life contexts, however, various degrees of less-than-full resuscitation and sometimes no resuscitation are allowed after the consent and shared decision-making of the patient and/or surrogates. The determination of brain death is a unique exception in these contexts because such an end-of-life care plan is usually not (...) offered until after brain death is declared. This essay analyzes and critiques three arguments for denying the family and/or surrogate a chance to consent to or forego the diagnostic protocol of brain death and choose an alternative end-of-life plan. First, opponents of consent for the determination of brain death argue that presenting it as a selectable end-of-life plan undermines the integrity of death determination. The second argument is that it is inconsistent to allow foregoing the determination of brain death when the determination of circulatory death is non-negotiable. The third argument is that allowing the patient/surrogate to forego the determination of brain death would jeopardize the fair and appropriate utilization of intensive care resources and potentially reduce organ donor pools. After closer conceptual examinations of these three arguments, this essay concludes that these arguments are conceptually and morally problematic. It defends an alternative patient-centered end-of-life care plan based on consent and shared decision-making. (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)

This essay provides a medical theory that could clarify enigmas surrounding the historical Socrates. It offers textual evidence that Socrates had temporal lobe epilepsy and that its two types of seizure manifested as recurrent voices and peculiar behaviour, both of which were notorious hallmarks of Socrates. Common and immediate criticisms against the methodology of retrospective diagnosis are addressed first. Next, the diagnostic reasoning is presented in detail. The possibility of temporal lobe personality in Socrates is also considered. The important implication (...) of this theory is that one of the charges against Socrates, introducing new divinities, was a now well-known neurologic symptom. (shrink)

『昭和前期の科学思想史』、『昭和後期の科学思想史』に続き、明治以降の我が国の科学思想史を通覧するシリーズ三部作最終巻。.