In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

ヒマラヤ山脈から赤道近辺に及ぶ広大なインド亜大陸。過酷な気象条件のもとに暮らす人々が現代まで連綿と受け継いできた“インド的”な思考の根底にあるものを、ヒンドゥー教ほか正統派とされている思想に焦点を当て ひもとく。.

This paper examines the ethical aspects of organ transplant surgery in which a donor heart is transplanted from a first recipient, following determination of death by neurologic criteria, to a second recipient. Retransplantation in this sense differs from that in which one recipient undergoes repeat heart transplantation of a newly donated organ, and is thus referred to here as “reuse cardiac organ transplantation.” Medical, legal, and ethical analysis, with a main focus on ethical analysis. From the medical perspective, it is (...) critical to ensure the quality and safety of reused organs, but we lack sufficient empirical data pertaining to medical risk. From the legal perspective, a comparative examination of laws in the United States and Japan affirms no illegality, but legal scholars disagree on the appropriate analysis of the issues, including whether or not property rights apply to transplanted organs. Ethical arguments supporting the reuse of organs include the analogous nature of donation to gifts, the value of donations as inheritance property, and the public property theory as it pertains to organs. Meanwhile, ethical arguments such as those that address organ recycling and identity issues challenge organ reuse. We conclude that organ reuse is not only ethically permissible, but even ethically desirable. Furthermore, we suggest changes to be implemented in the informed consent process prior to organ transplantation. The organ transplant community worldwide should engage in wider and deeper discussions, in hopes that such efforts will lead to the timely preparation of guidelines to implement reuse cardiac organ transplantation as well as reuse transplantation of other organs such as kidney and liver. (shrink)

In the trolley problem, a well-known moral dilemma, the intuitive process is believed to increase deontological judgments, while deliberative reasoning is thought to promote utilitarian decisions. Therefore, based on the dual-process model, there seems to be an attempt to save several lives at the expense of a few others in a deliberative manner. This study examines the validity of this argument. To this end, we manipulate decision-making time in the standard trolley dilemma to compare differences among 119 Japanese female undergraduates (...) under three conditions: intuitive judgment, deliberative judgment, and judgment after a group discussion. The current results demonstrate that utilitarian judgments decreased from 52.9% in the intuition condition to 43.7% in the deliberation condition and 37.0% after the discussion. Additional analysis suggests that the decrease in utilitarian judgments may be related to psychological unwillingness to assume responsibility for the lives of others rather than to an increase in deontological judgments. Finally, these results are discussed from an adaptationist perspective. (shrink)

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

Previous studies have highlighted the communicative limitations of artistic visualizations, which are often too conceptual or interpretive to enhance public understanding of (and volition to act upon) scientific climate information. This seems to suggest a need for greater factuality/concreteness in artistic visualization projects, which may indeed be the case. However, in this paper, we synthesize insights from environmental psychology, the psychology of art, and intermediate disciplines like eco-aesthetics, to argue that artworks—defined by their counterfactual qualities—can be effective for stimulating elements (...) of environmental consciousness. We also argue that different artworks may yield different effects depending on how they combine counter/factual strategies. In so doing, we assert that effective artistic perceptualization—here expressed asaffectivization—exceeds the faithful translation of facts from one mode to another, and cannot be encapsulated in a single example of un/successful art. (shrink)

While changes in response to the different stages of the pandemic remain unknown, this study investigated the longitudinal impact of the COVID-19 pandemic on depressive symptoms in Japanese university students and identified factors associated with new onset of depression and suicidal ideation. Two surveys were conducted at one university in Akita, Japan, during the first COVID-19 outbreak period and 1 year later. Moderate depressive symptoms were defined as a Patient Health Questionnaire-9 score ≥ 10 and suicide-related ideation score ≥ 1 (...) on question 9 of the questionnaire. Among 985 students who completed surveys in T1 and T2, participants with moderate depressive symptoms and suicide-related ideation increased from 11 to 17% and from 5.8 to 11.8%, respectively. Among 872 students at risk after excluding those with moderate depressive symptoms at T1, 103 students developed moderate depressive symptoms at T2. Among the 928 students at risk, after excluding those who had suicidal ideation at T1, 79 developed suicidal ideation. Multivariate logistic modeling revealed financial insecurity and academic performance as risk factors, while having someone to consult about worries was a coping factor for depressive symptoms and suicidal ideation. Our findings demonstrated that socioenvironmental factors may determine depressive symptoms of university students. (shrink)

