A critical examination of Japanese literary and art theories.

In April of 2006, the prominent cultural anthropologist Noriyuki Ueda sat down with the Dalai Lama for a two day conversation. This book is based on that long and lively conversation in Dharamsala.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

人間の存在は元来「場所」的である。が、その「場所」の根本性格はどのようなものなのであろうか。私たちの存在が「世界の内にあること」と見られる場合、その世界そのものは「限りない開け」に於いてある。したがっ て我々の存在は「限りない開けに於いてある世界に於いてある」ことになる。この二重の「於いてある」は、二重性としては見えない構造のものであるが、我々の実際の生活の様々な領域の様々な営為にまで拡がる。本書は ハイデッガーの基礎存在論、ボルノウの空間論、エリアーデのヒエロファニー論、西田幾多郎の場所論、禅の十牛図などを手掛かりにして人間存在の基本的な構造を解明、考察する。.

Akama et al. [1] systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their semi-classical principles restricted to prenex formulas. However, there are some errors in their proof. In this paper, we provide a simple counterexample of their prenex normal form theorem [1, Theorem 2.7], then modify it in an appropriate way which still serves (...) to largely justify the arithmetical hierarchy. In addition, we characterize a variety of prenex normal form theorems by logical principles in the arithmetical hierarchy. The characterization results reveal that our prenex normal form theorems are optimal. For the characterization results, we establish a new conservation theorem on semi-classical arithmetic. The theorem generalizes a well-known fact that classical arithmetic is $\Pi _2$ -conservative over intuitionistic arithmetic. (shrink)

Autonomous sensory meridian response is a complex sensory-emotional experience characterized by pleasant tingling sensations initiating at the scalp. ASMR is triggered in some people by stimuli including whispering, personal attention, and crisp sounds. Since its inception, ASMR has been likened to synesthesia, but convincing empirical data directly linking ASMR with synesthesia is lacking. In this study, we examined whether the prevalence of synesthesia is indeed significantly higher in ASMR-responders than non-responders. A sample of working adults and students were surveyed about (...) their experience with ASMR and common types of synesthesia. The proportion of synesthetes who were classified as ASMR-responders was 52%, whereas 22% of ASMR-responders were also synesthetes. These results suggest that: over half of those identifying as synesthetes also experience ASMR, and that synesthesia is up to four times as common among ASMR-responders as among non-responders. Findings also suggest a prevalence rate for ASMR of approximately 20%. Overall, the co-occurrence of ASMR and synesthesia lends empirical support to the idea that ASMR may be driven by synesthetic mechanisms, but future research would benefit from examining how ASMR and synesthesia are different, as well as similar. (shrink)

ABSTRACT “Meister Eckhart’s Mysticism in Comparison with Zen Buddhism” originally appeared as the concluding section of Ueda Shizuteru’s first book, Die Gottesgeburt in der Seele und der Durchbruch zur Gottheit: Die mystische Anthropologie Meister Eckharts und ihre Konfrontation mit der Mystik des Zen-Buddhismus. It was first published in 1965 as an expanded version of Ueda’s doctoral dissertation, which was written under the supervision of Ernst Benz at the University of Marburg. Ueda’s careful analysis not only illuminates important (...) points of affinity between Eckhart and Zen, but also explains why Eckhart’s mysticism cannot be simply interchanged with Zen Buddhism. To allow the reader to read for themselves, I kept all interpretative notes to a minimum. The text is translated from the most recent edition of the German text, published in 2018 by Verlag Karl Alber, and edited by Wolf Burbat. The German pagination is interpolated in bold throughout the text. (shrink)

We propose a new game to strategically justify the constrained equal awards rule in claims problems. Our game is “procedurally fair” and “multilateral”. In addition, even if claimants cannot reach an agreement in any period, they can renegotiate in the next period. We show that, for each claims problem, the awards vector chosen by the constrained equal awards rule achieved at period 1 is the unique subgame perfect equilibrium outcome of the game.

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

