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)

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.

We study the existence of a group of individuals which has some decisive power for social choice correspondences that satisfy a monotonicity property which we call modified monotonicity. And we examine the relation between modified monotonicity and strategy-proofness of social choice correspondences according to the definition by Duggan and Schwartz (2000). We will show mainly the following two results. (1) Modified monotonicity implies the existence of an oligarchy. An oligarchy is a group of individuals such that it has some decisive (...) power (semi-decisiveness), and at least one of the most preferred alternatives of every its member is always chosen by any social choice correspondence. (2) Strategy-proofness of social choice correspondences is equivalent to modified monotonicity. (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.

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.

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

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.