Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

Genome maintenance requires various nucleoid-associated factors in prokaryotes. Among them, the SMC protein has been thought to play a static role in the organization and segregation of the chromosome during cell division. However, recent studies have shown that the bacterial SMC is required to align left and right arms of the emerging chromosome and that the protein dynamically travels from origin to Ter region. A rod form of the SMC complex mediates DNA bridging and has been recognized as a machinery (...) responsible for DNA loop extrusion, like eukaryotic condensin or cohesin complexes, which act as chromosome organizers. Attention is now turning to how the prototype of the complex is loaded on the entry site and translocated on chromosomal DNA, explaining its overall conformational changes at atomic levels. Here, we review and highlight recent findings concerning the prokaryotic SMC complex and discuss possible mechanisms from the viewpoint of protein architecture. Recent studies show dynamic movements of the prokaryotic SMC protein complex: initial loading, translocation on DNA for bacterial chromosome organization. The recent structural models of the protein also provide a new vision for the structure-function relationship. (shrink)

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

A comparative analysis was made of the public's attitudes toward the use of animals in scientific research in 15 different nations. The intensity of opposition to animal research was found to vary from relatively low levels in Japan and the United States to much higher levels in France, Belgium, and Great Britain. More women than men were opposed to animal research in all 15 nations. Scientific knowledge, or the lack of knowledge, was not found to have a consistent relationship with (...) attitudes toward animal research. Concern about the environment was found to be related to opposition to animal research in some western European nations, in particular West Germany. Cluster analysis was used to group the nations into four patterns based on intensity of opposition, level of opposition, gender differences in opposition, and the relationship between attitudes toward animal research and both environmental concern and scientific knowledge. (shrink)

This paper deals with two main topics: One is a semantical investigation for a bimodal language with a modal operator \blacksquare associated with the intersection of the accessibility relation R and the inequality ≠. The other is a generalization of some of the former results to general extended languages with modal operators. First, for our language L\sb{\square\blacksquare}, we prove that Segerberg's theorem (equivalence between finite frame property and finite model property) fails and establish both van Benthem-style and Goldblatt-Thomason-style characterizations. We (...) extract the notion of \blacksquare-realizer (a generalization of bulldozing) as an essence from the proofs of our results. Second, we generalize the notion of \blacksquare-realizer and prove quite general versions of these semantical characterization results. The known and previously unknown characterization results for almost all of the languages extended with modal operators already proposed will be immediate corollaries. (shrink)

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.

In the present paper I try to show that ethical principles of medical activities in general can be adequately applied to medical activities for the patient in his terminal stage. For this objective, I shall argue first what are the principles and rules of medical activities in general, and then show how these can be applied to palliative medicine.

This paper presents what the authors call the ‘divergence problem’ regarding choosing between different future possibilities. As is discussed in the first half, the central issue of the problem is the difficulty of temporally locating the ‘active cause’ on the modal divergent diagram. In the second half of this paper, we discuss the ‘second-person freedom’ which is, strictly, neither compatibilist negative freedom nor incompatibilist positive freedom. The divergence problem leads us to two hypothetical views (i.e. the view of single-line determination (...) and that of one-off chance), and these views bring humans closer to the afree side – i.e. outside of the contrast between being free and being unfree. The afree side is greatly different from the ordinary human side. This paper tries to secure the second-person freedom as a substitute for the ordinary human freedom while preventing the divergence problem from arising. (shrink)

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

In political philosophy, reflective equilibrium is a standard method used to systematically reconcile intuitive judgments with theoretical principles. In this paper, we propose that survey experiments and a model selection method—i.e., the Akaike Information Criterion (AIC)-based model selection method—can be viewed together as a methodological means of satisfying the epistemic desiderata implicit in reflective equilibrium. To show this, we conduct a survey experiment on two theories of distributive justice, prioritarianism and sufficientarianism. Our experimental test case and AIC-based model selection method (...) demonstrate that the refined sufficientarian principle, a widely accepted principle of distributive justice, is no more plausible than the prioritarian principle. This tells us that some changes of certain intuitions revolving around sufficientarianism should be examined (separately) based on the findings of the survey experiment and AIC model selection. This shows the potential of our approach—both practically and methodologically—as a novel way of applying reflective equilibrium in political philosophy. (shrink)

A comparative analysis was made of the public's attitudes toward the use of animals in scientific research in 15 different nations. The intensity of opposition to animal research was found to vary from relatively low levels in Japan and the United States to much higher levels in France, Belgium, and Great Britain. More women than men were opposed to animal research in all 15 nations. Scientific knowledge, or the lack of knowledge, was not found to have a consistent relationship with (...) attitudes toward animal research. Concern about the environment was found to be related to opposition to animal research in some western European nations, in particular West Germany. Cluster analysis was used to group the nations into four patterns based on intensity of opposition, level of opposition, gender differences in opposition, and the relationship between attitudes toward animal research and both environmental concern and scientific knowledge. (shrink)

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system $$\mathbf {C+J}$$ proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

The issue of distributive justice receives substantial amount of attention in our society. On the one hand, we are sensitive to whether and the extent to which people are responsible for being worse off. On the other hand, we are mindful of society’s worst-off members. There has been a debate over luck egalitarianism, which relates to the former concern, and relational egalitarianism, which echoes the latter. By investigating the psychological processes of these two concerns, this paper examines the reliability of (...) the argument that Elizabeth Anderson, a renowned relational egalitarian, presents against luck egalitarianism and for relational egalitarianism. It also considers whether it is possible to support luck egalitarianism and relational egalitarianism simultaneously, using an online experiment. The results of the experiment show that, first, for ordinary people, the luck consideration is as important as the basic capabilities consideration. Second, while real people consider the degree of compensation through the factors of causality and responsibility, the lack of basic capabilities directs them to determine how much victims of bad luck should be compensated. This suggests that pluralist egalitarianism is on the right track. (shrink)

The inositol phosphate metabolism network has been found to be much more complex than previously thought, as more and more inositol phosphates and their metabolizing enzymes have been discovered. Some of the inositol phosphates have been shown to have biological activities, but little is known about their signal transduction mechanisms except for that of inositol 1,4,5‐trisphosphate. The recent discovery, however, of a number of binding proteins for inositol high polyphosphate [inositol 1,3,4,5‐tetrakisphosphate (IP4), inositol 1,3,4,5,6‐pentakisphosphate, or inositol hexakisphosphate] enables us to (...) speculate on the physiological function of these compounds. In this article we focus on two major issues: (1) the roles of inositol high polyphosphates in vesicular trafficking, especially exocytosis, and (2) pleckstrin homology domaincontaining IP4 binding proteins involved in the Ras signaling pathway. (shrink)