In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.

1 Buddhist-Christian Dialogue: Its Significance and Future Task1 The contemporary world is rapidly shrinking due to the remarkable advancement of science ...

Achilles need not catch the tortoise, although Achilles is faster than the tortoise. Zeno's premise does not determine whether Achilles can catch up. In this paper, I clarify this fact through a critical examination of Noya (2005), which criticizes Aoyama (2002) and Uemura (2002). Noya's solution smuggles the unnecessary premise of equal ratio to make Achilles catch up. However, his solution gives a new idea about what speed is. In the last part of this paper, I develop this idea (...) and explain the reason why Achilles usually catches up in the actual world. (shrink)

An autonomous agent in the real world should learn its own sensor-motor coordination through interactions with the environment; otherwise the behaviors can not be grounded and they can easily be inappropriate in the variety of the environment. The sensor-motor signals are usually complex time sequence, therefore the cognitive action system of the agent has to handle them.In this paper, we propose a computational model of the cognitive action system that consists of a sensor space HMM-SOM, a motor space HMM-SOM and (...) connection mapping between the two HMM-SOMs. A HMM-SOM can be recognized as a set of HMMs that are placed in a SOM space. It can model a set of complex time series signal in a self-organizing manner.We apply this HMM-SOM based cognitive action system on vision-motion and auditory-articulation signals. The experimental results show that this system is basically capable of constructing sensor-motor coordination structure in a self-organizing manner, handling complex time series signals. (shrink)

The present work, which was inspired by Kripke and McCarthy, is about a non-classical predicate logic system containing a truth predicate symbol. In this system, each sentence A is referred to not by a Gödel number but by its quotation name 'A'.

This volume concludes the two-volume sequel to Masao Abe's Zen and Western Thought. Like its companion, Buddhism and Interfaith Dialogue, this work contains many previously published essays and papers by Abe. Here he clarifies the true meaning of Buddhist emptiness in comparison with the Aristotelian notion of substance and the Whiteheadean notion of process.

McTaggart has an insight that changes of property rely on changes of tense (McTaggart 1908). As I show in this paper, he fails to define A-series as a series for changes of tense, and therefore his proof for the unreality of time is unsuccessful. A-series found in the proof is reduced to a number of mere indexicals of time, and this reduction is pushed forward in Dummett's defense. My aim in this paper is not only to check the validity of (...) their arguments but to investigate invincible difficulties faced in defining changes of tense. The latter is my main aim, and the former is a preliminary argument for it. (shrink)

多くの可能性から唯一の現実が選択されるという図式は正しいのか。この問いを糸口に、自由とは何かという哲学の難問に驚きの解を示す。.

This paper presents what the authors call the ‘divergence problem’ regarding choosing between different future possibilities. As is discussed in the first half, the central issue of the problem is the difficulty of temporally locating the ‘active cause’ on the modal divergent diagram. In the second half of this paper, we discuss the ‘second-person freedom’ which is, strictly, neither compatibilist negative freedom nor incompatibilist positive freedom. The divergence problem leads us to two hypothetical views (i.e. the view of single-line determination (...) and that of one-off chance), and these views bring humans closer to the afree side – i.e. outside of the contrast between being free and being unfree. The afree side is greatly different from the ordinary human side. This paper tries to secure the second-person freedom as a substitute for the ordinary human freedom while preventing the divergence problem from arising. (shrink)

Written by one of Japan's foremost contemporary thinkers and scholars, Zen and Modern Society is the third in a series of essay collections on Zen Buddhism as seen in the context of Western thought. Throughout his career, Masao Abe has articulated the meaning of Zen thought in a uniquely compelling way - at once, true to the original tradition and appropriately relevant to a variety of comparative standpoints, ranging from Biblical Judeo-Christianity to modern existentialism, phenomenology, and postmodernism. As a (...) leading representative of the Kyoto School, which has sought a critical, comparative linking of Eastern and Western thought, Abe has based his approach on constructive, mutually respectful yet critical intellectual interaction and dialogue with some of the leading figures in the West (including Paul Tillich, Hans Kung, and Eugene Borowitz) as well as dozens of colleagues, students, and disciples. Together with the previous volumes, this work examines and exemplifies some key features of Kyoto School thought. While the essays presented here should be read in light of the socio-political criticism that has since been lodged against the Kyoto School and, more particularly, i. (shrink)

本书对西方思想结构和思维方式作了相当深的探讨,力图澄清西方对禅的种种误解,同时对禅学和佛教,作了严密的逻辑论证。.

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.

Regional planning has been regarded as a design activity. Usually planners focus on physical design rather than on societal issues. Nowadays, mass communication, environmental issues and social awareness lead to often complex and conflicting needs and interests of the public in regional planning. This paper focuses on the regional planning as a group problem solving process from the view of information processing. It offers an analysis of the causes of conflicts in the group decision process, and defines the characteristics of (...) group decision process support systems. (shrink)

本书收集了五次中日两国伦理学者研讨会的论文及有关报道,从中可以看到中日两国的职业道德和婚姻家庭道德的历史和现状。.

The idea that similar selective processes operate in gene-based evolution, immunology, and operant psychology provides an intuitively appealing metaphor. This idea also isolates questions that operant psychologists should ask and makes some empirical predictions. However, the idea currently lacks the detail needed to precisely separate it from some plausible alternatives. This sort of thinking is the kind that operant psychologists should do if operant theorizing is to survive the competition among ideas.

Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided (...) with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication. (shrink)