A 10 kHz pulsed X-ray generator utilising a hot-cathode triode in conjunction with a new type of grid control device for controlling X-ray duration is described. The energy-storage condenser was charged up to 70 kV by a power supply, and the electric charges in the condenser were discharged to the X-ray tube repetitively by the grid control device. The maximum values of the grid voltage, the tube voltage, and the tube current were −1.5 kV, 70 kV, and 0.4 A, respectively. (...) The duration of the flash X-ray pulse was primarily determined by the time constant of the grid control device and the cut-off voltage of thermoelectrons. The X-ray duration was controlled within a region of less than 1 ms; the X-ray intensity with a pulse width of 0.27 ms, a charged voltage of 70 kV, and a peak tube current of 0.4 A was 0.92 μC kg −1 at 0.5 m per pulse. The maximum repetition rate was about 10 kHz, and the size of the focal spot was about 3.5×3.5 mm. (shrink)

This paper examines the semantics and pragmatics of the Japanese causal connective mono. We show that the meaning of mono has three components: a causal relation, an emotive attitude toward the causing proposition, and an indication that the causal relation is of high quality. Further, we show that the latter two components are not at-issue content but expressive content. A formalization is provided in terms of the analysis of mixed content in McCready (2010). Finally, the proposal is briefly compared with (...) previous, informal, accounts of the meaning of mono. (shrink)

El artículo señala la fascinación ejercida por la Matemática sobre algunos pensadores, antiguos y modernos, y sugiere una posible explicación basada en la utilidad de la Matemática, la certeza de sus afirmaciones y la elegancia de sus procedimientos.

This chapter highlighted some salient trends in pediatric ethicsEthics, pediatric from different parts of the globe. It is interesting to note that although diverse, there are many similarities between ethical challenges in pediatrics in different parts of the world.

The paper reviews the current situation regarding a new theory of brain dynamics put forward by the authors in an earlier publication. Motivation for the theory is discussed in terms of two issues: the long-standing problem of accounting for the stability and nonlocal properties of memory, and the experimental and theoretical evidence against the classical theory of brain action. It is shown that the new theory provides an explanation and a conceptually unifying framework for phenomena of brain action that resist (...) classical explanation. Further independent experiments provide strong additional support for the theory. The fact that this theory incorporates quantum mechanisms in an essential way is considered to be of wide scientific interest in view of the unique status of the brain in relation to the physical, biological, and mental orders in nature. (shrink)

We show that the full set of Fierz identities which are used to compute electro-weak interactions reported by Y. Takahashi can be considered as particular cases of the Clifford product between multivector Cartan maps. Moreover, we think that our approach can be generalized to higher-dimensional models.We discuss the factorization and inversion theorems for the recovery of the spinor from its multivectorial Cartan map.A new classification given by P. Lounesto is applied to the recovered spinors for Cl1,3 space-time symmetry and (...) SU(2)×U(1) isotopic group. (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)

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)

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)

In the monograph [1] of Chang and Keisler, a considerable extent of model theory of the first order continuous logic is ingeniously developed without using any notion of provability.In this paper we shall define the notion of provability in continuous logic as well as the notion of matrix, which is a natural extension of one in finite-valued logic in [2], and develop the syntax and semantics of it mostly along the line in the preceding paper [2]. Fundamental theorems of model (...) theory in continuous logic, which have been proved with purely model-theoretic proofs in [1], will be proved with proofs which are natural extensions of those in two-valued logic. (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)

