We propose a general framework for dynamic epistemic logics. It consists of a generic language for DELs and a class of structures, called model transition systems, that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define the (...) notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs. (shrink)

Honey bees are eusocial insects and the workers inform their nestmates of information regarding the location of food source using symbolic communication, called ‘dance communication’, that are based on their highly advanced learning abilities. Mushroom bodies (MBs), a higher-order center in the honey bee brain, comprise some subtypes/populations of interneurons termed Kenyon cells (KCs) that are distinguished by their cell body size and location in the MBs, as well as their gene expression profiles. Although the role of MBs in learning (...) ability has been studied extensively in the honey bee, the roles of each KC subtype and their evolution in hymenopteran insects remain mostly unknown. This mini-review describes recent progress in the analysis of gene/protein expression profiles and possible functions of KC subtypes/populations in the honey bee. Especially, the discovery of novel KC subtype/population, ‘middle-type KCs’ and ‘KC population expressing FoxP’, necessitated a redefinition of the KC subtype/population. Analysis of the effects of inhibiting gene function in a KC subtype-preferential manner revealed the function of the gene product as well as of the subtype where it is expressed. Genes expressed in a KC subtype/population-preferential manner can be used to trace the differentiation of KC subtypes during the honey bee ontogeny and the possible evolution of KC subtypes in hymenopteran insects. Current findings suggest that the three KC subtypes are unique characteristics to the aculeate hymenopteran insects. Finally, recent application of genome editing for the study of KC subtype functions in the honey bee is described. Genes expressed in a KC subtype-preferential manner can be good candidate target genes for genome editing, because they are likely related to highly advanced brain functions and some of them are dispensable for normal development and sexual maturation in honey bees. (shrink)

Comprehenders generate expectations about upcoming lexical items in language processing using various types of contextual information. However, a number of studies have shown that argument roles do not impact neural and behavioral prediction measures. Despite these robust findings, some prior studies have suggested that lexical prediction might be sensitive to argument roles in production tasks such as the cloze task or in comprehension tasks when additional time is available for prediction. This study demonstrates that both the task and additional time (...) for prediction independently influence lexical prediction using argument roles, via evidence from closely matched electroencephalogram (EEG) and speeded cloze experiments. In order to investigate the timing effect, our EEG experiment used maximally simple Japanese stimuli such as Bee-nom/acc sting, and it manipulated the time for prediction by changing the temporal interval between the context noun and the target verb without adding any further linguistic content. In order to investigate the task effect, we conducted a speeded cloze study that was matched with our EEG study both in terms of stimuli and the time available for prediction. We found that both the EEG study with additional time for prediction and the speeded cloze study with matched timing showed clear sensitivity to argument roles, while the EEG conditions with less time for prediction replicated the standard pattern of argument role insensitivity. Based on these findings, we propose that lexical prediction is initially insensitive to argument roles but a monitoring mechanism serially inhibits role-inappropriate candidates. This monitoring process operates quickly in production tasks, where it is important to quickly select a single candidate to produce, whereas it may operate more slowly in comprehension tasks, where multiple candidates can be maintained until a continuation is perceived. Computational simulations demonstrate that this mechanism can successfully explain the task and timing effects observed in our experiments. (shrink)

In order to achieve flexible and smooth walking, we must accomplish subtasks (e.g., loading response, forward propulsion or swing initiation) within a gait cycle. To evaluate subtasks within a gait cycle, the analysis of muscle synergies may be effective. In the case of walking, extracted sets of muscle synergies characterize muscle patterns that relate to the subtasks within a gait cycle. Although previous studies have reported that the muscle synergies of individuals with disorders reflect impairments, a way to investigate the (...) instability in the activations of muscle synergies themselves has not been proposed. Thus, we investigated the local dynamic stability and orbital stability of activations of muscle synergies across various walking speeds using maximum Lyapunov exponents and maximum Floquet multipliers. We revealed that the local dynamic stability in the activations decreased with accelerated walking speeds. Contrary to the local dynamic stability, the orbital stability of the activations was almost constant across walking speeds. In addition, the increasing rates of maximum Lyapunov exponents were different among the muscle synergies. Therefore, the local dynamic stability in the activations might depend on the requirement of motor output related to the subtasks within a gait cycle. We concluded that the local dynamic stability in the activation of muscle synergies decrease as walking speed accelerates. On the other hand, the orbital stability is sustained across broad walking speeds. (shrink)