This paper presents an explanation for the breakdown of dominant party systems. In contrast to previous works that examine how ruling parties lose their dominant position as a result of interparty competition, this paper focuses on how they are undermined from within by factional conflict. Through an overview of dominant party systems in the postwar world, we show that most of the ruling parties suffered from major splits that significantly reduced their electoral strengths before their final electoral defeat. In order (...) to explain why large groups of politicians decide to leave dominant parties that are likely to remain in power, we develop simple game-theoretic models of intraparty bargaining between party factions over the distribution of benefits from office. Our results suggest two mechanisms through which dominant parties break up. First, factional defections from dominant parties are likely to occur when they are experiencing a significant decline in public support. Second, factional defections are likely to occur when a non-mainstream faction is rapidly losing its bargaining power against the party leadership. Importantly, our results show that under certain conditions, dominant parties will break up even when their electoral prospects are much better than the opposition. We briefly discuss how these mechanisms can be applied to actual cases of dominant party systems. (shrink)

Familial amyloidotic polyneuropathy (FAP) is an inherited systemic amyloidosis, characterized by the extracellular deposition of fibrillar amyloid protein, i.e. a variant type of prealbumin, and by prominent peripheral nerve involvement. We recently established the basis of FAP, using a cloned human prealbumin cDNA, restriction endonuclease(s) and Southern blot procedures. This approach clearly revealed a direct link between mutation in the prealbumin gene and FAP; individuals with FAP are heterozygous for the prealbumin gene, carrying one normal and one mutant gene. Molecular (...) analysis of the prealbumin gene yielded pertinent data on the genetic basis for FAP. (shrink)

Hilbert proposed the epsilon substitution method as a basis for consistency proofs. Hilbert's Ansatz for finding a solving substitution for any given finite set of transfinite axioms is, starting with the null substitution S0, to correct false values step by step and thereby generate the process S0,S1,… . The problem is to show that the approximating process terminates. After Gentzen's innovation, Ackermann 162) succeeded to prove termination of the process for first order arithmetic. Inspired by G. Mints as an Ariadne's (...) thread we formulate the epsilon substitution method for the theory ID1 of non-iterated inductive definitions for disjunctions of simply universal and existential operators, and give a termination proof of the H-process based on Ackermann 162). The termination proof is based on transfinite induction up to the Howard ordinal. (shrink)

BackgroundThe Act Regarding the Promotion of the Appropriate Supply of Hematopoietic Stem Cells for Transplant regulates only how public banks store and provide umbilical cord blood for research or transplantation. Japan had no laws to regulate how the private banks manage the procedures, harvesting, preparation, and storage of such blood. As a result, the status of UCB distribution remains unknown. We conducted a survey to investigate the current status of UCB storage and provision to private biobanks by Japanese institutions that (...) handle childbirth.MethodsQuestionnaire forms were mailed to 3,277 facilities handling childbirth that were registered in the Japan Council for Quality Health Care website.ResultsOf the 1,192 institutions handling childbirth that participated in the survey, 34.4% responded that they currently provide UCB to private biobanks, while 16.1% of facilities did so in the past. Moreover, some institutions currently provide or formerly provided UCB to medical treatment facilities, research institutions, companies, or overseas treatment facilities, research institutions, or companies. A certain number of institutions handling childbirth did not even provide explanations or obtain consent when the UCB was harvested from private bank users.ConclusionsThis is the first study to determine the status of UCB provision to private banks by Japanese institutions handling childbirth. Future studies will need to examine in detail how institutions handling childbirth provide explanations to private bank users and UCB providers as well as how these institutions obtain consent. (shrink)

