This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, (...) we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II. (shrink)

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.

In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter (...) showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (shrink)

1. Ronri to gengo -- 2-3. Imi to yōsō -- 4. Shinri to imi.

The paper attempts to construct a global model of a social contract using well-known metaphors of two great philosophers: Jean-Jacques Rousseau and John Locke. By modelling a global social contract, I mean the formulation of a social contract using two sets of data: one is global citizens' preferences about values and norms while the other is sovereign states' participation in multilateral treaties. Both Rousseau and Locke formulate their versions of social contract theories in the national context of eighteenth-century Europe. This (...) paper tries my hands on extending their theories to the global context. This paper attempts to link empirically the relationship between global citizens' preferences as gauged by the World Values Survey and sovereign states' participation in 120 multilateral treaties deposited to the United Nations. To see the link between citizens and treaties (quasi-legislative outcomes, sort of), dimensional similarities of the cosmos of citizens' preference and the cosmos of sovereign states' willingness to join multilateral treaties are examined. Once done, all the sovereign states are located in each of the two cosmoses, citizens and states, and the correlation coefficients between them are measured. Based on these empirical results, the nature of the global quasi-legislative process is clarified. Conclusions and implications are drawn. (shrink)

Molecular and biochemical analysis of the biogenesis of peroxisomes has made rapid progress in recent years. Research on the mechanism of targeting of peroxisomal proteins has revealed that many, but not all, peroxisomal proteins have a conserved tripeptide motif in their carboxy‐terminal portions which is required for entry into peroxisomes; the topogenic signal mechanism thus differs in these instances from those employed in mitochondria and endoplasmic reticulum. Other factors involved in peroxisome biogenesis are also coming to light.

闇斎門下の個性豊かな諸家の事跡を通して、垂加神道の史的展開を検討すると共に、『日本書紀』神代巻の解釈に見える思想の根幹を明らかにする。.

Mental imagery of movement is a potentially valuable rehabilitation task, but its therapeutic efficacy may depend on the specific cognitive strategy employed. Individuals use two main strategies to perform the hand mental rotation task, which involves determining whether a visual image depicts a left or right hand. One is the motor imagery strategy, which involves mentally simulating one’s own hand movements. In this case, task performance as measured by response time is subject to a medial–lateral effect wherein the RT is (...) reduced when the fingertips are directed medially, presumably as the actual motion would be easier. The other strategy is to employ visual imagery, which involves mentally rotating the picture and is not subject to this medial–lateral effect. The rehabilitative benefits of the HMRT are thought to depend on the MI strategy, so it is essential to examine the effects of individual factors such as age, image perspective, and innate ability on the strategy adopted. When presented with pictures of the palm, all subjects in the current study used the MI strategy, regardless of age and ability. In contrast, when subjects were presented with pictures of the back of the hand, the VI strategy predominated among the young age group regardless of performance, while the strategy used by middle-age and elderly groups depended on performance ability. In the middle-age and elderly groups, the VI approach predominated in those with high performance skill, whereas the MI strategy predominated among those with low performance skill. Thus, higher-skill middle-aged and elderly individuals may not necessarily form a motion image during the HMRT, potentially limiting rehabilitation efficacy. (shrink)

ABSTRACTAnother individual’s gaze automatically shifts an observer’s attention to a location. This reflexive response occurs even when the gaze is presented subliminally over a short period. Another’s gaze also increases the preference level for items in the gaze direction; however, it was previously unclear if this effect occurs when the gaze is presented subliminally. This study showed that the preference levels for nonsense figures looked at by a subliminal gaze were significantly greater than those for items that were subliminally looked (...) away from. Targets that were looked at by a subliminal gaze were detected faster ; however, the participants were unable to detect the gaze direction. These results indicate that another individual’s gaze automatically increases the preference levels for items in the gaze direction without conscious awareness. (shrink)

This book constitutes the thoroughly refereed joint post-proceedings of three international workshops organized by the Japanese Society for Artificial Intelligence, held in Tokyo, Japan in June 2006 during the 20th Annual Conference JSAI 2006. The volume starts with eight award winning papers of the JSAI 2006 main conference that are presented along with the 21 revised full workshop papers, carefully reviewed and selected for inclusion in the volume.

The paper explores the logical strength of Isbell's zig‐zag theorem using the framework of reverse mathematics. Working in, we show that is equivalent to Isbell's zig‐zag theorem for countable monoids: If B is a monoid extension of A, then is dominated by A if and only if b has a zig‐zag over A. Our proof of Isbell's zig‐zag theorem avoids use of strong comprehension axioms common in traditional proofs. We also analyze the strength of theorems concerning binary relations.

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

