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.

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.

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)

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.

The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...) affirmative. The first to prove this was E. P. Martin by a semantical method. In this paper, we give the first proof of Martin's theorem based on the theory of simply typed λ-calculus. This proof is obtained as a corollary to the main theorem of this paper, shown without using Martin's Theorem, that any closed hereditary right-maximal linear (HRML) λ-term of type α → α is βη-reducible to λ x.x. Here the HRML λ-terms correspond, via the Curry-Howard isomorphism, to the P-W proofs in natural deduction style. (shrink)

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...) reduction rule which simplifies of (( ) ) into an atomic type. (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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

Research interest in cuteness perception and its effects on subsequent behavior and physiological responses has recently been increasing. The purpose of the present study was to produce a dataset of Japanese infant faces that are free of portrait rights and can be used for cuteness research. A total of 80 original facial images of 6-month-old infants were collected from their parents. The cuteness level of each picture was rated on a 7-point scale by 200 Japanese people. Prototypical high- and low-cuteness (...) faces were created by averaging the top 10 and bottom 10 faces according to the mean cuteness ratings. Then, 50 composite faces were made by mixing two faces randomly chosen from the 60 unused middle-cuteness faces. The normative cuteness ratings of these composite faces were obtained from 229 Japanese men and women in their 20s–60s. The shape of each composite face was transformed to be cuter or less cute along a continuum between the high- and low-cuteness prototypical faces. A two-alternative forced-choice task confirmed that cuteness discrimination was better than the chance level for all 50 face pairs. Moreover, the results showed that young men had poorer sensitivity to cuteness differences in infant faces than older men and women of any age. This Japanese Cute Infant Face dataset, including composite face images and normative rating scores, is publicly available online. (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)

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)

For public health professionals, traumatic brain injury and its possible protracted repercussions are a significant source of worry. In opposed to patient neurorehabilitation with developed brain abnormalities of different etiologies, neurorehabilitation of affected persons has several distinct features. The clinical repercussions of the various types of TBI injuries will be discussed in detail in this paper. During severe TBI, the medical course frequently follows a familiar first sequence of coma, accompanied by disordered awareness, followed by agitation and forgetfulness, followed by (...) return of function. Clinicians must be aware of common medical issues that might occur throughout the various stages of neurorehabilitation, for example, posttraumatic hydrocephalus, paroxysmal sympathetic hyperactivity and posttraumatic neuroendocrine disorders, at each step of the process. Furthermore, we address problems about the scheduling of various rehabilitation programs as well as the availability of current data for comprehensive rehabilitative neuropsychology techniques. (shrink)

This paper provides a history of more than a century of efforts to establish and maintain a homegrown Canadian sugar supply – a twentieth-century version of what Eric Williams called the ‘war of the two sugars’, or the global competition between sugar beet and cane. To resolve beet sugar’s so-called ‘labour problem’, the industry has collaborated with the Canadian state to produce new classes of temporary workers, mobilising incarcerated Japanese Canadians, migrant Indigenous families, and Mexican and Caribbean workers employed through (...) the Seasonal Agricultural Worker Program. At the same time, the sugar industry has sought to refine itself of the racialised workers upon whom it relies by promoting the figure of the white Canadian worker. The Canadian ‘war of the two sugars’ has been fought through the stratification of the labour force along the lines of citizenship, resulting in the production of unique racial forms. (shrink)

Konrad Lorenz, an ethologist, proposed that certain physical elements are perceived as cute and induce caretaking behavior in other individuals, with the evolutionary function of enhancing offspring survival. He called these features Kindchenschema, baby schema. According to his introspection, these include a large forehead, chubby round features, and chubby cheeks. Previous studies are limited to examining the effects of these facial features on perceived cuteness. However, other morphological factors may be related to perceived cuteness. This study uses Bayesian optimization, one (...) of the global sequential optimization methods for estimating unknown functions, to search for facial morphological features that enhance the perceptions of facial cuteness. We applied Bayesian optimization incorporating Gaussian process ordinal regression, which allows an estimation of the latent cuteness function based on evaluations using the Likert scale. A total of 96 preschool children provided the facial images used in this study. We summarized the facial shape variations using methodologies of geometric morphometrics and principal component analysis up to the third principal component, which we refer to as the face space. A total of 40 participants evaluated the images created by warping the average facial texture of the children's faces with randomly generated parameters in the face space. Facial traits related to perceived cuteness were estimated based on the averaged cuteness function. Perceived cuteness was linked to the relative lower position of facial components and narrower jawline but not to the forehead height. (shrink)

Japan has one of the highest numbers of high-cost medical devices installed relative to its population. While evaluations of the distribution of these devices traditionally involve simple population-based assessments, an indicator that includes the demand of these devices would more accurately reflect the situation. The purpose of this study was to develop an indicator of the supply–demand balance of such devices, using examples of magnetic resonance imaging scanners (MRI) and extracorporeal shockwave lithotripters (ESWL), and to investigate the relationship between this (...) indicator, personnel distribution statuses and operating statuses at the prefectural level. -/- Using data from nation-wide surveys and claims data from 16 hospitals, we developed an indicator based on the ratio of the supplied number of device units to the number of device units in demand for MRI and ESWL. The latter value was based on patient volume and utilization proportion. Correlation analyses were conducted between the supply–demand balances of these devices, personal distribution and operating statuses. -/- Comparisons between our indicator and conventional population-based indicators revealed that 15% and 30% of prefectures were at risk of underestimating the availability of MRI and ESWL, respectively. The numbers of specialist personnel/device units showed significant, negative correlations with our indicators in both devices. -/- Utilization-based analyses of health care resource placement and utilization status provide a more accurate indication than simple population-based assessments, and can assist decision makers in reviewing gaps between health policy and management. Such an indicator therefore has the potential to be a tool in helping to improve the efficiency of the allocation and placement of such devices. (shrink)