A decrease in cortical excitability tends to be easily followed by an increase induced by external stimuli via a mechanism aimed at restoring it; this phenomenon is called “homeostatic plasticity.” In recent years, although intervention methods aimed at promoting motor learning using this phenomenon have been studied, an optimal intervention method has not been established. In the present study, we examined whether subsequent motor learning can be promoted further by a repetitive passive movement, which reduces the excitability of the primary (...) motor cortex before motor learning tasks. We also examined the relationship between motor learning and the brain-derived neurotrophic factor. Forty healthy subjects participated. Subjects were divided into two groups of 20 individuals each. The first group was assigned to perform the motor learning task after an intervention consisting in the passive adduction–abduction movement of the right index finger at 5 Hz for 10 min, while the second group was assigned to perform the task without the passive movement. The motor learning task consisted in the visual tracking of the right index finger. The results showed that the corticospinal excitability was transiently reduced after the passive movement in the RPM condition, whereas it was increased to the level detected in the control condition after the motor learning task. Furthermore, the motor learning ability was decreased immediately after the passive movement; however, the motor performance finally improved to the level observed in the control condition. In individuals carrying the Val/Val genotype, higher motor learning was also found to be related to the more remarkable changes in corticospinal excitability caused by the RPM condition. This study revealed that the implementation of a passive movement before a motor learning tasks did not affect M1 excitatory changes and motor learning efficiency; in contrast, in subjects carrying the Val/Val polymorphism, the more significant excitatory changes in the M1 induced by the passive movement and motor learning task led to the improvement of motor learning efficiency. Our results also suggest that homeostatic plasticity occurring in the M1 is involved in this improvement. (shrink)

In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.

In lieu of an abstract, here is a brief excerpt of the content:The Nature (Ziran 自然) of Technological and Economic Development in Early DaoismYumi Suzuki (bio)I. IntroductionEric Nelson's Daoism and Environmental Philosophy: Nourishing Life provides comprehensive guidance on how early and later Daoist thought could offer both ideological and practical solutions to contemporary environmental issues. Nelson does not simple-mindedly claim that Daoists are environmentalists or that Daoism is comparable with modern environmental thought. His monograph has a more sophisticated, and (...) also more ambitious and consequently philosophically provocative, goal: to evolutionally develop old Daoist thought to directly address contemporary philosophical discourses on the environment.1I have summarized elsewhere what I find to be the most significant and meaningful contributions this book has made.2 I think its goal has successfully been achieved in various ways: Nelson gives careful and accurate interpretations to each passage from the original texts.3 What he calls "the new Daoism" deployed on the basis of these interpretations is reasonable and uncontroversial. The monograph overall offers an exemplary model of how wisdom acquired through studying the history of philosophy can be adapted to cogitating on newly emerging philosophical questions, despite differences in the intellectual contexts that we are required to warily distinguish. Moreover, by focusing on the Daoist tradition in East Asia, it well demonstrates how other systems of philosophical thought can be usefully employed to critically reflect on fundamental assumptions that an existing system is already committed to and that could be the very cause of relevant philosophical and pragmatic problems.While I mostly agree with his arguments in chapters 1–4 and 6, the only part I found unsatisfactory is chapter 5, "Early Daoist Biopolitics and a New [End Page 771] Daoist Political Ecology" (pp. 100–118). The present review aims to elaborate reasons for my resistance to Nelson's all-out endorsement of what he regards as the sociopolitical implications of Daoism. When it comes to politics, it appears to me, early Daoist texts such as the Daodejing and the Zhuangzi express often disappointingly ambiguous and agnostic attitudes toward what can be done with respect to their doctrinal opponents and outsiders. My suggestion is that if we examine the explorations of their contenders, that is, mainly Confucians and Legalists, concerning political and technological devices, they may present an altogether less biased and more balanced range of solutions to a question Nelson raises regarding an environmental challenge associated with a competitive globalized economy and rapidly developing technologies in our modern age.II. A Challenge to the Current Environmental MovementChapter 5 begins with the following statement:Appeals to encountering the myriad things in their environmental contexts and relations are necessary for an ecological transformation of existing cultures and societies. Yet an environmental ethos and culture of nature is not sufficient given how systematically reproduced social-economic processes in advanced capitalist societies meditate, entangle, and obstruct the transformative potential of such encounters. To this extent, an adequate environmental philosophy must concurrently be social-political philosophy that can offer an environmentally oriented critique of existing social structures and institutions that directly and indirectly harm creatures and degrade ecosystems in myriad ways such that transformations must transpire in economic and societal structures as well as at the level of individual cultivation and reflections.(p. 100)Nelson maintains that even though it is cardinal to transform the ways in which the myriad things encounter and mutually correspond with each other, as well as alter their own existential state, by cultivating an environmental ethos and culture of nature in each individual and society, one of the most serious challenges for such transformations could originate with already existing capitalist, materialist, and consumerist social structures and institutions widely prevailing and deeply embedded in the highly complex economic and political systems of our age.This, I think, captures the core problem of modern environmentalism. An individual, a group of people such as nonprofit or nongovernmental organizations, or a single city or country might be convinced by the Daoist "biospiritual" mode of life. Nevertheless, it appears to be far more difficult in practice to have certain countries or multinational mega-firms abandon their steadfast, primary commitment to national, industrial, commercial, or corporate missions to pursue their own benefits that deprioritize or... (shrink)

Zen Buddhism as it has been discovered by the West in our time emerges as one of the great challenges to Western philosophy, psychology, and religion. The present volume, composed of the work of D. T. Suzuki, Zen's chief exponent in English, and presented to Western readers by William Barrett, is intended to introduce the general reader to the history and spirit of Zen.

