Reflections on Science, technology and nature - the pain of animals - genetics and society - our fragile democracy - dancing on racism's grave; The lesson of Japan - the prostitution of Academia - how educators have failed - the ecosystem as capital - the rape of the Amazon; The future; borrowing from the children - showdown in Brazil - Aboriginal people and the land; Acid rain - rain forests - deforestation - population.

A lattice-valued set theory is formulated by introducing the logical implication $\to$ which represents the order relation on the lattice.

This volume investigates how the phenomenology of religion was accepted and developed in different national contexts. It consists of interviews with senior scholars, who are experts on the development of the phenomenology of religion in their countries, along with commentary and analysis.

30th Nov. and 1st Dec. 2013 at Kyoto University. Organizer: Takeshi Sakon.

The best seller and perennial classic by one of the great Zen Buddhist masters--now available in Spanish. En los más de cuarenta años que han transcurrido desde su publicación original, Mente Zen, mente de principiante se ha convertido en uno de los grandes clásicos de la espiritualidad moderna, muy querido, continuamente releído y profusamente recomendado como el mejor libro que se puede leer sobre el Zen. Suzuki Roshi presenta las bases —desde los detalles de la postura y la respiración (...) en zazen hasta la percepción de la no dualidad— de un modo que, además de ser notablemente claro, resuena con la alegría de la comprensión desde la primera hasta la última página. (shrink)

One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.

Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided (...) with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication. (shrink)

To become more broadly applicable, positions on AI ethics require perspectives from non-Western regions and cultures such as China and Japan. In this paper, we propose that the addition of the concept of harmony to the discussion on ethical AI would be highly beneficial due to its centrality in East Asian cultures and its applicability to the challenge of designing AI for social good. We first present a synopsis of different definitions of harmony in multiple contexts, such as music and (...) society, which reveals that the concept is, at its core, about well-balanced relationships and appropriate actions which give rise to order, balance, and aesthetically pleasing phenomena. The mediator for these well-balanced relationships isTaktwhich is an ability to act thoughtfully and sensibly according to the specific situation and to put things into proportion and order. We propose that the central challenge of building harmonizing AI is to make intelligent systems tactful and also to design and use them tactfully. For an AI system to become tactful, it needs to be able to have an advanced sensitivity to the specific contexts which it is in and their social and ethical implications and have the capability of approximately inferring the emotional and cognitive states of people with whom it is interacting. (shrink)

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)

Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.

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.

Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...) class of agency, consequently justifying their phylogenetic claim. We also examine the implication of their phylogenetic claim: visual consciousness is homologous across vertebrates, but its neural basis is not. This apparent incongruence illustrates a general phenomenon of homology, and that the resulting hierarchical view of visual consciousness and its neural basis can be straightforwardly accommodated by neurobiological naturalism. Throughout these discussions, we aim to address the potential theoretical issues in neurobiological naturalism and refine the picture illustrated by Feinberg and Mallatt regarding phylogenetic distribution and trajectories of visual consciousness. (shrink)

Does religion bring peace or war? In order to discuss this fundamental question, it is essential to reflect upon religious education that shapes the views of religion among young generations. This book has developed from the special panel on "Religious Education and Peace" for the 19th World Congress of the International Association for the History of Religions, the largest international organization in religious studies, which took place in Tokyo in March 2005. Its international contributors discuss the kinds of religious education (...) used for peace education that is attempted or needed, in their respective societies faced with tensions and conflicts, not only between different religions but also between religion and secularism. This is the first book in the field that includes both Asian and Western writers. It is an innovative attempt to build a bridge between the study of religion/religious education and peace education. This book was previously published as a special issue of _British Journal of Religious Education_. (shrink)

「生命倫理」は研究を不当に妨げている?ヒト由来試料を用いた研究から生じる「倫理的問題」とは何なのか?法学からのアプローチにより、現実的な規制枠組みの確立に向け、基本から問い直す。.

This paper presents a cross-cultural study on peoples’ negative attitude toward robots. 467 participants from seven different countries filled in the negative attitude towards robots scale survey which consists of 14 questions in three clusters: attitude towards the interaction with robots, attitude towards social influence of robots and attitude towards emotions in interaction with robots. Around one half of them were recruited at local universities and the other half was approached through Aibo online communities. The participants’ cultural background had a (...) significant influence on their attitude and the Japanese were not as positive as stereotypically assumed. The US participants had the most positive attitude, while participants from Mexico had the most negative attitude. The participants from the online community were more positive towards robots than those not involved. Previous experience in interacting with Aibo also had a positive effect, but owning an Aibo did not improve their attitude. (shrink)

