This paper aims to present possible approaches, resources and programmes to introduce the topic of biosecurity to life scientists and engineers at the higher education level. Firstly, we summarise key findings from a number of international surveys on biosecurity education that have been carried out in the United States, Europe, Israel and the Asia–Pacific region. Secondly, we describe the development of our openly-accessible education resource, illustrating the scope and content of these materials. Thirdly, we report on actual cases of biosecurity (...) education that have been implemented. These include achievements in and lessons derived from the implementation of biosecurity education at the National Defense Medical College in Japan. These experiences are followed by presentation of the expert-level “Train-the-Trainer” programmes subsequently launched by the University of Bradford in the United Kingdom. These examples will help readers to understand how educators can enhance their own understanding about biosecurity issues and how they can then disseminate their knowledge through development of their own customised, relevantly-targeted and stage-tailored education programmes within their own life science communities. By providing these examples, we argue that education for life scientists, policy-makers and other stakeholders about social responsibility on dual-use issues is easily achievable and need not be expensive, time-consuming or over-burdening. We suggest that recurring classes or courses be held at appropriate times during educational programmes to accommodate the developing expertise and advancing learning stages of students. (shrink)

The concept of contingency is very much debated. In this paper, I’ll offer a novel interpretation of it in Dharmakīrti’s ontology, focusing on his treatment and understanding of vināśa which is, according to Dharmakīrti, not contingent and thus occurs necessarily to everything. I will do so by clarifying some important terms, motivating and explaining Dharmakīrti’s position, and analyzing firsthand some Dharmakīrtian debate excerpts with Nyāya and/or Vaiśeṣika philosophers as the main opponents. In the course of this, I will show that (...) basically, for Dharmakīrti, contingency is tantamount to dependency, whereas Nyāya and/or Vaiśeṣika authors, e.g., Śrīdhara and Bhāsarvajña, claim that something can be dependent on something else and still be necessary. (shrink)

This paper studies the theory and practice of Minna in Manabi, as the Japanese concept of learning from the perspective of moral education. The Japanese word Minna, which means “all” or “everyone,” plays an important role in Manabi. The word “Minna” is often found in textbooks used in moral education classes, and great value is placed on “thinking about everyone.” Minna, a component of Manabi, not only makes the self (the learner) nothing and selfless, but also makes it possible to (...) enter all, everyone, and the world. This may create possibilities for inclusiveness, reciprocal harmony, hospitality, solidarity, and cooperativeness. This Manabi of “thinking about everyone” can be found in moral classes and in all aspects of learning (educational) activities in Japanese schools. Among them, in addition to being a traditional Buddhist practice dealing with Nothingness and Selflessness, Souji (cleaning time) is also very important in schools as a Japanese moral practice of “thinking about everyone.” The moral concepts developed in the West, such as democracy, community, solidarity, engagement, and citizenship, are not only realized through the establishment of the individual, self-realization, and perfection of personality, but by “thinking about everyone,” as expressed in Nothingness, Selflessness, and Minna. (shrink)

Dharmottara, one of the most outstanding commentators of Dharmakīrti, re-uses arguments in the Pramāṇaviniścayaṭīkā, his broad commentary on Dharmakīrti’s Pramāṇaviniścaya, from his independent essay, the Kṣaṇabhaṅgasiddhi. By analyzing contents of re-used arguments in the Pramāṇaviniścayaṭīkā, this paper clarifies Dharmottara’s intention of paraphrasing his arguments in his commentarial work on Dharmakīrti. I argue that, in terms of content, such arguments are original and never fit into Dharmakīrti’s own system. It can be said that Dharmottara has a clear intention to display his (...) new innovations not only in his independent monograph, but also in his commentarial work. For Dharmottara, a commentary on Dharmakīrti is a better place than an independent monograph for showing off his advanced notions, since it is only in a commentary that his ideas can stand out directly against those of Dharmakīrti. In this sense, Dharmottara writes his commentary strategically. At the end of the article I discuss the significance of composing independent monographs or essays in the intellectual history of medieval India in the case of Dharmottara. (shrink)

For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=x(p(x)q)xp(x)q) is shown in some cases including:1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.

単眼・一点透視の“遠近法”ではなく、複眼・多様性の“遠近法”の「図式語彙」で読み解く。“図式語彙”による作品解釈の新しい地平。.

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.

In spite of the existence of many examples of incomplete logics, it is an important problem to find intermediate predicate logics complete with respect to Kripke frame (or Kripke sheaf) semantics because they are closed under substitution. But, most of known completeness proofs of finitely axiomatizable logics are difficult to apply to other logics since they are highly dependent on the specific properties of given logics. So, it is preferable to find a general methods of completeness proof. We give some (...) results on this problem using canonical formulas of "propositional" logics 8,2ESS. (shrink)

地球環境問題など、文明社会がもたらしたさまざまな負の作用がクローズアップされているいま、必要なのは量の時代から質の時代への移行である。「人間」「科学」「技術」がどのように相互作用してきたかをふりかえり 、人間、自然、地球が豊かになるための道をさぐる。.

This paper concerns the relations between the relative Manin–Mumford conjecture and Pink’s conjecture on unlikely intersections in mixed Shimura varieties. The variety under study is the 4-dimensional Poincaré biextension attached to a universal elliptic curve. A detailed list of its special subvarieties is drawn up, providing partial verifications of Pink’s conjecture in this case, and two open problems are stated in order to complete its proof.

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)

Face à l’extension d’un art disséminé, nous nous arrêtons sur un registre de pratiques et de notions malentendues, les arts martiaux japonais, confondus avec des « sports de combat ». Par « art » nous entendons une conduite soucieuse de mener une pratique et une production à la perfection, et foncièrement à la perfection de soi, quelle que soit la manière culturelle locale d’envisager cet état d’accomplissement. En regard de l’art du bouquet ( ikebana ), de pratiques shintoïstes (comme le (...) kototama ), nous examinons des notions comme celle d’art martial ou bugei, littéralement l’art ( gei ) d’arrêter la lance ( bu ). Ce que les Occidentaux ont interprété comme un « art de la guerre » se voulait un « art de la paix ». Les arts martiaux japonais mobilisent en ce sens des notions et des expériences parfois connues en Occident comme le ki, l’énergie, ou méconnues comme le shin (le cœur-esprit), le ma (l’espace-temps) ou l’ aï (l’un). Nous nous proposons de démonter un malentendu à partir d’une pratique artistique, le kino-michi, élaboré par Masamichi Noro, dérivée de l’aïkido, en vue de comprendre en quoi ces bugei sont une éducation, une élévation de l’âme et du corps au même titre que la musique ou la danse. (shrink)

The Kripke-completeness and incompleteness of some intermediate predicate logics is established. In particular, we obtain a Kripke-incomplete logic (H* +A+D+K) where H* is the intuitionistic predicate calculus, A is a disjunction-free propositional formula, D = x(P(x) V Q) xP(x) V Q, K = ¬¬x(P(x) V ¬P(x)) (the negative answer to a question of T. Shimura).