To let humanoid robots behave socially adequate in a future society, we started to explore laughter as an important para-verbal signal known to influence relationships among humans rather easily. We investigated how the naturalness of various types of laughter in combination with different humanoid robots was judged, first, within a situational context that is suitable for laughter and, second, without describing the situational context. Given the variety of human laughter, do people prefer a certain style for a robot’s laughter? And (...) if yes, how does a robot’s outer appearance affect this preference, if at all? Is this preference independent of the observer’s cultural background? Those participants, who took part in two separate online surveys and were told that the robots would laugh in response to a joke, preferred one type of laughter regardless of the robot type. This result is contrasted by a detailed analysis of two more surveys, which took place during presentations at a Japanese and a German high school, respectively. From the results of these two surveys, interesting intercultural differences in the perceived naturalness of our laughing humanoids can be derived and challenging questions arise that are to be addressed in future research. (shrink)

Recently several prominent biologists and philosophers, including Feinberg and Mallatt, and Godfrey-Smith, have proposed evolutionary accounts of consciousness. Despite disagreements regarding the specifics, they all focused on the “primitive” form of consciousness and argued that its origin is much more ancient than previously believed. In this study, we examine these accounts based on their methodological grounds. Specifically, we examine whether one methodological criticism leveled against evolutionary psychology on the completeness of its explanations can be applied to Feinberg and Mallatt’s adaptation (...) explanations. We conclude that their explanations fall short of being complete, but fare better than those advanced by evolutionary psychologists. (shrink)

ABSTRACT Studies on development and fairness judgments in resource allocations have mainly addressed the distribution of reward. However, the distribution of responsibility also requires exploration in the context of research on development and distributive justice. For an integrated understanding of reward and responsibility distributions, we briefly reviewed the studies on children’s fairness judgments in reward and responsibility distributions. We then discussed the theoretical basis and methodological framework to further our understanding. After reviewing a study which considered both reward and responsibility (...) distributions in the same experiment, we also discussed the questions to be solved to understand children’s fairness judgments in both types of distributions. Individual developmental process of fairness judgments, (in)consistency of judgments in reward and responsibility distributions, and generous judgments in allocations were discussed by referring to theoretical discussions of culture and reciprocity. (shrink)

In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.

Wegner’s method of flow equations offers a useful tool for diagonalizing a given Hamiltonian and is widely used in various branches of quantum physics. Here, generalizing this method, a condition is derived, under which the corresponding flow of a quantum state becomes geodesic in a submanifold of the projective Hilbert space, independently of specific initial conditions. This implies the geometric optimality of the present method as an algorithm of generating stationary states. The result is illustrated by analyzing some physical examples.

Determinants of synesthetic color choice for the Japanese logographic script, Kanji, were studied. The study investigated how synesthetic colors for Kanji characters, which are usually acquired later in life than other types of graphemes in Japanese language , are influenced by linguistic properties such as phonology, orthography, and meaning. Of central interest was a hypothesized generalization process from synesthetic colors for graphemes, learned prior to acquisition of Kanji, to Kanji characters learned later. Results revealed that color choices for Kanji characters (...) depend on meaning and phonological information. Some results suggested that colors are generalized from Hiragana characters and Arabic digits to Kanji characters via phonology and meaning, respectively. Little influence of orthographic information was observed. The findings and approach of this study contributes to a clarification of the mechanism underlying grapheme-color synesthesia, especially in terms of its relationship to normal language processing. (shrink)

Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church–Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church–Rosser theorem using only the notion of Takahashi translation.

The species problem is often described as the abundance of conflicting definitions of _species_, such as the biological species concept and phylogenetic species concepts. But biologists understand the notion of species in a non-definitional as well as a definitional way. In this article I argue that when they understand _species_ without a definition in their mind, their understanding is often mediated by the notion of _good species_, or prototypical species, as the idea of ``prototype'' is explicated in cognitive psychology. This (...) distinction helps us make sense of several puzzling phenomena regarding biologists' dealing with species, such as the fact that in everyday research biologists often behave as if the species problem is solved, while they should be fully aware that it is not. I also briefly discuss implications of this finding, including that some extant attempts to answer what the nature of species is have an inadequate assumption about how the notion of species is represented in biologists' minds. (shrink)

