In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

中国古代(おもに戦国期~漢代初期)の新出土文献を検討により、古代思想史の空白を埋め、その変遷過程を明らかにする。.

We propose an efficient algorithm for deciding the reachability between any nodes on XML data represented by connected directed graphs. We develop a technique to reduce the size of the reference table for the reachability test. Using the small table and the standard range labeling method for rooted ordered trees, we show that our algorithm answers almost queries in a constant time preserving the space efficiency and a reasonable preprocessing time.

技術が進歩すればするほど、技術者に対する信頼が必要となる。技術者は専門職として、どんな倫理をもたねばならないのか。それはほかの専門職の倫理とは違うのか?「技術者は公衆の安全・健康・福利を最優先しなけれ ばならない」という理念にもとづいて指針を示したテキストを、原発事故や製造物責任などの最新事例をふまえて改訂!

1. Tōzai bunka no kōryū -- 2. Shōtoku Taishi -- 3. Kinsei Nihon no hihanteki seishin -- 4. Nihon shūkyō no kindaisei.

あの高名な「絶対矛盾的自己同一」とは、いったいどういう意味なのか―。西田哲学の本質をつかみ、その全貌をわかりやすく示す!

江戸中期の儒学者・荻生徂徠(1666‐1728)の思想は難解といわれるが、その「ことば」は広く開かれている。徂徠は人/もの/世界を「活物」として看ることを説き、その思索は学者世間の外にまで届くものであ った。徂徠の「ことば」の魅力を探り、徂徠学の構想・方法・世界認識を明快に論じた本格的入門書。.

The essay is a written version of a talk Nakamura Yūjirō gave at the College international de philosophie in Paris in 1983. In the talk Nakamura connects the issue of common sense in his own work to that of place in Nishida Kitarō and the creative imagination in Miki Kiyoshi. He presents this connection between the notions of common sense, imagination, and place as constituting one important thread in contemporary Japanese philosophy. He begins by discussing the significance of (...) place (basho) that is being rediscovered today in response to the shortcomings of the modern Western paradigm, and discusses it in its various senses, such as ontological ground or substratum, the body, symbolic space, and linguistic or discursive topos in ancient rhetoric. He then relates this issue to the philosophy of place Nishida developed in the late 1920s, and after providing an explication of Nishida’s theory, discusses it further in light of some linguistic and psychological theories. Nakamura goes on to discuss his own interest in the notion of common sense traceable to Aristotle and its connection to the rhetorical concept of topos, and Miki’s development of the notion of the imagination in the 1930s in response to Nishida’s theory. And in doing so he ties all three—common sense, place, and imagination—together as suggestive of an alternative to the modern Cartesian standpoint of the rational subject that has constituted the traditional paradigm of the modern West. (shrink)