The purpose of the current study was to examine the influence of individuals’ help-seeking preference and their collective perception of the organizational climate in school on teachers’ mental health. Previous studies demonstrated that HSP was negatively associated with risk of burnout, suggesting that teachers who hesitate to seek help from their colleagues are more likely to have mental health problems. Thus, the current study hypothesized that a collegial organizational climate would be negatively associated with burnout. To test this hypothesis, we (...) developed a scale to measure schoolteachers’ collective perception of their organizational climate, and the newly developed scale was used to assess its relationship with HSP and teachers’ burnout risk. The results demonstrated that younger teachers, a low level of help-seeking, and a less collaborative climate increased the risk of burnout. The results also showed a significant interaction effect, indicating that HSP was less closely associated with teachers’ burnout risk if their organization was perceived as having a collegial climate. These findings clearly show how the social environment of a school’s organizational climate can affect schoolteachers’ mental health in Japan. (shrink)

Context Autopsy is a useful tool for understanding the cause and manner of unexpected patient death. However, the attitudes of the general public and physicians in Japan about clinical autopsy are limited. Objective To describe the beliefs of the general public about whether autopsy should be performed and ascertain if they would actually request one given specific clinical situations where patient death occurred with the additional variable of medical error. To compare these attitudes with previously obtained attitudes of physicians practising (...) at Japanese teaching hospitals. Design, setting and participants We conducted a cross-sectional study of the general public. We sent standardised questionnaires in 2010 to a randomly selected non-physician adult population using a survey company for participant selection. Respondents gave their opinions about the necessity of autopsy and how they might act given various clinical scenarios of patient death. We compared these results with those of a previous survey of Japanese physicians conducted in 2009. Results Of the 2300 eligible general adult population, 1575 (68.5%) responded. The majority of the general public indicated they believed an autopsy was necessary. However, in cases of unclear medical error or unclear cause and effect relationship of medical care and patient death, the general public were much less likely to indicate they would actually request an autopsy than were physicians (p<0.0001). Currently in Japan the debate about the role autopsy should play in the case of error related to death is underway. The results from this study will be important in informing related decisions. (shrink)

This paper deals with a proof theory for a theory T22 of recursively Mahlo ordinals in the form of Π2-reflecting on Π2-reflecting ordinals using a subsystem Od of the system O of ordinal diagrams in Arai 353). This paper is the first published one in which a proof-theoretic analysis à la Gentzen–Takeuti of recursively large ordinals is expounded.

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

Previous studies on whether punishers are rewarded by reputational gains have yielded conflicting results. Some studies have argued that punitive behaviors potentially result in a positive evaluation, while others have found the opposite. This study aims to clarify the conditions that lead to the positive evaluation of costly punishment. Study 1 utilized one-round and repeated public goods game situations and manipulated decision time for participants’ punitive behavior toward the non-cooperative person in the situation. We also asked participants to report their (...) impression evaluations of punitive behavior toward non-cooperative people. Moreover, utilizing the second- and third-party punishment games, Study 2 manipulated the decision time of participants’ punitive behavior toward the self-interested person and asked them to evaluate the punitive behavior. The results showed that those who punished intuitively were not likely to be evaluated positively. However, punishers were rewarded when the decision to punish was made after deliberation or made by those who were not direct victims. These findings extend previous research on the evaluation of punitive behavior and reveal that deliberative punishment is evaluated positively occasionally. (shrink)

