自己決定概念は、患者の自律やインフォームド・コンセント、プライバシー概念等の基礎にあり、生命倫理において核となる重要な概念である。しかし、その歴史的由来について、またその概念の意味するところについて、 これまで本巻のように主題的に扱われることはほとんどなかった。ここでの諸論考は、「自己決定権」や「自律」概念の理解にも大いに役立つはずである。.

In this paper, I will argue from a historical perspective that Gentzen’s 1935 consistency proof of 1st order Peano Arithmetic PA principally aimed to give a finitist interpretation of implication and this aspect of the 1935 proof emerged as the attempt to cope with the non-finiteness in BHK-interpretation of implication. My argument consists of two parts. First, I will explain that the fundamental idea of the 1935 proof is to show the soundness of PA on some finitist interpretation and Gentzen (...) had attempted to use BHK-interpretation as such an interpretation. It is claimed that he eventually thought that there is a ‘circularity’ which is due to the non-finiteness of BHK-interpretation of implication, so it cannot be used as a finitist interpretation. Secondly, I will argue that the principal aim of the 1935 proof is to give his own finitist interpretation of implication which avoids such a ‘circularity’. Finally, this paper’s conclusion and an open question are presented. (shrink)

BackgroundA brief measure of dispositional mindfulness is important for applied research on mindfulness. Although short forms of the Five Facet Mindfulness Questionnaire, which measures the five aspects of mindfulness, have been developed worldwide, the validity and reliability of the Japanese version has not been examined. This study aims to examine the validity and reliability of the 24-item and 15-item versions of the FFMQ in Japan, which are the most widely used versions worldwide.MethodsOnline surveys were conducted for 889 adults in Japan (...) through an online survey company using self-reported questionnaires including the FFMQ to confirm the factor structure and validity. To examine construct validity, we examined the relationship between the short form of FFMQ and mind wandering, interoceptive awareness, experiential avoidance, cognitive fusion, openness, neuroticism, self-compassion, depression, and anxiety, which have been theoretically or empirically shown to be related to mindfulness. In addition, 137 adults responded to the FFMQ again, after four weeks, for the test-retest reliability.ResultsThe correlated five-factor and four-factor models and the higher-order factor hierarchical model did not show sufficient goodness of fit, while the 24-item version showed acceptable fit when uncorrelated method factors loaded on by the positive and negative items were added. However, the 15-item version did not show acceptable fits for any of the models. Regarding reliability, the 24-item version showed acceptable values. In terms of the relationship between the original and the shortened version of the FFMQ, the 24-item version shared approximately 80% of the variance with the original one. In addition, although the wording effects of positive and negative items seemed to affect the correlations between the FFMQ and the other scales, the associations with related concepts were as predicted generally, supporting the construct validity of the short form of the FFMQ.ConclusionIn Japan, the 24-item version of FFMQ showed acceptable validity and reliability similar to the original version, and we recommend that the 24-item version be used. (shrink)

This book is an excellent book on business ethics and will be an invaluable resource for all readers who are keen to learn about the business ethics and key characteristics of a successful company. It focuses on the case study of a global company, Johnson & Johnson (J&J), which oversees more than 250 operating units throughout the world. Through extensive interviews with top executives at J&J's headquarters, including Masami Atarashi and Mitsuo Hirose and attending workshops, Prof Hiroo Takahashi acquired (...) an in-depth understanding of the management style of J&J, grasped the company's ethics and the code of business conduct which is shared by J&J's members throughout the world. (shrink)

This essay aims to deepen our comprehension of the economic ethics of different peoples in Asia, as well as realizing a degree of cultural relativism, in order to enhance amicable economic associations. It counterbalances the conventionally strong West-oriented views which regard exotic features of non-Western economies as backward and illogical elements that disturb smooth and orthodox development and, hence, should be eradicated. The author, first, recalls a number of facts which depict the eruptive economic transformation in Asia. He, then, criticizes (...) the imposition of Western-style development and exploitation without excluding Japan’s colonialism in Taiwan and Korea, and pleads for multiple forms of development and modernity. Economic transactions should be analysed in relation to sociocultural aspects, and, therefore, communities and ethics groups play a substantive role between the public and private sectors, the market, and individuals. For instance, small farmers in Southeast Asia, struggling with the weakness of tenant farmers and pressures of the market mechanism, developed ingenious and participatory forms of survival, increasingly supported by non-governmental organizations. Case studies from Thailand, Malaysia, and the Philippines give a vivid picture of these activities. Because the developing economies are composed of market and non-market sectors, reasonable attention should be given to theethics beyond market principles, with particular emphasis on community as foundation. (shrink)