Targeted gene alteration (TGA) is a strategy for correcting single base mutations in the DNA of human cells that cause inherited disorders. TGA aims to reverse a phenotype by repairing the mutant base within the chromosome itself, avoiding the introduction of exogenous genes. The process of how to accurately repair a genetic mutation is elucidated through the use of single‐stranded DNA oligonucleotides (ODNs) that can enter the cell and migrate to the nucleus. These specifically designed ODNs hybridize to the target (...) sequence and act as a beacon for nucleotide exchange. The key to this reaction is the frequency with which the base is corrected; this will determine whether the approach becomes clinically relevant or not. Over the course of the last five years, workers have been uncovering the role played by the cells in regulating the gene repair process. In this essay, we discuss how the impact of the cell on TGA has evolved through the years and illustrate ways that inherent cellular pathways could be used to enhance TGA activity. We also describe the cost to cell metabolism and survival when certain processes are altered to achieve a higher frequency of repair. (shrink)

The idea that the thalamo-cortical system is the crucial constituent of the neurobiological mechanisms of consciousness has a long history. For the last few decades, however, consciousness research has to a large extent overlooked the interplay between the cortex and thalamus. Here we revive an integrated view of the neurobiology of consciousness by presenting and discussing several recent major findings about the role of the thalamocortical interactions in consciousness. Based on these findings we propose a specific cellular mechanism how thalamic (...) nuclei modulate the integration of different processing streams within single cortical pyramidal neurons. This theory is inspired by recent work done in rodents, but it integrates decades of work conducted on various species. We illustrate how this new view readily explains various properties and experimental phenomena associated with conscious experience. We discuss the implications of this idea and some of the experiments that need to be done in order to test it. Our view bridges two long-standing perspectives on the neural mechanisms of consciousness and proposes that cortical and thalamo-cortical processing interact at the level of single pyramidal cells. (shrink)

Japan has often been regarded as an ethnically homogeneous society whose restrictive immigration policies reflect the deep-seated cultural peculiarities of this ‘island nation’. By contrast, I shall argue that Japan’s post- 1945 cultural separation from the other countries of East Asia, and its strict border controls, were to a large extent products of Cold War politics. The postwar democratization of Japan went hand in hand with the introduction of tight restrictions on cross-border mobility: restrictions which had profound consequences for the (...) rights of ethnic minorities in Japan (particularly Koreans and Taiwanese). An exploration of the emergence and impact of this border control regime casts new light, not just on Japan’s role in the Northeast Asian region, but also on key limitations of nation-state centred notions of liberal democracy. (shrink)

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

This book explores the construction of gender ideology in early modern England through an analysis of the querelle des femmes - the debate about the relationship between the sexes that originated on the continent during the middle ages and the Renaissance and developed in England into the Swetnam controversy, which revolved around the publication of Joseph Swetnam's The arraignment of lewd, forward, and inconstant women and the pamphlets which responded to its misogynist attacks. The volume contextualizes the debate in terms (...) of its continental antecedents and elite manuscript circulation in England, then moves to consider popular culture and printed texts from the Jacobean debate and its effects on women's writing and the developing discourse on gender, and concludes with an examination of the ramifications of the debate during the Civil War and Restoration. Essays focus attention on the implications of the gender debate for women writers and their literary relations, cultural ideology and the family, and political discourse and ideas of nationhood. (shrink)

In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...) their decidability. (shrink)

The Bird Song Diamond project is a series of multifaceted and multidisciplinary installations with the aim of bringing contemporary research on bird communication to a large public audience. Using art and technology to create immersive experiences, BSD allows large audiences to embody bird communication rather than passively observe. In particular, BSD Mimic, a system for mimicking bird song, asks participants to grapple with both audition and vocalization of birdsong. The use of interactive installations for public outreach provides unique experiences to (...) a diverse audience, while providing direct feedback for artists and researchers interested in the success of such outreach. By following an iterative design process, both artists and researchers have been able to evaluate the effectiveness of each installation for promoting audience engagement with the subject matter. The execution and evaluation of each iteration of BSD is described throughout the paper. In addition, the process of interdisciplinary collaboration in our project has led to a more defined role of the artist as a facilitator of specialists. BSD Mimic has also led to further questions about the nature of audience collaboration for an engaged experience. (shrink)