We provide a fine‐grained analysis on the relation between König's lemma, weak König's lemma, and the decidable fan theorem in the context of constructive reverse mathematics. In particular, we show that double negated variants of König's lemma and weak König's lemma are equivalent to double negated variants of the general decidable fan theorem and the binary decidable fan theorem, respectively, over a nearly intuitionistic system containing a weak countable choice only. This implies that the general decidable fan theorem is not (...) equivalent to the binary decidable fan theorem in the absence of a strong countable choice. In addition, we introduce a principle which fills the gap between König's lemma and weak König's lemma, and show that König's lemma is equivalent to weak König's lemma plus this principle. We also solve several problems arising from the investigation. (shrink)

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

On sait que Platon fait grand cas des êtres intelligibles en instaurant la théorie des Idées. Mais il n’est pas approprié de le considérer comme penseur qui néglige le rôle de l’apparence sensible. Ce philosophe demeure très sensible à la modalité par laquelle les phénomènes apparaissent dans le champ de notreperception. En distinguant deux types d’apparence : image et simulacre, il donne à l’image le rôle d’intermédiaire actif entre le sensible et l’intelligible. L’examen des modalités des actions humaines qui reçoivent (...) et créent des images, nous aide à voir comment Platon intègre la fonction des images dans la structure de sa philosophie. La réception et la création des images sont étroitement reliées et synthétisées pour former le système original de Platon, système dans lequel le fondement de la théorie des Idées relève d’un certain dynamisme de l’action humaine. Dans la recherche relative à la modalité de réception et de création des images, je porte mon attention sur l’usage platonicien du terme tupos qui exprime le principe de la conformité de l’image et de son modèle.Notamment dans la théorie de la formation des futurs gardiens de la cité idéale, le tupos fonctionne, comme un principe qui réglemente et oriente à plusieurs niveaux les activités de la mimèsis et de la poièsis qui portent sur les images. La réflexion sur cette fonction conductrice. (shrink)

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, De Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf {PA}$ and intuitionistic arithmetic $\mathsf {HA}$. Using a generalized negative translation, we first provide a structured proof of the fact that $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over $\mathsf {HA} + {\Sigma _k}\text {-}\mathrm {LEM}$ where ${\Sigma _k}\text {-}\mathrm {LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma _k$. In addition, we show that this conservation theorem is optimal in the (...) sense that for any semi-classical arithmetic T, if $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over T, then ${T}$ proves ${\Sigma _k}\text {-}\mathrm {LEM}$. In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles. (shrink)

Robots that incorporate the function of apologizing have emerged in recent years. This paper examines the moral permissibility of making robots apologize. First, I characterize the nature of apology based on analyses conducted in multiple scholarly domains. Next, I present a prima facie argument that robot apologies are not permissible because they may harm human societies by inducing the misattribution of responsibility. Subsequently, I respond to a possible response to the prima facie objection based on the interpretation that attributing responsibility (...) to a robot is analogous to having an attitude toward fiction. Then, I demonstrate that there are cases of robot apologies where the prima facie objection does not apply, by considering the following two points: (1) apology-related practices found in our human-to-human apologies, and (2) a difference in the degree of harm caused by robot failures and the resulting apologies. Finally, given the current norms governing our apology-related practices, I argue that some instances of making robots apologize are permissible, and I propose conducting critical robotics research questioning the validity of such norms. (shrink)

The topic of this article is the self-less self (selbst-lose Selbst) and more particularly this self in its connection with the problem of language. There exists a movement of the self-less self from itself toward itself. This movement also occurs as the liberation from language toward language; language reaches into the core of being self because our understanding of self and of the world is linguistically constituted. Similarly the fundamental conversion - as the occurence of the breakthrough (by means of (...) the I-am-myself) to the truth of the self - is nothing else than an original word event. The self-less, the true self says at this moment: “I am myself by not being myself (Ich bin, indem ich nicht ich bin, ich).” In order to gain a better understanding we now start from the problem of language. (shrink)