Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.

The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ (...) in some formula of S. These are just the K5-subformulas of some formula in S which were introduced by us to show the modied subformula property for the modal logics K5 and K5D : 115–122, 2001). Some corollaries including the interpolation property for S4.2 follow from this. By slightly modifying the proof, the finite model property also follows. (shrink)

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p (...) } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure). (shrink)

No agreed-upon account of mirror reversal is currently available although it has been discussed for more than two thousand years since Plato. Mirror reversal usually refers to recognized left-right reversal of a mirror image. Depending on the nature and layout of a reflected object, however, top-bottom reversal may be recognized instead of left-right reversal; no reversal at all may be recognized; and the presence or absence of reversal may not be decidable. Takano (1998) proposed a psycho-optic theory to explain (...) all these cases of mirror image recognition in a consistent manner. The proposed theory assumes different causes of mirror reversal depending on whether an object's left-right axis is parallel or perpendicular to a mirror's surface. This theory was later criticized in that it provided no explanation when the left-right axis is neither parallel nor perpendicular but at an intermediate angle between zero and 90 degrees with a mirror. This article completes the theory by presenting psycho-optic anal.. (shrink)

Research ethics consultation services (RECS), which function as an advisory service to facilitate the resolution of complex ethical issues in clinical research, have been proliferating over the last decade. However, the qualification of an individual who provides RECS, or “a research ethics consultant,” has not been thoroughly investigated, in contrast to healthcare ethics consultants, whose core competencies have been discussed and clarified to a great extent. In this study, we investigated core competencies necessary for research ethics consultants, referring to the (...) core competency models of ethics consultants developed in the healthcare practice context, and propose a competency model for research ethics consultants. (shrink)

Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.

Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing.

Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.

A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing as a candidate for the basic logic of logical bilattices.

The present study used the experience sampling method to detect fluctuations in thinking, such as self-focus or concreteness in daily life, and to examine their relationship with depressive symptoms and concurrent negative affect. Thirty-one undergraduates recorded their negative affect, ruminative self-focus, and concreteness of thinking eight times a day for 1 week. Multilevel modeling showed that individuals with increasing levels of depression showed lower levels of concreteness in their daily thinking. Further analysis revealed a significant positive association between momentary ruminative (...) self-focus and concurrent negative affect only with low concreteness of thinking. These results suggested that individuals with increasing levels of depression chronically process self-related information on an abstract level, which reflects a malfunction of their self-regulatory cycle and might serve to maintain or even exacerbate dysphoric moods. (shrink)

A modified subformula property for the modal logic KD with the additionalaxiom □ ◊ ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown. The finite model property as well as decidability for the logic follows from this.

Extending techniques of Dowd and those of Poizat, we study computational complexity of in the case when is a generic oracle, where is a positive integer, and denotes the collection of all -query tautologies with respect to an oracle . We introduce the notion of ceiling-generic oracles, as a generalization of Dowd's notion of -generic oracles to arbitrary finitely testable arithmetical predicates. We study how existence of ceiling-generic oracles affects behavior of a generic oracle, by which we show that is (...) not a subset of is comeager in the Cantor space. Moreover, using ceiling-generic oracles, we present an alternative proof of the fact (Dowd) that the class of all -generic oracles has Lebesgue measure zero. (shrink)

We consider minimal ranks of extenders associated with Shelah cardinals by introducing witnessing numbers. Using these numbers we shall investigate effects of Shelah cardinals above themselves. MSC: 03E55.