Determinants of synesthetic color choice for Japanese phonetic characters were studied in six Japanese synesthetes. The study used Hiragana and Katakana characters, which represent the same set of syllables although their visual forms are dissimilar. From a palette of 138 colors, synesthetes selected a color corresponding to each character. Results revealed that synesthetic color choices for Hiragana characters and those for their Katakana counterparts were remarkably consistent, indicating that color selection depended on character-related sounds and not visual form. This Hiragana–Katakana (...) invariance cannot be regarded as the same phenomenon as letter case invariance, usually reported for English grapheme-color synesthesia, because Hiragana and Katakana characters have different identities whereas upper and lower case letters have the same identity. This involvement of phonology suggests that cross-activation between an inducer brain region and that of the concurrent area in grapheme-color synesthesia is mediated by higher order cortical processing areas. (shrink)

This book is a comprehensive investigation of the work of Joseph Alois Schumpeter, one of the great economists of the twentieth century. In this study, Yuichi Shionoya highlights Schumpeter's methodological views and emphasizes his ideal of a universal social science. Taking on board all aspects of his work, he reconstructs a system which encompasses theory and metatheory. The originality of Schumpeter's work - which the author calls the two-structure approach to the evolution of mind and society - is examined in (...) the light of the intellectual field in Germany and Austria in the early twentieth century. This book is a major contribution to the history of economic thought. (shrink)

What is the purpose of the economy? To answer this intriguing and fundamental question, this book provides a systematic approach to economic ethics and constructs a relationship between the economy and morality; it expounds theoretical and practical issues of economic philosophy along two dimensions: values and institutions. On the dimension of values, Yuichi Shionoya explores the connections between the economy and morality by reconstructing a coherent system of ethics that coordinates the 'good, right, and virtue'. Based on this system of (...) ethics, the book goes on to discuss the dimension of institutions and presents the philosophy of the welfare state, consisting of a tripartite contemporary institution of 'capitalism, democracy, and social security'. Economy and Morality is a remarkable contribution to economic ethics exploring key philosophical issues including efficiency versus justice and liberty versus excellence. Its unique emphasis is the economics of virtue, which is concerned with the virtuous utilization of economic resources for human development, and applied to the reform of the welfare state. will all find this book of great interest - part of its appeal lying in its interdisciplinary approach to contemporary economic, political and social systems based on the synthesis of moral values. (shrink)

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of (...) Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6]. (shrink)

In experiments of games, players frequently make choices which are regarded as irrational in game theory. In papers of Khrennikov (Information Dynamics in Cognitive, Psychological and Anomalous Phenomena. Fundamental Theories of Physics, Kluwer Academic, Norwell, 2004; Fuzzy Sets Syst. 155:4–17, 2005; Biosystems 84:225–241, 2006; Found. Phys. 35(10):1655–1693, 2005; in QP-PQ Quantum Probability and White Noise Analysis, vol. XXIV, pp. 105–117, 2009), it was pointed out that statistics collected in such the experiments have “quantum-like” properties, which can not be explained in (...) classical probability theory. In this paper, we design a simple quantum-like model describing a decision-making process in a two-players game and try to explain a mechanism of the irrational behavior of players. Finally we discuss a mathematical frame of non-Kolmogorovian system in terms of liftings (Accardi and Ohya, in Appl. Math. Optim. 39:33–59, 1999). (shrink)

Faced with the charge of value-ladenness in their theories, researchers in evolutionary psychology (EP) argue that their science is entirely free of values; their hypotheses only concern scientific facts, without any socio-cultural value judgments. Lynn Hankinson Nelson, a renowned feminist scholar of science, denies this. In her book and papers, Nelson finds that their hypotheses do contain evaluative components. One such example is the fear of snakes. While this fear was adaptive to the environment in the past, evolutionary psychologists argue (...) that this trait is now “maladaptive” because city-dwellers would rarely encounter snakes in their environment. However, Nelson argues that labeling this trait “maladaptive” implies that this fear is irrational since this claim cannot be understood otherwise. This paper argues that this and other arguments made by Nelson for demonstrating the value-ladenness in EP’s hypotheses have serious flaws. For instance, we argue that investigating the psychological mechanisms behind the fear and their developmental and energy costs would allow for proper interpretation of evolutionary psychologists’ claims for the maladaptive fear of snakes without any normative implication. We also maintain that some of her arguments fail to demonstrate their connection to the point at the center of the debates between EP and feminism. While Nelson may be right in stating that EP’s hypotheses have evaluative components, she does not prove their strong political or normative implications, which is central to the debate over EP. (shrink)

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.

