This article introduces English translations of Tanabe’s two essays entitled “Moral Freedom” and “On Moral Freedom Revisited.” In these essays, Tanabe tries to understand the unity of the contradictory division between freedom and necessity, while remaining truthful to the moral experience. Freedom is ultimately characterized as ideality that we ought to realize in reality, while the stage of religion constitutes the ultimate end of such moral struggles. Tanabe does not clearly work out how the continuity of the freedom-necessity discontinuity is (...) possible in these essays. Nevertheless, we can gain insight into the early stages of Tanabe’s practical metaphysics that culminate in his mature works on the philosophy of religion. The translators’ introduction will highlight these points and also provide a brief description of the historical background in which the publication of these texts took place in 1917. (shrink)

This paper presents the first English translation of one of Tanabe’s early essays on Kant. Tanabe marks the occasion of the first translation of the Critique of Practical Reason into Japanese by providing his reflections on Kant’s theory of freedom in this essay. This creative essay by Tanabe represents the hallmark Kyoto School interpretation of Kant. Tanabe weaves his account of Kant with elements from other philosophers in an attempt to think systematically about the nature of freedom. He agrees with (...) Kant that morality itself “rises and falls” with the idea of freedom; however, Tanabe also tries to rescue some of the pitfalls he sees in Kant’s theory by reconstructing Kant’s account. In this brief, but rich essay, Tanabe unfolds one of the more creative aspects of his philosophy through Kant. (shrink)

yamato sharply distinguishes itself from other existing upper ontologies in the following respects. (1) Most importantly, yamato is designed with both engineering and philosophical minds. (2) yamato is based on a sophisticated theory of roles, given that the world is full of roles. (3) yamato has a tenable theory of functions which helps to deal with artifacts effectively. (4) Information is a ‘content-bearing’ entity and it differs significantly from the entities that philosophers have traditionally discussed. Taking into account the modern (...) society in which a flood of information occurs, yamato has a sophisticated theory of informational objects (representations). (5) Quality and quantity are carefully organized for the sake of greater interoperability of real-world data. (6) The philosophical contribution of yamato includes a theory of objects, processes, and events. Those features are illustrated with several case studies. These features lead to the intensive application of yamato in some domains such as biomedicine and learning engineering. (shrink)

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such (...) systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods. (shrink)

This article introduces the first English translation of one of Tanabe’s early essays on metaphysics. It questions the relation of the universal to the particular in context of logic, phenomenology, Neo-Kantian epistemology, and classical metaphysics. Tanabe provides his reflections on the nature of the concept of universality and its constitutive relation to phenomenal particulars through critical analyses of the issue as it is discussed across various schools of philosophy including: British Empiricism, the Marburg School, the Austrian School, the Kyoto School, (...) and Platonism. In this essay, Tanabe reveals his ability to think metaphysically the ground for the possibility of reasoning and dares to voice his own thought beyond references to the most prominent thinkers of his time from distinct intellectual traditions in both the east and the west. This essay, therefore, demonstrates that his strong tendency to move beyond the received epistemology and phenomenology of the European intellectual tradition to metaphysics was already present in the early days of his academic life and thereby marks a more general contribution of the Kyoto School of Philosophy to distinct European schools of thought in the early twentieth century. (shrink)

This paper offers an explanation of how collaboration leads to abstract and flexible problem solving. We asked the individual and paired subjects to indicate 3/4 of 2/3 of the area of a square sheet of paper and found that (1) they primarily folded or partitioned the paper rather than algorithmically calculating the answer, (2) they strongly tendened to backtrack and confirm their proto‐plans on externalized traces such as creases on the paper, and (3) only the paired subjects shifted to the (...) mathematical strategy in their second trials. Based on these results, we propose that two factors, individuals' activeness in choosing and confirming the initial strategies and the frequent role exchange between task‐doing and monitoring in collaborative situations, interact in collaboration to generate various solutions differing in the degree of abstraction, which are then reflected upon by the participants to lead them to abstraction. (shrink)

本书包括《中国的公与私》和《公私》两部作品。《中国的公与私》由6篇文章会集而成;《公私》则是一篇较长的论文,对“公私”概念进行辞源性阐释.