Hegel, in his work _Philosophy of Right_, defines ownership through three elements: acquisition by occupation, use, and transfer. To own something involves mere acquisition and encompasses its appropriate use and potential transfer to others. Subsequently, the final aspect mentioned was the concept of infinite judgement. The acts of owning and transferring to others are diametrically opposed, and Hegel’s unique logic forcibly connects these opposing concepts. This form of infinite judgement was advocated by the young Hegel during the era of _Phenomenology (...) of Spirit_. There, he stated, “Spirit is a bone”. However, when he later wrote _Science of Logic_ or _Encyclopedia_, the formulation of infinite judgement changed to “Spirit is not something that is bone”. This shift was influenced by Kant. In _Logic_, the discourse advances into syllogism, inferential theory, leading to “Spirit is a bone for such-and-such reasons”. In essence, Hegel binarily connected spirit and bone in his youth and introduced a mediating term in this connection later in his life, establishing inferential links. However, the notion of forcibly connecting opposing concepts remains. Therefore, the statement “Ownership is transfer” represents an infinite judgement while simultaneously signifying syllogism that “I truly own this object if I can transfer it to others”. This contributes to the reasoning that “I and objects can be connected through the intermediary of others”, progressing to the inference that “I and others can be connected through objects”, thereby laying the foundation for society. (shrink)

Organisms must adapt to environmental stresses to ensure their survival and prosperity. Different types of stresses, including thermal, mechanical, and hypoxic stresses, can alter the cellular state that accompanies changes in gene expression but not the cellular identity determined by a chromatin state that remains stable throughout life. Some tissues, such as adipose tissue, demonstrate remarkable plasticity and adaptability in response to environmental cues, enabling reversible cellular identity changes; however, the mechanisms underlying these changes are not well understood. We hypothesized (...) that positive and/or negative “Integrators” sense environmental cues and coordinate the epigenetic and transcriptional pathways required for changes in cellular identity. Adverse environmental factors such as pollution disrupt the coordinated control contributing to disease development. Further research based on this hypothesis will reveal how organisms adapt to fluctuating environmental conditions, such as temperature, extracellular matrix stiffness, oxygen, cytokines, and hormonal cues by changing their cellular identities. (shrink)

Gentzen's three consistency proofs for elementary number theory have a common aim that originates from Hilbert's Program, namely, the aim to justify the application of classical reasoning to quantified propositions in elementary number theory. In addition to this common aim, Gentzen gave a “finitist” interpretation to every number-theoretic proposition with his 1935 and 1936 consistency proofs. In the present paper, we investigate the relationship of this interpretation with intuitionism in terms of the debate between the Hilbert School and the Brouwer (...) School over the significance of consistency proofs. First, we argue that the interpretation had the role of responding to a Brouwer-style objection against the significance of consistency proofs. Second, we propose a way of understanding Gentzen's response to this objection from an intuitionist perspective. (shrink)

In the context of the controversies surrounding »globalisation« and In the context of the controversies surrounding »globalisation« and »multiculturality« the comparative study of cultures has the task of aiding intercultural communication and of contributing to the success of intercultural understanding. The model of contrastive cultural comparison discussed here is claimed to have applacibility to every possible study of other countries (»Auslandswissenschaft«) and to be able to provide the Geisteswissenschaften with an intercultural orientation.

Recently, agent technologies have attracted a lot of interest as an emerging programming paradigm. With such agent technologies, services are provided through collaboration among agents. At the same time, the spread of mobile technologies and communication infrastructures has made it possible to access the network anytime and from anywhere. Using agents and mobile technologies to realize ubiquitous computing systems, we propose a new framework based on KODAMA and VPC. KODAMA provides distributed management mechanisms by using the concept of community and (...) communication infrastructure to deliver messages among agents without agents being aware of the physical network. VPC provides a method of defining peer-to-peer services based on agent communication with policy packages. By merging the characteristics of both KODAMA and VPC functions, we propose a new framework for ubiquitous computing environments. It provides distributed management functions according to the concept of agent communities, agent communications which are abstracted from the physical environment, and agent collaboration with policy packages. Using our new framework, we conducted a large-scale experiment in shopping malls in Nagoya, which sent advertisement e-mails to users' cellular phones according to user location and attributes. The empirical results showed that our new framework worked effectively for sales in shopping malls. (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.

A psycho-historical framework for the science of art appreciation will be an experimental discipline that may shed new light on the highest capacities of the human brain, yielding new scientific ways to talk about the art appreciation. The recent findings of the contextual information processing in the human brain make the concept of the art-historical context clear for empirical experimentation.

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)