Comparative quantifiers, such as more than three books, cannot take scope over any quantifier in subject position if they occupy object position. This is clearly different from the behavior of other quantifiers (e.g., universal quantifiers). This paper argues that this scope puzzle is due to a more complex internal structure of comparative quantifiers than other quantifiers. In the decompositional approach that I pursue, comparative quantifiers are decomposed into two generalized quantifiers (i.e., in the case above, the comparative operator er than (...) three and the DP many books). In this approach, obligatory narrow scope of comparative quantifiers in object position is a consequence of the interplay of the independently motivated principles of grammar that also constrain other quantifiers. On the basis of the scope puzzle, I specifically argue for two constraints on Scope Shifting Operations (SSOs) a locality condition on SSOs and Scope Economy, proposed by Fox (2000), which prohibits SSOs that have no effect on semantic interpretation. Thus, I argue that the apparently peculiar facts of comparative quantifiers are, in fact, additional evidence for the core properties of SSOs. (shrink)

The Dominican theologian Albert the Great was one of the first to investigate into the system of the world on the basis of an acquaintance with the entire Aristotelian corpus, which he read under the influence of Islamic philosophers. The present study aims to understand the core of Albert's natural philosophy. Albert's emblematic phrase, “every work of nature is the work of intelligence” , expresses the conviction that natural things are produced by the intellects that move the celestial bodies, just (...) as houses are made by architects moving their instruments. Albert tried to fathom the secret of generation of natural things with his novel notion of “formative power” , which flows from the celestial intellects into the sublunary elements. His conception of the natural world represents an alternative to the dominant medieval view on the relationship between the artificial and the natural. (shrink)

In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

Barhebraeus' major philosophical work draws on earlier Greco-Syriac and Arabic sources. This partial edition of the work casts important light on the manner in which Greek science and philosophy were transmitted in the Orient.

We introduce properties of Boolean algebras which are closely related to the existence of winning strategies in the Banach-Mazur Boolean game. A σ-short Boolean algebra is a Boolean algebra that has a dense subset in which every strictly descending sequence of length ω does not have a nonzero lower bound. We give a characterization of σ-short Boolean algebras and study properties of σ-short Boolean algebras.

It has been shown that various types of stress initiate different physiological and neuroendocrine disorders. Oxytocin is mainly produced in the supraoptic nucleus and paraventricular nucleus of the hypothalamus. Hypothalamic OT has antistress effects and attenuates the hypothalamic–pituitary–adrenal axis. One mechanism behind the antistress effects of OT is mediated through the inhibition from GABAA receptors on corticotropin-releasing factor expression at the PVN. Various manual therapies such as acupuncture, transcutaneous electrical nerve stimulation, and massage initiate the stimulation of somatosensory neurons of (...) the body. It is well-known that TENS simulates OT expression, while it inhibits CRF expression at the PVN following chronic stress loading in rodents. Upregulation of OT expression at the hypothalamus is activated by the somatosensory stimulation, which is mediated via the spinothalamic pathway. Thus, somatosensory stimulation is beneficial in treating stress-associated symptoms. Hypothalamic OT is associated with the social behaviors, including maternal care and affiliation. Childhood neglect and/or child abuse are severely responsible for deleterious long-term effects on the cognitive/social activity and behavioral development. At parturition, a profound amount of OT is released into the systemic circulation in response to vaginal and cervical stimulation caused by the body of fetus, which induces the onset of maternal behavior. Peridural anesthesia effectively impairs the sensitivity to vaginal and cervical stimulation at parturition. OT levels in cerebrospinal fluid is significantly reduced following peridural anesthesia. The vaginal delivery mothers had significantly more OT pulses than the caesarian section mothers. Due to low levels of endogenous OT, maternal behavior could be interrupted by epidural anesthesia and CS at parturition because of the reduction of the usual sensory input from the genitalia. (shrink)

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics so that it became phase semantics for proof-terms, i.e., lambda-terms. They formulated phase semantics for proof-terms of Laird’s dual affine/intuitionistic lambda-calculus and proved the normal-form theorem for Laird’s calculus via a completeness theorem. Their semantics was obtained by an application of computability predicates. In this paper, (...) we first formulate phase semantics for proof-terms of second-order intuitionistic propositional logic by modifying Tait-Girard’s saturated sets method. Next, we prove the completeness theorem with respect to this semantics, which implies a strong normalization theorem. (shrink)

This paper examines prospects for and content of a global regime for human rights. Competing schools of thought forecast convergence and divergence of national standards under stress of globalization. No such regime exists, and there is no compelling theory of international corporate social responsibility. However, elements of an emerging global regime can be identified and partially overlap with environmental protection issues. This regime is highly fragmented, underdeveloped, and only partially enforceable—but it is in development. The UN Global Compact, the Global (...) Reporting Initiative (GRI), ISO 26000 (expected in 2010), the U.S. Alien Tort Claims Act (ATCA) of 1789 and the permanent international criminal court established in 2002 are illustrations of such elements. The third Ruggie Report, issued 2008, is an important summary of conditions and proposes a strategy for forward progress. Human rights impose important obligations on multinational enterprises (MNEs) operating across highly diverse political, legal, and cultural realities. (shrink)