Neo-Confucian influence in early modern Japan was highly intellectual, indicating that Confucian ideals did not change the nature of Japanese norms of social lives. For early modern Japanese intellectuals, the conflict and contradiction between reality and ideals had always been a source of debate and inspiration. Within the theme of Neo-Confucian rites, the contradiction was highlighted owing to the fact that it included a guideline for authentic ancestral worship and religious policy. Once introduced within the Japanese circumstances of the day, (...) Confucian understanding on spirits and proper rites lead Japanese scholars to define what was legitimate worship in the format of state religion: it was necessary to authorize traditional Japanese worship toward domestic shrines. Within thepractical process of policy making, it must be noted that a keen interest toward local beliefs had emerged through the discussion. Arai Hakuseki (1657‐1725) reflects such political interest within his work ‘Kishinron’. In order to understand the impact of Japanese interpretation of Neo-Confucian ideals, it is essential to focus on the interrelationship between religious policy and interest toward local beliefs. (shrink)

We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...) $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles. (shrink)

One of this century's leading works on Zen, this book is a valuable source for those wishing to understand its concepts in the context of Japanese life and art.

We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them are: fan theorem for decidable fans but arbitrary bars; continuity principle (...) and the axiom of choice both for arbitrary formulae; and $\Sigma _2$ induction and dependent choice. We also show that Markov’s principle MP does not change this situation; that neither does lesser limited principle of omniscience LLPO ; but that limited principle of omniscience LPO makes the situation completely classical. (shrink)

In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0*, which consists of the axioms of discrete ordered semi‐rings with exponentiation, Δ10 comprehension and Π00 induction, and which is known as a weaker system than the popularbase theory RCA0: 1. Bisep(Δ10, Σ10)‐Det* ↔ WKL0, 2. Bisep(Δ10, Σ20)‐Det* ↔ (...) ATR0 + Σ11 induction, 3. Bisep(Σ10, Σ20)‐Det* ↔ Sep(Σ10, Σ20)‐Det* ↔ Π11‐CA0, 4. Bisep(Δ20, Σ20)‐Det* ↔ Π11‐TR0, where Det* stands for the determinacy of infinite games in the Cantor space (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Wabi Sabi is the Japanese Zen philosophy that all things are imperfect, unfinished and impermanent. It is a fresh way of seeing and moving through the world when our lives, literally and figuratively, feel cluttered. This book shows us how to apply this concept in the context of daily life and offers ideas on how to see it, embrace it and incorporate it into everyday thoughts, objects and situations."--Publisher description.

In this paper, we consider, for a set \ of natural numbers, the following notions of finitenessFIN1:There are a natural number l and a bijection f between \\);FIN5:It is not the case that \\), and infinitenessINF1:There are not a natural number l and a bijection f between \\);INF5:\\). In this paper, we systematically compare them in the method of constructive reverse mathematics. We show that the equivalence among them can be characterized by various combinations of induction axioms and non-constructive principles, (...) including the axiom of bounded comprehension. (shrink)

思想家・後藤新平は、「儒服をつけた英雄」蕃山から何を学んだのか? 百年先を読んだ政治家、後藤新平(1857-1929)の思想はどのようにして培われてきたのか。後藤新平が終生の愛読書としていた熊沢蕃山(1619-91)の『集義和書』を手がかりに、思想家・後藤新平の知ら れざる中枢に切り込む。.

This special 10th anniversary edition of the David Suzuki classic, re-examines our place in the natural world in light of sweeping environmental changes and recent advances in scientific knowledge.

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)

A formal and functional study of the three meters of Old Norse eddic poetry, fornyroislag, malahattr, and ljooahattr, this book provides their systematic account (synchronic, diachronic, and from a comparative Germanic perspective). With thorough data presentation, detailed philological analysis, and sophisticated linguistic explanation, it will be of interest to Germanic philologists/linguists, medievalists, and metrists of all persuasions.".