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)

A theory of the evolution of mind cannot be complete without an explanation of how cognition became representational. Artificial approximations of cognitive evolution do not, in general, produce representational cognition. We take this as an indication that there is a gap in our understanding of what drives evolution towards representational solutions, and propose a theory to fill this gap. We suggest selection for learning and selection for second order learning as the causal factors driving the emergence of innate and acquired (...) forms of representation, respectively. Cognition is commonly viewed as a “black box”—selection works on externally visible behaviour alone, with little regard for implementation structure. Yet even if implementation structure is not constrained by selection on behaviour, implementation structure does affect how easy or difficult it is to make specific modifications to the behaviour. Hence selection for learning can affect the implementation structure of behaviour. Similarly, the implementation structure of learning ability itself is not under direct selection, but selection for second order learning can affect the implementation structure of first order learning. We argue that these indirect selection effects guide evolution towards representational implementations, as structural alignment between implementation structure and environment structure guarantees that simple changes in the environment can be met with simple changes in implementation. We illustrate the theory with examples of computational investigations, and discuss how the theory may help put representational cognition within reach of purely connectionist AI. (shrink)

世界は多元的であるがゆえに一つである。われわれの思考、言葉と表現の生まれた場所とは!?近代思想史を斬新に塗りかえる画期的論考。.

没後250年になる安藤昌益。カント、ゲーテ、ヴォルテール、ルイ16世らとの対話から明らかになる農と生命に対する讃歌の思想。.

西田幾多郎の哲学に多大なる影響を与え、アメリカにおいても仏教思想を広く知らしめた近代日本最大の仏教者・鈴木大拙の全貌に迫る。.

This paper introduces a common-interest communication game that generates pragmatics, where meaning emerges from the use of a preexisting language under equilibrium selection driven solely by efficiency. A key feature is that the sender describes the current state to the receiver by combining preexisting statements. This approach allows us to formalize two communication frictions: (i) longer descriptions incur higher costs, and (ii) with some probability, the receiver interprets only the conventional meaning. The absence of one friction leads to some efficient (...) equilibria exhibiting pragmatics that disregards conventional meaning. However, when communication costs are sufficiently small, given the other friction, any efficient equilibrium exhibits natural pragmatics that refines conventional meaning, reflecting the context provided by the probability distribution of states. The resulting equilibrium pragmatics aligns with major linguistic theories, including Grice’s cooperative principle (1975) and Sperber and Wilson’s relevance theory (1986). (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)

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 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.

This paper examines the challenge of mediating theory and practice in pedagogy, specifically focusing on the critical importance of educational tact as a mediator between the two. It first defines the role of pedagogical tact, underlining its significance as a vital skill for professionals. It also explores the qualities of teachers who embrace diversity and foster intercultural understanding, which is essential and crucial in our increasingly globalized world. Moreover, it underscores the unique role of pedagogical tact in haptic research, a (...) field of growing significance in the digital age. Haptic research involving the sense of touch is pivotal in advancing digital technologies such as artificial intelligence. The paper concludes that modernizing pedagogical tact can forge a comprehensive learning environment that addresses the needs of the times. (shrink)

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

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)

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)

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)

Thomas Nagel's conservative position of the political conception for world politics and his insightful ?Minimum Humanitarian Morality? (MHM) view on global justice are laudable. He admits that the path from anarchy to justice must go through injustice. But Nagel does not clearly identify the conditions under which we put up with global injustice. This paper reviews the conception of MHM through the lens of the institutional political economy. In my view, to recognize the degree of structural failure (weakness in governance) (...) as well as the degree of transition failure (elite bargain or personalization of power being interlocked) in each state can give us a hint on how to conceptualize and apply Nagel's MHM. We also argue that the scope and degree of humanitarian aid may vary in accordance with the options to global justice open to each state. (shrink)

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent (...) to the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (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.

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.

Name der Zeitschrift: Kant-Studien Jahrgang: 109 Heft: 3 Seiten: 395-418.

Zen and Japanese Culture is one of the twentieth century's leading works on Zen, and a valuable source for those wishing to understand its concepts in the context of Japanese life and art. In simple, often poetic, language, Daisetz Suzuki describes his conception of Zen and its historical evolution. He connects Zen to the philosophy of the samurai, and subtly portrays the relationship between Zen and swordsmanship, haiku, tea ceremonies, and the Japanese love of nature. Suzuki's contemplative work (...) is enhanced by anecdotes, poetry, and illustrations showing silk screens, calligraphy, and examples of architecture. Since its original publication in 1938, this important work has played a major role in shaping conceptions of Zen's influence on Japanese traditional arts. Richard Jaffe's introduction acquaints a new generation of readers with Suzuki's life and career in both Japan and America. Jaffe discusses how Zen and Japanese Culture was received upon its first publication and analyzes the book in light of contemporary criticism, especially by scholars of Japanese Buddhism. (shrink)

Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf 1 into 2 then the logic characterized by 1 is contained in the logic characterized by 2. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper Kripke bundles for intermediate predicate logics (...) and Kripke frames for intuitionistic modal logics (Studia Logica, 49(1990), pp. 289–306 ) is stated. (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)