In the rationality debate, Gerd Gigerenzer and his colleagues have argued that human’s apparent inability to follow probabilistic principles does not mean our irrationality, because we can do probabilistic reasoning successfully if probability information is given in frequencies, not percentages (the natural frequency hypothesis). They also offered an evolutionary argument to this hypothesis, according to which using frequencies was evolutionarily more advantageous to our hominin ancestors than using percentages, and this is why we can reason correctly about probabilities in the (...) frequency format. This paper offers a critical review of this evolutionary argument. I show that there are reasons to believe using the frequency format was not more adaptive than using the standard (percentage) format. I also argue that there is a plausible alternative explanation (the nested-sets hypothesis) for the improved test performances of experimental subjects—one of Gigerenzer’s key explananda—which undermines the need to postulate mental mechanisms for probabilistic reasoning tuned to the frequency format. The explanatory thrust of the natural frequency hypothesis is much less significant than its advocates assume. (shrink)

The objective of this study is to design a laboratory experiment to explore the effect of ambiguity on a subject’s search behavior in a finite-horizon sequential search model. In so doing, we employ a strategy to observe the potential trend of reservation points that is usually unobserved. We observe that subjects behaving consistently across treatments reduce their reservation points in the face of ambiguity over point distribution. Our result is consistent with the theoretical implication obtained by Nishimura and Ozaki.

We discuss foundational issues of quantum information biology —one of the most successful applications of the quantum formalism outside of physics. QIB provides a multi-scale model of information processing in bio-systems: from proteins and cells to cognitive and social systems. This theory has to be sharply distinguished from “traditional quantum biophysics”. The latter is about quantum bio-physical processes, e.g., in cells or brains. QIB models the dynamics of information states of bio-systems. We argue that the information interpretation of quantum mechanics (...) is the most natural interpretation of QIB. Biologically QIB is based on two principles: adaptivity; openness. These principles are mathematically represented in the framework of a novel formalism— quantum adaptive dynamics which, in particular, contains the standard theory of open quantum systems. (shrink)

Literature expects that an attitude toward nuclear power is in direct proportion to the perceived risk of accidents at an operational nuclear power plant; that is, the oppositional attitude is based on the view that nuclear technology is risky and support for nuclear power is related to a perceived low risk and/or potential benefit. However, it is misleading to assume that individuals’ risk perception alone can linearly explain their position after such an accident. The association between risk perception and attitude (...) toward nuclear power varies significantly according to country but, until now, has been largely unexamined. This article takes into consideration the effects of structural factors on that relationship by examining public attitudes toward nuclear energy after the Fukushima nuclear accident in March 2011 and reveals that the need for the efficient production of electricity (i.e., nuclear energy) outweighs concern for the potential danger of a nuclear incident. Although a country's dependence on nuclear power for the production of electricity engenders anti-nuclear attitudes, it is evident that a level of economic development largely alleviates any negativity relative to that energy source. (shrink)

The dual process theory is a view that there are two information-processing systems in our mind. It has been popular in cognitive and social psychology for the last few decades, but this simplified formulation of the theory has problems. In this paper I shall review the recent developments made by the dual process theorists to meet those challenges and indicate the directions the theory could take. In particular I shall discuss possible defining properties or mechanisms of the two systems. I (...) argue that working memory and its neural correlates, but not cognitive decoupling, are the underlying mechanisms of the "reflective" system while the "intuitive" system may have rather external underlying mechanisms, i.e., natural selection. This renders both systems homeostatic property cluster kinds but they are based on different kinds of mechanisms. (shrink)

In _Realism and Naturalizing Knowledge_ (Keisho Shobo, 2013), Ryo Uehara carefully formulates the homeostatic property cluster theory of natural kinds and expands it by applying this framework to artifacts and knowledge and thereby drawing them in the naturalistic picture of the world. This is a substantial addition to the development of naturalistic philosophy in Japan. In this essay I shall make general comments on his account of natural kinds in the following respects: Uehara's distinction between real and nominal kinds, his (...) objection to the species-as-individual thesis, the relative lack of attention to the distinction between the realism of natural kinds and the scientific realism, and finally, races as possible natural kinds. (shrink)

The species problem is the longstanding puzzle regarding the nature of species. This paper aims to describe how biologists experience little communication breakdown when they have different conceptions of species. For this purpose, I analyze two debates on species and speciation between Guy Bush and Jerry Coyne & H. Allen Orr. Although they have radically different ideas on species, they experience little communication difficulty. I will argue that this is because they implicitly agreed on the referent of the group of (...) organisms being addressed and possible causal factors of the speciation process. This analysis confirms a leading account in the general philosophy of science on the way in which scientists avoid the incommensurability threat. (shrink)

