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.

MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

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)

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.

A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is provable without (...) non-prime contraction. The non-prime contraction rule in NJ is the implication introduction rule whose cancelled assumption differs from a propositional variable and appears more than once in the proof. Our result improves the known partial positive solutions to Komori's problem. Also, we present another simple example of a minimal implicational theorem in intuitionistic logic which does not have a unique -normal proof in NJ. (shrink)

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

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.

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

「権利」概念に対する「義務」、「人格主義」に対する「非人格」を基盤にした思考など、近代的人間観の矛盾を根底的に問うたヴェイユの思想と核心とその現代的意義を鮮やかに示す気鋭の野心作。第5回「河上肇賞」本 賞受賞作。.

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)

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.

Bkaḥ-Ḥgyur: ka-ya [volume 1-25], Text number 1-729. Rgyud -- ra-a, kṣa, ki-tsi [volume 26-49], Text number 730-759. Śer-phyin -- tshi-ʼi [volume 50-55], Text number 760. Dkon-brtsegs -- yi-ri [volume 56-61], Text number 761. Phal-chn -- ai, ku-ke [volume 62-93], Text number 762-1029. Mdo-sna-tshogs -- khe-phe [volume 94-106], Text number 1030-1055. Ḥdul-ba.