玄奘はインドで何を証明したのか―玄奘にまつわる論理式「唯識比量」を巡る、国や時代をまたいだ議論の探究を通じ、論理と歴史の「共生」構造を解き明かす。.

隣の部屋のテーブルは、誰も見ていなくてもある、つまり、知覚されていなくても物はある。私は他人の痛みを痛むことはできない、他人の心のありようは知りえない―物と知覚、他我問題など哲学の根本問題と切り結び、 独自の思索を展開した大森荘蔵。「その全身で自らの思索を刻んでいく姿を描き出し」た、哲学の魅力あふれる一冊。.

This book examines the general views of artificial intelligence. It also explores the idea of consciousness, consciousness pictures, and mechanisms for wet consciousness and dry consciousness.

「デモクラシーこそは歴史の未来である」。誕生間もないアメリカ社会にトクヴィルが見いだしたのは、合衆国という特殊性を超えた、歴史の「必然」としての平等化だった。「平等化」をキーワードに、その思想の今日的 意義を甦らせる。.

Inequality and injustice in education have been viewed from the perspective of social justice. Since the emergence of John Rawls’s A Theory of Justice, social justice issues have attracted the attention of social and political philosophers. Theoretical consequences of social and political philosophy have been actively incorporated into the field of education. However, the issue of educational justice remains controversial and requires further philosophical consideration. To further philosophical consideration, this paper explores how the class or the classroom can generate space (...) and time for democracy, by focusing on the educational specificity of the classroom community, which is called ‘Gakkyu’ in Japanese. Social justice in education is not only a policy issue, but also a practical issue which should be tackled in the classroom. Rethinking the ways of democracy to face conflicts arising due to differences and equality of children in the classroom is an important method of bridging social justice and education. In this paper, the following question will be explored: how classroom democracy can be nurtured and the classroom community transformed into a democratic place where children from various background and experiences gather and learn from each other. (shrink)

We can find some of the works of Indian Buddhist philosophers that prove the authenticity of the Mahāyāna sutras within Sanskrit, Tibetan, and Chinese textual sources. *Jayasena’s critique of *Asvabhāva’s proof was first introduced in the commentaries of Kuiji. Numerous references to *Jayasena in Chinese Yogācāra scriptures indicate that he was regarded as a Yogācāra master. His revised proof was further revised by Xuanzang. According to Xuanzang’s biographies, *Jayasena was an Indian lay Buddhist scholar who had many non-Buddhist disciples. It (...) is, therefore, possible that he discussed the authenticity of the Mahāyāna sutras with his disciples. Following Kuiji’s introduction of *Jayasena’s proof in East Asia, this proof and Xuanzang’s critique have been widely discussed. Wonhyo, one of the most famous Silla Buddhist scholars, critiqued Xuanzang’s revision and published his revised formula. Zenju, a representative Yogācāra master of the Nara period, pointed out some logical problems to be seen in Wonhyo’s revision, but did not provide any alternative. Proof of the authenticity of the Mahāyāna sutras was originally developed as a result of interactions between Mahāyāna and non-Mahāyāna Buddhists. However, the purpose of the proof seems to have shifted from being based on arguments with actual opponents to internal discussions among Mahāyāna Buddhists, especially within East Asia. (shrink)

著者は、師・大森荘蔵の強靱な思索に挑み続けてきた。心とは何かという、哲学史上最も難しい問いに立ち向かい、独我論の色彩濃い大森哲学の中から救い出されるのは、「世界」と「心ある他者」。この記念碑的著作に、 大森は反論などの書き込みを遺していた。本書では、大森のメモへの応答も収録し、生々しい哲学的実践を再現した。.

In the previous article (Found. Phys. Lett. 16:325–341, 2003), we showed that a reciprocity of the Gauss sums is connected with the wave and particle complementary. In this article, we revise the previous investigation by considering a relation between the Gauss optics and the Gauss sum based upon the recent studies of the Weil representation for a finite group.

In this paper, we show within ${\mathsf{RCA}_0}$ that both the Jordan curve theorem and the Schönflies theorem are equivalent to weak König’s lemma. Within ${\mathsf {WKL}_0}$ , we prove the Jordan curve theorem using an argument of non-standard analysis based on the fact that every countable non-standard model of ${\mathsf {WKL}_0}$ has a proper initial part that is isomorphic to itself (Tanaka in Math Logic Q 43:396–400, 1997).

In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

In this paper, we introduce the systems ns-ACA₀ and ns-WKL₀ of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA₀ and WKL₀, respectively. Then, we give direct transformations from non-standard proofs in ns-ACA₀ or ns-WKL₀ into proofs in ACA₀ or WKL₀.