There is growing evidence that individuals with social anxiety show impaired cortisol recovery after experiencing social evaluative stressors. Yet, little is known regarding the cognitive processes underlying such impaired cortisol recovery. The present study examined the effect of post-event processing (PEP), referred to as repetitive thinking about social situations, on cortisol recovery following a social stressor. Forty-two non-clinical university students (23 women, 19 men, mean age = 22.0 ± 2.0 years) completed the Trier Social Stress Test (TSST), followed by a (...) thought sampling procedure which assessed the frequency of PEP reflecting the TSST. A growth curve model showed PEP and social anxiety interactively predicted cortisol recovery. In particular, PEP predicted impaired cortisol recovery in those with low levels of social anxiety but not in those with high levels of social anxiety, which contradicted the initial hypothesis. These findings suggest that PEP is differentially associated with cortisol recovery depending on levels of social anxiety. The possible mechanisms underlying these findings were discussed in terms of protective inhibition framework. (shrink)

Cognitive behavioral therapy (CBT) is often effective in the treatment of school refusal (SR). Its usefulness is limited, however, if youth displaying SR also refuse to attend treatment sessions. In these cases parents and school staff may consider using school-based interventions that do not rely on face-to-face assessment and treatment with the young person. The current study examined the effectiveness of a school-based intervention applied in Japan to achieve rapid return to school among adolescents displaying SR. Between 2009 and 2015, (...) the parents of 62 adolescents displaying SR were invited to implement a school-based rapid return approach. Thirty-nine parents agreed to implement the approach and 23 decided to wait until their child spontaneously attended school. Of the 39 cases in which the approach was implemented, 28 adolescents (72%) resumed attendance at their original school, 2 (5%) transferred to another school, and 9 (23%) did not resume attendance. In contrast, all 23 non-intervention cases continued to refuse to attend school for three months or longer, and none of these adolescents returned to regular school attendance within nine months. This study tentatively suggests that the rapid return approach may be an effective form of intervention for adolescents displaying SR and simultaneously refusing to attend individual therapy. Because this approach is ethically complex, involving forced school attendance in adolescence, it should only be employed under specific circumstances. These circumstances are discussed. (shrink)

In this, journal, W. Buchholz gave an elegant proof of a characterization theorem for provably total recursive functions in the theory IDv for the v-times iterated inductive definitions . He characterizes the classes of functions by Hardy functions. In this note we will show that a slow growing analogue to the theorem can be obtained by a slight modification of Buchholz' proof.

We formulate epsilon substitution method for theories (H)α0 of absolute jump hierarchies, and give two termination proofs of the H-process: The first proof is an adaption of Mints M, Mints-Tupailo-Buchholz MTB, i.e., based on a cut-elimination of a specially devised infinitary calculus. The second one is an adaption of Ackermann Ack. Each termination proof is based on transfinite induction up to an ordinal θ(α0+ ω)0, which is best possible.

We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. Intuitionistic fixed (...) point theories which are conservative extensions of HA.6. 6. Proof theoretic strengths of classical fixed points theories.7. 7. An equivalence between transfinite induction rule and iterated reflection schema over IΣn.8. 8. Derivation lengths of finite rewrite rules reducing under lexicographic path orders and multiply recursive functions.Each section can be read separately in principle. (shrink)

This paper deals with a proof theory for a theory T3 of Π3-reflecting ordinals using the system O of ordinal diagrams in Arai 1375). This is a sequel to the previous one 1) in which a theory for recursively Mahlo ordinals is analyzed proof-theoretically.

In this note the well-ordering principle for the derivative \ of normal functions \ on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded \-models of the well-ordering principle for the function \.

In this paper we introduce a recursive notation system $O(\mu)$ of ordinals. An element of the notation system is called an ordinal diagram following G. Takeuti [25]. The system is designed for proof theoretic study of theories of recursively Mahlo universes. We show that for each $\alpha<\Omega$ in $O(\mu)$ KPM proves that the initial segment of $O(\mu)$ determined by $\alpha$ is a well ordering. Proof theoretic study for such theories will be reported in [9].

In this paper, we prove the wellfoundedness of recursive notation systems for reflecting ordinals up to Π₃-reflection by relevant inductive definitions.