Gerd Gigerenzer's views on probabilistic reasoning in humans have come under close scrutiny. Very little attention, however, has been paid to his evolutionary component of his argument. According to Gigerenzer, reasoning about probabilities as frequencies is so common today because it was favored by natural selection in the past. This paper presents a critical examination of this argument. It will show first, that, _pace_ Gigerenzer, there are some reasons to believe that using the frequency format was not more adaptive than (...) using the standard (percentage) format and, second, that Gigerenzer's evolutionary argument and his other arguments such as his historical description of the notion of probability are in tension with each other. (shrink)

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

Credible signaling may have provided a selection pressure for producing and discriminating increasingly elaborate proto-musical signals. But, why evolve them to have hierarchical structure? We argue that the hierarchality of tonality and meter is a byproduct of domain-general mechanisms evolved for reasons other than credible signaling.

I‐J has been regarded as a polymorphic genetic marker controlled by a locus in the major histocompatibility complex (MHC) which is expressed only on functional T cells. However, this antigenic determinant has been found not to be directly encoded by the MHC gene per se but is somatically generated according to the MHC of the cellular environment during ontogeny. This explains the apparent linkage of I‐J to MHC, despite the failure to find the structural gene for I‐J within the MHC. (...) The I‐J paradox provides an instance of a polymorphism that does not follow the standard genetics of Mendelian structural genes. (shrink)

Platforms for sharing genomic and phenotype data have been developed to promote genomic research, while maximizing the utility of existing datasets and minimizing the burden on participants. The value of genomic analysis of trios or family members has increased, especially in rare diseases and cancers. This article aims to argue the necessity of protection when sharing data from both patients and family members. Sharing patients’ and family members’ data collectively raises an ethical tension between the value of datasets and the (...) rights of participants, and increases the risk of re-identification. However, current data-sharing policies have no specific safeguards or provisions for familial data sharing. A quantitative survey conducted on 10,881 general adults in Japan indicated that they expected stronger protection mechanisms when their family members’ clinical and/or genomic data were shared together, as compared to when only their data were shared. A framework that respects decision-making and the right of withdrawal of participants, including family members, along with ensuring usefulness and security of data is needed. To enable this, we propose recommendations on ancillary safeguards for familial data sharing according to the stakeholders, namely, initial researchers, genomic researchers, data submitters, database operators, institutional review boards, and the public and participants. Families have played significant roles in genetic research, and its value is re-illuminated in the era of genomic medicine. It is important to make progress in data sharing while simultaneously protecting the privacy and interests of patients and families, and return its benefits to them. (shrink)

There exist several phenomena breaking the classical probability laws. The systems related to such phenomena are context-dependent, so that they are adaptive to other systems. In this paper, we present a new mathematical formalism to compute the joint probability distribution for two event-systems by using concepts of the adaptive dynamics and quantum information theory, e.g., quantum channels and liftings. In physics the basic example of the context-dependent phenomena is the famous double-slit experiment. Recently similar examples have been found in biological (...) and psychological sciences. Our approach is an extension of traditional quantum probability theory, and it is general enough to describe aforementioned contextual phenomena outside of quantum physics. (shrink)

This paper presents an analysis of three Japanese words — ne, yone, and daroo. These three expressions are often interpreted as tag questions in English. Although these words are semantically closely related, they are not always interchangeable. The subtle differences between them are difficult to grasp, especially for language learners. Numerous studies have been undertaken in order to clarify the meanings of ne, yone, and daroo. However, opinions vary among different scholars, and definitions for these markers are not fully established. (...) This paper applies the Natural Semantic Metalanguage approach. It proposes new explications in terms of semantic primes. The proposed semantic formulae clarify the differences between the three expressions and serve as practical tools: Tools which indicate criteria that can assist in choosing an appropriate word for a given situation. (shrink)

This paper proposes a class of independence axioms for simple acts. By introducing the E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {E}}$$\end{document}-cominimum independence axiom that is stronger than the comonotonic independence axiom but weaker than the independence axiom, we provide a new axiomatization theorem of simple acts within the framework of Choquet expected utility. Furthermore, in order to provide the axiomatization of simple acts, we generalize Kajii et al. into an infinite state space. Our axiomatization theorem relates (...) Choquet expected utility to multi-prior expected utility through the core of a capacity that is explicitly derived within our framework. Our result in this paper also derives Gilboa, Eichberger and Kelsey, and Rohde as a corollary. (shrink)