The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$$\end{document} of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak König’s Lemma (see Yu and Simpson in Arch Math Log 30(3):171–180, 1990) in classical Reverse Mathematics. This further validates the status of WWKL0 as one of the ‘Big’ systems of Reverse Mathematics. In the context of ERNA’s Reverse Mathematics (Sanders in J Symb Log 76(2):637–664, 2011), we show that the Dirac Delta Theorem is equivalent to the Universal Transfer Principle. Since the Universal Transfer Principle corresponds to WKL, it seems that, in ERNA’s Reverse Mathematics, the principles corresponding to WKL and WWKL coincide. Hence, ERNA’s Reverse Mathematics is actually coarser than classical Reverse Mathematics, although the base theory has lower first-order strength. (shrink)

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

希望学は終わらない。凄惨で過酷な現実は、希望の母でもある。過去や現在の悲惨な事実に正面から向き合うことなく、未来の希望を語ることはできない。それは、全4巻を通じた希望学全体のメッセージである。.

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (shrink)

Born in China about 551 b.c., Confucius formulated an extremely influential and far-reaching ethical system emphasizing devotion to parents, family, and friends; cultivation of the mind, self-control, and just social activity. In this excellent biography, a noted Japanese scholar develops an insightful portrait of Confucius against the social and political background of his day, based on a meticulous and detailed examination of early original sources. Following an extensive introductory section devoted to the state of China in the sixth and fifth (...) centuries b.c., the author offers succinct, perceptive discussions of Confucius' birth, education, and upbringing; his attitudes toward his predecessors, and views on man as a social being; Confucius as a statesman, the concept of "government by virtue," the failure of the Confucian revolution, the years of wandering, and more. Concise, carefully researched and well-written, this volume offers an excellent introduction to the life and thought of one of history's most influential thinkers--a book sure to appeal to anyone interested in the philosophical, political, and religious movements of the ancient Far East. Unabridged republication of the work published by George Allen & Unwin Ltd., London and The Macmillan Company, New York, 1956. Translated by Geoffrey Bownas. General Introduction. Translator's Note. Appendices. Index. 1 black-and-white illustration. 2 maps. (shrink)

ABSTRACTThe Japanese translation of Bernard Suits's The Grasshopper was published in 2015. We report in this article the background of the translation, the way our project was operated, some notable difficulties we had and the impact that our translation has had so far. The description of the difficulties with translation touches upon how we interpreted the terms ‘lusory’ and ‘prelusory’. This article also includes an appendix describing the history of how the word ‘grasshopper’ has been translated into Japanese.

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

This research is motivated by the program of reverse mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second-order arithmetic ACA0, we investigate some aspects of non-standard analysis related to sequential compactness. Then, using arguments of non-standard analysis, we show the equivalence of the Riemann mapping theorem and ACA0 over WKL0. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

We show that many principles of first-order arithmetic, previously only known to lie strictly between [Formula: see text]-induction and [Formula: see text]-induction, are equivalent to the well-foundedness of [Formula: see text]. Among these principles are the iteration of partial functions of Hájek and Paris, the bounded monotone enumerations principle by Chong, Slaman, and Yang, the relativized Paris–Harrington principle for pairs, and the totality of the relativized Ackermann–Péter function. With this we show that the well-foundedness of [Formula: see text] is a (...) far more widespread than usually suspected. Further, we investigate the [Formula: see text]-iterated version of the bounded monotone iterations principle, and show that it is equivalent to the well-foundedness of the -height [Formula: see text]-tower [Formula: see text]. (shrink)

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, (...) we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo. (shrink)

Background There are several psychosocial and ethical issues surrounding the decision to be a living kidney donor. The present study aimed to determine the perceptions of psychosocial and ethical issues that living kidney donors may have, and analyze their psychological characteristics.Methods Face-to-face semi-structured interviews were conducted with 15 donors. Thematic analysis was then performed to categorize the thematic elements of the transcripts. All procedures were approved by the relevant review board.Results Four main categories were identified: Awareness of family dynamics, barriers (...) to a proper understanding, contrasting psychological effects of recipient presence in clinical practice, insufficient information explained in informed consent.Conclusion Donors felt that they took on the “role as a care giver” for the recipient and were less aware of themselves as patients. This is a new concept that has not been shown in previous studies. Donors exist within the recipient and family, and the range of their autonomy may go beyond the traditional concept of autonomy and be rooted in relational autonomy. This study suggested that medical treatment in the presence of the recipient promotes the relational autonomy of the donor. (shrink)