Ben shu tong guo dui yu Li Zhuowu he Yangming xue de chan shi, dui yu Zhongguo qian jin dai bu tong yu xi fang de lu xiang jin xing le bian xi, ren wei"zai Zhongguo si xiang zhong cun zai zhe bu tong yu Ouzhou si xiang shi de zhan kai de Zhongguo du zi de si xiang shi de zhan kai", fan dui yi ban chang jian de, yi Ouzhou de li shi zhan kai he jia zhi guan (...) wei ji zhun de xi fang zhong xin lun li shi guan, cong er zai Zhongguo nei zai de si xiang li lu zhong xun zhao Zhongguo de"jin dai"ji qi"qu she yu fa zhan"; ta hai da po le zai Riben tong xing de dui yu Li Zhuowu tong xin shuo shi ge ren zhu yi biao xian de fu qian shuo fa, ba Li Zhuowu wan qi de fu za si xiang, te bie shi fo jiao si xiang zai ta shen shang de du te ti xian tui xiang dui yu ming dai si xiang ben shen de jie shi. (shrink)

This volume contains a selection of papers presented at the special workshop "Truth and Objectivity in Law and Morals," held at the 26th World Congress of the IVR. The papers deal with diverse but correlated issues such as the search for truth in and through legal argumentation; the intelligible character of rules inside theories of interpretation which guarantee the coherence and the integrity of law; the role of hermeneutic analysis in the construction of the objectivity of law; the procedural and (...) contextual aspects of objectivity in legal reasoning; the role of objectivity in the distinction between the context of justification and the context of discovery; the problem about truth of normative propositions and legal statements; the incompatibility of non factualism with the traditional account of validity and legality; as well as the possibility of objectivity in morals. (shrink)

We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas.

We challenge the widespread presumption that matter and objects are ontologically prior to processes and events, and also the less widespread but increasingly popular view that processes and events...

"Tanabe's agenda was not religious but philosophical in that he tried to integrate Eastern and Western insights in order to acquire a cross-cultural philosophical vision for the post-war world community.... This book shows his superior philosophical originality.... It is high time that Tanabe's thought should be introduced to the West."—Joseph Kitagawa, University of Chicago.

One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building tools should be designed to help developers create good ontologies. However, few of them can deal with roles adequately. Needless to say, the world is full of roles (e.g., wife, teacher, president, fuel, food, product, output, height) although there has been extensive theoretical research on roles, we do not yet have a comprehensive (...) and usable theory yet. Our group has already constructed an ontology-development tool known as Hozo which has the ability to deal with roles. However, although Hozo allows users to represent roles better than other existing tools, the underlying theoretical foundations are still unclear and there is some room for improvement concerning the generality of how to deal with roles. In this paper, as an extension of the Hozo framework for roles, we present a framework for organizing role concepts according to their context dependencies. We also focus on the clarification of role properties and requirements on the model of roles and on the feedback obtained from Hozo-based ontology building experiences. Establishment of a computational model of roles contributes to building good ontologies because such a theory would provide useful guidelines for dealing with view-related and context-dependent distinctions related to roles. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

The history of the Vedanta school is well known since the time of Sankaracarya on, and its prehistory before Sankara is quite obscure. However, from the time of compilation of major Upanisads to Sankara there is a period of thousand years, and the tradition of Upanisads was not lost; there appeared many philosophers and dogmaticians, although their thoughts are not clearly known. The author has made clear the details of the pre-Sankara Vedanta philosophy, utilizing not only Sanskrit materials, but also (...) Pali, Prakrit (Jain), as well as Tibetan and Chinese sources. In this respect this is quite a unique work. For this work the author was awarded the Imperial Prize by the Academy of Japan. Some sections of this work were already published in Indian as well as European and American journals in English. This work is a complete English translation of the entire book. The English translation was done with the financial aid by the Harvard-Yenching Institute, and the final touch was given by Mr. Trevor Leggett, the British writer, who is well-versed in Sanskrit as well as in Japanese. (shrink)

We deal with a restricted form WC-N' of the weak continuity principle, a version BT' of Baire's theorem, and a boundedness principle BD-N. We show, in the spirit of constructive reverse mathematics, that WC-N'. BT' + ¬LPO and BD-N + ¬LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience.

In this paper, we deal with compact operators on a Hilbert space, within the framework of Bishop's constructive mathematics. We characterize the compactness of a bounded linear mapping of a Hilbert space into C n , and prove the theorems: Let A and B be compact operators on a Hilbert space H , let C be an operator on H and let α ϵ C . Then α A is compact, A + B is compact, A ∗ is compact, CA (...) is compact and if C ∗ exists, then AC is compact; An operator on a Hilbert space has an adjoint if and only if it is weakly compact. (shrink)

新編集による決定版選集。地域や民族を超えた思想。主な文化圏で都市が成立し世界国家へと発展していく時代に現われた諸思想。それらの持つ普遍的意義を既成の教義学とは異なる視点から解明する。.