Although chimpanzees have been reported to understand to some extent others' visual perception, previous studies using food requesting tasks are divided on whether or not chimpanzees understand the role of eye gaze. One plausible reason for this discrepancy may be the familiarity of the testing situation. Previous food requesting tasks with negative results used an unfamiliar situation that may be difficult for some chimpanzees to recognize as a requesting situation, whereas those with positive results used a familiar situation. The present (...) study tested chimpanzees' understanding of others' attentional states by comparing two requesting situations: an unfamiliar situation in which food was put on a table, and a familiar situation in which chimpanzees requested food held by an experimenter. Chimpanzees showed evidence of understanding the experimenter's attentional variations and the role of eye gaze only in the latter task. This suggests that an unfamiliar requesting situation may keep subjects from expressing their understanding of others' attentional states even though they are sensitive to them. Keywords: Understanding attention; Social cognition; Chimpanzees. (shrink)

Although chimpanzees have been reported to understand to some extent others’ visual perception, previous studies using food requesting tasks are divided on whether or not chimpanzees understand the role of eye gaze. One plausible reason for this discrepancy may be the familiarity of the testing situation. Previous food requesting tasks with negative results used an unfamiliar situation that may be difficult for some chimpanzees to recognize as a requesting situation, whereas those with positive results used a familiar situation. The present (...) study tested chimpanzees’ understanding of others’ attentional states by comparing two requesting situations: an unfamiliar situation in which food was put on a table, and a familiar situation in which chimpanzees requested food held by an experimenter. Chimpanzees showed evidence of understanding the experimenter’s attentional variations and the role of eye gaze only in the latter task. This suggests that an unfamiliar requesting situation may keep subjects from expressing their understanding of others’ attentional states even though they are sensitive to them. Keywords: Understanding attention; Social cognition; Chimpanzees. (shrink)

Although chimpanzees have been reported to understand to some extent others’ visual perception, previous studies using food requesting tasks are divided on whether or not chimpanzees understand the role of eye gaze. One plausible reason for this discrepancy may be the familiarity of the testing situation. Previous food requesting tasks with negative results used an unfamiliar situation that may be difficult for some chimpanzees to recognize as a requesting situation, whereas those with positive results used a familiar situation. The present (...) study tested chimpanzees’ understanding of others’ attentional states by comparing two requesting situations: an unfamiliar situation in which food was put on a table, and a familiar situation in which chimpanzees requested food held by an experimenter. Chimpanzees showed evidence of understanding the experimenter’s attentional variations and the role of eye gaze only in the latter task. This suggests that an unfamiliar requesting situation may keep subjects from expressing their understanding of others’ attentional states even though they are sensitive to them. Keywords: Understanding attention; Social cognition; Chimpanzees. (shrink)

We provide a natural extension of the intuitionistic natural deduction system NJ with at most two consequences, which we call a binary conclusion natural deduction system. The classical natural deduction system NK is defined as NJ together with the law of the excluded middle or the double negation principle. However, in contrast to NK, the new BCN system has no such classical rule, but has two kinds of rules managing two consequences. One is to eliminate one consequence and the other (...) is to introduce another consequence. Except on this point, BCN proofs are derived in exactly the same way as those in NJ. It is shown that with respect to the propositional fragment of NK, the BCN system is sound and sufficiently complete to prove classical propositional theorems. Moreover, as a corollary we obtain a general form of Glivenko's theorem and disjunction property for one of the two consequences. We also show the normalization theorem for BCN. Finally, we study some extensions of BCN to classical predicate logic. (shrink)

There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms (...) of Parigot's -calculus with proper restrictions, we introduce a proof term assignment to these classical substructural logics. According to these notions, we can classify the -terms into four categories. It is proved that well-typed GLx--terms correspond to GLx proofs, and that a GLx--term has a principal type if stratified where x is nil, c, w or cw. Moreover, we investigate embeddings of classical substructural logics into the corresponding intuitionistic substructural logics. It is proved that the Gödel-style translations of GLx--terms are embeddings preserving substructural logics. As by-products, it is obtained that an inhabitation problem is decidable and well-typed GLx--terms are strongly normalizable. (shrink)

The Christian philosopher Muto Kazuo contributed substantially to the predominantly Buddhist “Kyoto School of Philosophy.” Through critical exchange with its representatives, he opened up new perceptions of Christian faith, enabled mutual understanding between Buddhism and Christianity, and challenged the Western dialectical method.

New equations of motion for a Bloch electron [momentum p=h k,energy ε n(p),zone number n, charge -e]: $$m_j \frac{{dv_j }}{{dt}} = - e(E + v \times B)_j $$ are proposed, where v≡∂εn(p)/∂p is the velocity, and {mj}are the principal masses m j − 1=∂2εn/∂p j 2 along the normal and the two principal axes of curvatures at each point of the constant-energy surface represented by ε=εn(p).Their advantages over the prevalent equations of motion where the left-hand-side is replaced by hk j (...) are demonstrated by examining de Haas-van Alphen oscillations and orientation-dependent cyclotron resonance peaks. (shrink)

The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...) and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

If no property of a system of many particles discriminates among the particles, they are said to be indistinguishable. This indistinguishability is equivalent to the requirement that the many-particle distribution function and all of the dynamic functions for the system be symmetric. The indistinguishability defined in terms of the discrete symmetry of many-particle functions cannot change in the continuous classical statistical limit in which the number density n and the reciprocal temperature β become small. Thus, microscopic particles like electrons must (...) remain indistinguishable in the classical statistical limit although their behavior can be calculated as if they move following the classical laws of motion. In the classical mechanical limit in which quantum cells of volume (2πħ)3 are reduced to points in the phase space, the partition functionTr{exp(−βĤ) for N identical bosons (fermions) approaches (2πħ)−3N(N!) ∫ ... ∫ d3r1 d3p1 ... d3rN d3pN exp(−βH). The two factors, (2πħ)−3N and (N!)−1, which are often added in anad hoc manner in many books on statistical mechanics, are thus derived from the first principles. The criterion of the classical statistical approximation is that the thermal de Broglie wavelength be much shorter than the interparticle distance irrespective of any translation-invariant interparticle interaction. A new derivation of the Maxwell velocity distribution from Boltzmann's principle is given with the assumption of indistinguishable classical particles. (shrink)

Sparrow highlights three potential applications of in vitro eugenics, that is, (a) research into the heredity of genetic disorders, (b) production of cell lines with specific genotypes, and (c) breeding better babies, and points to the need for researchers to discuss in advance the potential ethical problems that may emerge if the realization of this technology occurs in the near future. In this commentary, we pose a question for the sake of discussion. Is it, in fact, appropriate to label all (...) three applications raised by Sparrow as eugenics? By doing so, an unnecessary level of concern might be borne among the public, and as a result, the sound development of this specialized technology would be affected. If the label of eugenics is to be applied to all three of these applications, then Sparrow must justify how he perceives (a) and (b) as not inherently different from (c). (shrink)

Japanese science and technology studies has historically developed under the influence of Marxism, which generally had a great impact on prewar and postwar Japanese social sciences. However, since the late 1970s, the Marxist tradition was taken over by postmodernism and then neoliberalism. The global immiserization of working class recently brought back Marx and his critique of capital. The Marxist tradition should be revitalized by reviewing neo-Marxist works in the 1960s and 1970s, which rightly made science and technology the subject of (...) criticism for the first time. (shrink)