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.

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)

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

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

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)

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

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

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

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.

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

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

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)

Disbelief, lies, and manipulations have been objects of scholarly consideration from widely different perspectives: historical, sociological, philosophical, ethical, logical, and pragmatic. In this paper, these notions are re-examined in the framework of a Transactional Discourse Model which operates in terms of the location and relocation of various knowledge items within two sets of knowledge, A and B, representing two interlocators A and B, and two of their subsets Ca and Cb, which constitute the sets of the matters of A's and (...) B's current concern. This approach reveals certain formal features shared by lies, disbelief, and manipulations that indicate that these three types of discourse behavior constitute a deviation from successful interpersonal communication as defined in the proposed model. The model, moreover, enables us to explicitly capture both the similarities and the differences of lies and manipulations with other pragmatic phenomena, such as jokes, impersonating, role-acting, memory failure, politeness expressions, and tact; the comparison suggests that certain modifications of Gricean conversational maxims may be in order. (shrink)

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)