Biological forms are very complex, and mechanisms of pattern formation are not well understood. Although developmental biology deals with the mechanistic explanation of patterns, currently we do not know how to understand the mechanisms of pattern formation from huge amounts of molecular information. In this article, I present one useful tool, mathematical modeling, to obtain a mechanistic understanding of biological pattern formation, and show an actual example in lung branching morphogenesis. In this example, mathematical modeling plays an indispensable role in (...) understanding the biological phenomena. The model successfully reproduces the basic features of morphogenesis in vitro, but mechanism in vivo still remains to be elucidated. (shrink)

Given the recent call to strengthen collaboration between researchers and relevant practitioners, we consider participatory design as a way to advance Cognitive Science. Building on examples from the Learning Sciences and Human−Computer Interaction, we (a) explore what, why, who, when, and where researchers can collaborate with community members in Cognitive Science research; (b) examine the ways in which participatory‐design research can benefit the field; and (c) share ideas to incorporate participatory design into existing basic and applied research programs. Through this (...) article, we hope to spark deeper discussions on how cognitive scientists can collaborate with community members to benefit both research and practice. (shrink)

「意識のクオリア」も五感も、すべては錯覚だった。「心は脳が作り上げた幻想である」ことを述べた著者が、自己意識や五感が錯覚であることに的を絞って説明。.

There are many gene families that are specific to multicellular animals. These have either diverged from ancestral genes that are shared with fungi and/or plants or evolved from an ancestral gene unique to animals. The evolution of gene families involved in cell–cell communication and developmental control has been studied to establish whether the number of member genes increased dramatically immediately prior to or in concert with the Cambrian explosion. A molecular phylogeny‐based analysis of several animal‐specific gene families has revealed that (...) gene diversification by duplication occurred during two active periods interrupted by a long intervening quiescent period. Intriguingly, the Cambrian explosion is situated in the silent period, indicating that there is no direct link between the first burst of gene diversification and the Cambrian explosion itself. The importance of gene recruitment as a possible molecular mechanism for morphological diversity, and its possible role for the Cambrian explosion, are discussed. BioEssays 23:1018–1027, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

This article contributes to the critical engagement with luck egalitarianism by advancing two arguments. Firstly, it questions the cogency of the dichotomies – e.g., luck/choice, person/circumstance, agency/structure – and the accompanying moral ideal of pure voluntarism. This makes it difficult for luck egalitarianism to dissect appropriately the inequalities embedded in social relations, such as social networks and involuntary associations, in which voluntariness and contingency as well as agency and structure are intertwined. Secondly, it suggests that the relational approach, which has (...) been developed, inter alia, in the empirical study of inequality, provides a morally and practically adequate perspective on egalitarian justice. The relational approach achieves this by converging upon those in‐between social relations that are irreducible to the macro‐level structure and to micro‐level agency. Moreover, a relationally sensitive perspective on inequality can adeptly respond to the difficulties that luck‐egalitarian theories encounter. (shrink)

Samuel Huntington's influential clash of civilizations hypothesis (Huntington, 1993; Huntington, 1996) has been widely debated, but empirical tests of his ideas about core states remain limited at the micro-level. In this paper, we bring new evidence to bear, focusing on the : Greater Asia and the Pacific. Using the AsiaBarometer, we examine the extent to which publics in the region identify with the core states of the supposedly most contentious civilizations in the region and the factors that influence those perceptions. (...) We give attention to the role of globalization and nationalism and whether both may be subsumed by religiosity as Huntington suggests. Our descriptive evidence affirms some of the tensions between the US, China, and Islamic-predominant Asia identified by Huntington as areas of potential conflict. At the same time, we find no evidence to suggest that attitudes toward core states are zero-sum; Asian publics often see rival powers as mutually good influences. Using multivariate analysis, we find that religiosity, as the clash paradigm surmises, boosts Iranian influence and undermines American influence in several predominantly Islamic states. We also find, contrary to Huntington, that overall exposure to foreign cultures leads to a more positive assessment of American influence among Chinese and Pakistanis, as well as American perceptions of China. When foreign exposure influences perceptions of Iran, the effect is modestly, but consistently, negative. Taken together, the findings raise questions about two key assumptions of the Huntington framework and suggest that alternative approaches in recent civilizations literature show greater empirical promise. (shrink)