This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions (...) which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication. (shrink)

Homology is a fundamental concept in biology. However, the metaphysical status of homology, especially whether a homolog is a part of an individual or a member of a natural kind, is still a matter of intense debate. The proponents of the individuality view of homology criticize the natural kind view of homology by pointing out that homologs are subject to evolutionary transformation, and natural kinds do not change in the evolutionary process. Conversely, some proponents of the natural kind view of (...) homology argue that a homolog can be construed both as a part of an individual and a member of a natural kind. They adopt the Homeostatic Property Cluster theory of natural kinds, and the theory seems to strongly support their construal. Note that this construal implies the acceptance of essentialism. However, looking back on the history of the concept of homology, we should not overlook the fact that the individuality view was proposed to reject the essentialist interpretation of homology. Moreover, the essentialist notions of natural kinds can, in our view, mislead biologists about the phenomena of homology. Consequently, we need a non-essentialist view of homology, which we name the “persistently reproducible module” view. This view highlights both the individual-like and kind-like aspects of homologs while stripping down both essentialist and anti-essentialist interpretations of homology. In this article, we articulate the PRM view of homology and explain why it is recommended over the other two views. (shrink)

The individual physical appearances of robots are considered significant, similar to the way that those of humans are. We investigated whether users prefer robots with male or female physical appearances for use in daily communication situations and whether egalitarian gender role attitudes are related to this preference. One thousand adult men and women aged 20–60 participated in the questionnaire survey. The results of our study showed that in most situations and for most subjects, “males” was not selected and “females” or (...) “neither” was selected. Moreover, the number of respondents who chose “either” was higher than that who chose “female.” Furthermore, we examined the relationship between gender and gender preference and confirmed that the effect of gender on the gender preference for a robot weakened when the human factor was eliminated. In addition, in some situations for android-type robots and in all situations for machine-type robots, equality orientation in gender role attitudes was shown to be higher for people who were not specific about their gender preferences. It is concluded that there is no need to introduce a robot that specifies its gender. Robots with a gender-neutral appearance might be more appropriate for applications requiring complex human–robot interaction and help avoid reproducing a gender bias. (shrink)

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

The human environment is currently undergoing massive change amid the rapid adoption of information and communications technology (ICT). ICT can be characterized as offering an opportunity to consider the nature of humanity, create new values, and foster new cultures. As humans, the question that technical innovation relating to Artificial Intelligence (AI) and Robots thrusts before us is, “What is a human?” What exactly are the things that AI will never be able to do, no matter how close it gets to (...) human capabilities? What makes us humans, and what is it that only humans can do? This essay discusses the impact of AI technology on humans and society from the perspective of a turning point in how people perceive themselves and humanity. (shrink)

This paper revisits one of the most celebrated verses on dao and ming in the Opening Chapter of the received Laozi Daodejing. I shall clarify two types of English interpretations which are possibly applicable to the verse and demonstrate that they are equally sustainable. It follows that a commitment to either one of these interpretations may thereby spoil the meta-perspective effect which the verse skillfully creates.

This paper attempts to reconcile the conceptual conflict between typological and population thinking to provide a philosophical foundation for extended evolutionary synthesis. Typological thinking has been considered a pre-Darwinian, essentialist dogma incompatible with population thinking, which is the core notion of Darwinism. More recent philosophical and historical studies suggest that a non-essentialist form of typology has some advantages in the study of evolutionary biology. However, even if we adopt such an epistemological interpretation of typological thinking, there still remains an epistemological (...) and methodological conflict between these two styles of thinking. How can we relate typological thinking with population thinking in pursuit of more integrated or interconnected research into evolutionary biology? I propose that homology thinking, which is another style of thinking that recognizes homologous characters, provides a common basis for typological representations of character states and for character dynamics in an evolving population. Good examples of this bridging role are found in teratology and breeding, where variation and novelty are recognized in developmental and morphological traits, gene expression patterns, and so on. Essentialism-free, dynamic views of homology have great potential to reconcile typological and population thinking and to set the stage for the EES. (shrink)

When an agent’s motivation is sensitive to how his supervisor thinks about the agent’s competence, the supervisor has to take into account both informational and expressive contents of her message to the agent. This paper shows that the supervisor can credibly express her trust in the agent’s ability only by being un- clear about what to do. Suggesting what to do, i.e., “directives,” could reveal the supervisor’s “distrust” and reduce the agent’s equilibrium effort level even though it provides useful information (...) about the decision environment. There is also an equilibrium in which directives are neutral in expressive content. However, it is shown that neologism proofness favors equilibria in which directives are double- edged swords. (shrink)

Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.

The gap between the Markov blanket and ontological boundaries arises from the former's inability to capture the dynamic process through which biological and cognitive agents actively generate their own boundaries with the environment. Active inference in the free-energy principle (FEP) framework presupposes the existence of a Markov blanket, but it is not a process that actively generates the latter.