This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 101-107 [Access article in PDF] Art Education in Lower Secondary Schools in Japan and the United Kingdom This essay compares the system and practice of art education in Japan and the United Kingdom at the lower secondary school level. Three surveys on how art is taught form the basis of this research. I conducted the first survey in 1992, distributed to 156 (...) art teachers in Japan on their "real" curricula and compared them with syllabus samplers of nationally authorized textbooks. From 1993 to 1994, I studied in the United Kingdom the newly introduced National Curriculum and performed a survey on its impact on classroomteaching in 49 art departments in secondary schools, mostly in England. Since 1994, I have participated in a joint study project on craft education in secondary schools in Japan and Britain, in which 717 Japanese schools are cooperating via a questionnaire survey. The issues common to these surveys are how art teachers respond to the national standards in their own teaching practice, and what these responses suggest for the future development of this subject. This essay identifies survey findings in both countries, together with overviews on the systems and cultural factors affecting the state of Art and its implementation in curricula. Japan and the United Kingdom: An Overview Let us look briefly at the historical background of the national curricula in Japan and the United Kingdom. The education system in Japan was established by the central government and has maintained its unity. After World War II, a new national Course of Study was recommended but was not compulsory. But in the legislation of 1958, this Course of Study became binding and a new subject called "Technology and Home Economics" was introduced. A new term, "design" was adopted in Art, "craft" was removed, and the time allocated to Art was drastically reduced. In the 1969 revision, five main areas of Art study were established: drawing (painting), sculpture, design, craft, and art appreciation. In 1977, a recommended time allocation for each area in Art was eliminated, and the five areas were reorganized into two fields: "expression" and "appreciation." Between 1969 and 1977, lower secondary schools in Japan allotted two compulsory hours per week for Art in grades 7 and 8, one compulsory hour and one non-compulsory hour in grade 9. However, after the revisions of 1989 and 1998, the time allotted for Art has gradually decreased. [End Page 101]In the United Kingdom, different educational systems developed concurrently, and through political and ideological conflicts, the involvement of central government gradually grew until an integrated school system was established. 1 The National Curriculum, first introduced through the Education Act of 1988, clearly indicates Art as compulsory from Years 1 to 9 in state schools. 2 The Courses of Study in Japan are separated into primary, lower, and upper secondary levels, however, the consistency of Art as a subject is not as clear. 3 In England, the content is not differentiated into the areas of art, craft, and design, but is organized as a series of processes common to these areas including investigation, creation, and evaluation, based upon knowledge and understanding.The United Kingdom has no national system for authorizing textbooks, but the examination board syllabus for the General Certificate ofSecondary Education (GCSE), for example, has influenced the school curriculum. Art departments of each secondary school function as fairly independent entities, taking responsibility for curriculum and study resources. In Japan, in most cases, lower and upper secondary schools are separated, with only about one art teacher per school, which means improving the curriculum is determined by the efforts of the individual teacher in a limited environment.We also need to consider the cultural background. The United Kingdom has made a notable effort to incorporate a multicultural perspective, based upon the urgent recognition that the country has become a multi-ethnic society. There is also a growing awareness in Western societies that individual expression should be approved in relation to the culture of a given social group. In Japan, it has... (shrink)

Pyridoxal 5′‐phosphate, the vitamin B6 derivative, acts as the coenzyme of many enzymes involved in amino acid metabolism. Exceptionally, this compound was found covalently bound to glycogen phosphorylase, the key enzyme in the regulation of glycogen metabolism. Although it is essential for the function of phosphorylase, its direct role has remained an enigma. We have recently found that the glucose moiety of pyridoxal (5′)diphospho (1)‐α‐D‐glucose, a conjugate of pyridoxal 5′‐phosphate and glucose 1‐phosphate through a pyrophosphate linkage, is transferred to the (...) nonreducing end of glycogen, forming a new α‐1,4‐glucosidic linkage. This finding emphasizes the importance of the direct phosphate‐phosphate interaction between the coenzyme and the substrate in the phosphorylase catalytic reaction. We have proposed a catalytic mechanism for phosphorylase in which the phosphate group of pyridoxal 5′‐phosphate acts as an electrophile to the phosphate group of glucose 1‐phosphate. This appears to represent the first instance of the direct involvement of a phosphate group in catalysis by enzymes. (shrink)

As its name implies, Vasubandhu’s _Vyākhyāyukti_ (VyY) explains the logic or methodology (_yukti_) of exegesis or sūtra interpretation (_vyākhyā_) and only survives in a Tibetan translation. In recent years, research on this treatise has been gradually accumulating. However, due to the difficulty of the Tibetan translation, some of the arguments therein have been misunderstood. In this article, after reviewing the general framework of Vasubandhu’s method of interpreting the sūtras, I will present a newly discovered parallel regarding his discussion of the (...) “purpose, _prayojana_” of the sūtras and reread it through a close philological examination of various sources in Sanskrit and Tibetan. Thus, this article will first elucidate the details of Vasubandhu’s explanation of the purpose of the Buddha’s preaching using synonyms and will clarify an aspect of his views on the Buddha’s word. In addition, concerning this “purpose,” I will elucidate the characteristics of the final chapter of this text, which provides stories about hearing the Buddha’s words with respect. By doing so, I would like to reveal the characteristics of the VyY as a manual for vivid preaching. (shrink)

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

The uncertainty relation in quantum mechanics has been explicated sometimes as a statistical relation and at other times as a relation concerning precision of simultaneous measurements. In the present paper, taking the indefiniteness of individual experiments as represented by diameters of Borel sets in projection-valued measure, we mathematically distinguish four expressions, two statistical and two concerning simultaneous measurements, of the uncertainty relation, study their interrelations, and prove that they are nonequivalent to each other and to the eigenvector condition (EV) in (...) infinite-dimensional Hilbert space. (shrink)