A critical examination of Japanese literary and art theories.

dai 1-kan. Nishida Kitarō -- dai 2-kan. Keiken to jikaku -- dai 3-kan. Basho -- dai 4-kan. Zen, kongenteki ningen -- dai 5-kan. Zen no fūkei -- dai 6-kan. Dōtei "Jūgyūzu" o ayumu -- dai 7-kan. Maisutā Ekkuharuto -- dai 8-kan. Hi shinpi shugi -- dai 9-kan. Kokū/Sekai -- dai 10-kan. Jiko no genshōgaku -- dai 11-kan. Shūkyō to wa nani ka.

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)

The objective of this article is to gain an in-depth understanding of the eating lives of low-income single mothers in Japan. Semi-structured interviews were conducted with nine low-income single mothers living in the three largest urban areas (Tokyo, Hanshin [Osaka and Kobe] and Nagoya) in Japan. Framed by the capability approach and sociology of food, their dietary norms and practices, as well as underlying factors that impact the norm-practice gap were analysed across nine dimensions: meal frequency, place of eating, meal (...) timing, duration, persons to eat with, procurement method, food quality, meal content and pleasure of eating. These mothers were deprived of various types of capabilities, extending not only from the quantity and nutritional aspects of food, but also to spatial, temporal, qualitative and affective aspects. Aside from financial constraints, eight other factors (time, maternal health, parenting difficulties, children’s tastes, gendered norms, cooking abilities, food aid and local food environment) were identified as influencing their capabilities to eat well. The findings challenge the view that food poverty is the deprivation of economic resources required to ensure a sufficient amount of food. Social interventions that go beyond monetary aid and food provision need to be proposed. (shrink)

The objective of this paper is to establish a theoretical foundation for food education in schools. Amartya Sen’s capability approach (CA), an ethical theory concerning the freedom required to achieve one’s well-being, was applied to define the previously unchallenged ethical nature of food education. The analyses were informed by foundational CA concepts, Sen’s own perspectives on ‘food’ and ‘education’, and CA-based education studies. Through these analyses, the fundamental nature of food education was defined as follows: ‘Capability to eat well’ is (...) the freedom to convert commodities (such as food or pocket money) into the ‘functionings to eat well’ that constitute children’s ‘well-eating’ (Definition 1); and the objective of food education as public policy is to expand such capability to eat well (Def. 2). However, if an appropriate pedagogy is not employed, children’s capability can be reduced (Def. 3); therefore, to avoid this, the pedagogy has to enable them to perceive more ‘associations’ (in a Deweyan sense) between related conversion factors (Def. 4), as well as to choose and participate in the educational process (Def. 5). This theory not only elucidated the ethical nature of food education but also expanded the scope of the application of the CA to food issues. (shrink)

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)

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)

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.

Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.

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.

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.

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)

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)

Amartya Sen’s work has contributed to shifting our focus from food availability to food access and utilisation, together called ‘nutritional capability’. Existing food insecurity instruments have been informed partially by the capability approach, but remain focused on material deprivation and its economic sub-dimensions. This narrow focus has become problematic, particularly in high-income countries, where material deprivation is largely overcome and food poverty manifests itself differently from that in low-income countries. Food poverty in high-income countries should thus be approached from a (...) ‘food capability’ perspective that fully recognises the multidimensionality of eating lives and the multiple factors that affect their dietary standards. To demonstrate the usefulness of this perspective, the Alkire-Foster method for multidimensional food poverty was utilised to analyse food poverty in Japan. The Alkire-Foster measure has a dual cut-off approach and its adapted method can produce a multidimensional food poverty index by setting reasonable food deprivation and poverty thresholds. The national data used for empirical demonstration was obtained from a web-based questionnaire conducted in Japan, to which 973 participants (aged 20–60 years) responded. The measurement identified a 20.6% food-poor population and inequalities in food capabilities among subgroups. Although economic deprivation was tightly linked to food poverty, the results suggested that gender- and age-based inequalities were larger than socioeconomic status-based ones, which reflected much wider societal problems in Japan than growing economic poverty, such as gender inequality and population ageing. The proposed measurement is effective for monitoring food policy impacts and complementing existing food insecurity assessment tools. The results will be useful for promoting social debate about what the minimal dietary standard should be in high-income societies. (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 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)

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.

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (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)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

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