This study investigated metaphor processing in a second language by considering both analogy and categorization. Previous studies found that forward metaphors...

This study aimed to clarify the coping strategies of nurses working in general wards who face the ethical dilemma of restraining older people with dementia. The participants were 272 nurses working in general wards in the Kansai region of Japan. Coping strategies were measured using a questionnaire consisting of 16 items. A low score of 1—4 points suggested good coping strategies. Factors were difficult to interpret for three of the 16 coping items identified; these items were therefore deleted. Eleven of (...) the remaining 13 items were used for analysis. An explanatory factor analysis revealed three factors concerning coping with ethical dilemma: (1) self-initiated positive cognition and action; (2) negative cognition and action; and (3) choosing not to act, or maintaining the status quo. These findings highlight the need for programs that could disseminate effective coping strategies among nurses faced with the ethical dilemma of restraining older people with dementia. (shrink)

Possible worlds have revolutionised philosophy and some related fields. But, in recent years, tools based on possible worlds have been found to be limited in many respects. Impossible worlds have been introduced to overcome these limitations. This Element aims to raise and answer the neglected question of what is characteristically impossible about impossible worlds. The Element sheds new light on the nature of impossible worlds. It also aims to analyse the main features and utility of impossible worlds and examine how (...) impossible worlds can capture distinctions which are unavailable if we limit ourselves to possible world-based tools. (shrink)

It is important to reveal how humans evaluate an explanation of the recent development of explainable artificial intelligence. So, what makes people feel that one explanation is more likely than another? In the present study, we examine how explanatory virtues affect the process of estimating subjective posterior probability. Through systematically manipulating two virtues, Simplicity—the number of causes used to explain effects—and Scope—the number of effects predicted by causes—in three different conditions, we clarified two points in Experiment 1: that Scope's effect (...) is greater than Simplicity's; and that these virtues affect the outcome independently. In Experiment 2, we found that instruction about the explanatory structure increased the impact of both virtues' effects but especially that of Simplicity. These results suggest that Scope predominantly affects the estimation of subjective posterior probability, but that, if perspective on the explanatory structure is provided, Simplicity can also affect probability estimation. (shrink)

The prevailing theory states that either Japanese voters have stopped ideologically distinguishing parties or that the main political parties in Japan have become more centrist in recent years. These arguments are based on survey questions asking citizens to locate parties on an ideological scale. However, these questions may suffer from noise caused by respondents who misinterpret the question wording or answer the questions inappropriately to mask their misunderstanding of the terms and . To address this problem by extracting only the (...) views of those who know the meaning of leftright terminology largely perceived parties’ ideologies in the same way as experts. Additionally, I find that even these voters face difficulties in placing ambiguous or new parties on the political spectrum. This study has implications not only for understanding trends in Japanese political ideology, but also for survey design and analysis of heterogeneous survey responses. (shrink)

Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...) class of agency, consequently justifying their phylogenetic claim. We also examine the implication of their phylogenetic claim: visual consciousness is homologous across vertebrates, but its neural basis is not. This apparent incongruence illustrates a general phenomenon of homology, and that the resulting hierarchical view of visual consciousness and its neural basis can be straightforwardly accommodated by neurobiological naturalism. Throughout these discussions, we aim to address the potential theoretical issues in neurobiological naturalism and refine the picture illustrated by Feinberg and Mallatt regarding phylogenetic distribution and trajectories of visual consciousness. (shrink)

The human ability to flexibly discover alternatives without fixating on a known solution supports a variety of human creative activities. Previous research has shown that people who discover an alternative procedure relax their attentional bias to information regarding the known solutions just prior to the discovery. This study examined whether the difference in the distribution of attention between the finders and non-finders of the alternative procedure is observed from the phase of solving the problem using the trained procedure. We evaluated (...) the characteristics of the finders' distribution of attention in situations where problem solving using a trained procedure was successful. This aspect has been little examined in previous research. Our study obtained empirical evidence for the fact that, compared to non-finders, finders pay more attention to information unrelated to the trained procedure acquired through knowledge and experience, even time when using a trained procedure. We also confirmed that this difference does not exist from the beginning of the task, but emerges during repeated use of familiar procedures. These findings indicate that in order to find an alternative procedure, one should not only divert attention from a familiar procedure just before the discovery but also pay a certain amount of attention to information unrelated to the familiar procedure even when the familiar procedure is functioning well. (shrink)

The mechanistic significance of a kinetic isotope effect on a cytochrome P‐450catalyzed reaction depends, fundamentally, on the nature of the interaction of the substrate with the active site of the enzyme as well as on the nature of the chemistry of the reaction catalyzed. Consequently, kinetic isotope effects can be used to extract information on the topology of the enzyme and the mechanism of substrate oxidation. Kinetic isotope effect studies are sometimes accompanied by ‘metabolic switching’ or a change in metabolic (...) pathway, catalyzed either by the same enzyme or by a different enzyme. For the specific case where ‘metabolic switching’ gives rise to a change in regional specificity for the cytochrome P‐450 catalyzed metabolism of a compound, this change can be explained in terms of the topological constraints on substrate binding imposed by the active site of the enzyme. (shrink)

Nisbett et al. claim that East Asians are likely to use holistic thought to solve problems, whereas Westerners use analytic thought more, and discuss the differences in the frame of the individualism/collectivism distinction. The holistic versus analytic distinction has been the greatest point of interest of dual process theories, which imply that human thinking has two sub processes. We apply a revised dual process model that proposes meme-acquired goals in both systems to explain cultural differences in thought. According to this, (...) gene-installed goals are universal across cultures, whereas meme-acquired goals depend upon culture. To introduce a dual process model means that we discuss adaptation both in terms of culture and natural selection. Hence, we propose an interactive view that supports an adaptive relation between mind and culture. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Economists and legal scholars routinely posit an implicit contract between Japanese firms and their principal lender. Under this arrangement, the bank implicitly agrees to rescue the firm when times turn bad. Out of court, it rescues the firm from insolvency. Not only does it save the investments specific to the troubled firm, it lowers the use of costly bankruptcy proceedings and cuts the costs of those bankruptcy procedures firms do occasionally invoke. Given the creditor-shareholder conflicts of interest that arise as (...) firms approach insolvency, such arrangements would seem unstable. Yet according to a long sociological tradition, conflicts of interest matter less in Japan than in the West. According to the emerging economic and legal tradition, Japanese economic actors do face those conflicts, but keep them in check through reputational concerns, close-knit ties, and government supervision. Using two datasets of troubled firms from the 1970s and 1980s, we ask whether Japanese main banks in fact rescue distressed borrowers. We find no evidence that they do: large Japanese firms fail; when large firms approach insolvency, main banks do not increase the share of the firm’s debt they bear; stronger ties between distressed firms and their main bank do not facilitate loans; and troubled firms do not try to preserve their main bank relationship. All told, the claim that Japanese banks ever implicitly agreed to rescue firms is sheer myth. That Japanese banks let troubled firms fail is no recent development; it has been thus for decades. Conflicts of interest do indeed matter in Japan and long have. They matter enough to prevent precisely the incentive-incompatible rescue deals that scholars in the field so routinely posit. (shrink)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (shrink)

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...) is designed to study. (shrink)

We propose a new information sharing system, named ``BisNet'', which automatically gathers information about the bookmarks stored in users' web browsers and helps the users exchange URIs of possibly interesting web pages with others who have similar interest with them. Being different from other typical agent services that gather and provide information according to pre-registered user profiles, BisNet is expected to share more relevant information because of its use of web browser bookmarks that are actively selected and ordered by many (...) humans. To enhance the relevance of information being shared, we developed a novel algorithm for directory evaluation. This algorithm only looks at the local referential structure between bookmark directories and URIs and calculates for each directory the ``order index'' that represents how well its content URIs are put in order with a focus on specific areas of interest. Then each directory receives new URIs from other related directories with large order indexes. The repetition of such URI exchanges makes the whole directory-URI networks dynamically form directory groups according to the commonness of the URIs they refer to. Our method is unique in that it pays no attention to the actual contents of web pages, and thus is much simpler and faster than other methods based on the result of content analysis. We carried out a field trial that involved 45 people who used a prototype version of BisNet clients. The result indicated that the relevance of shared URIs positively correlated with the ``order index'' of surrounding related directories, demonstrating the effectiveness of the method we proposed. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

While people are still alive, we owe them respect. Yet what, if anything, do we owe the newly dead? This question is an urgent practical concern for aged societies, because older people die at higher rates than any other age group. One novel way in which Japan, the frontrunner of aged societies, meets its need to accommodate high numbers of newly dead is itai hoteru or corpse hotels. Itai hoteru offer families a way to wait for space in over‐crowded crematoriums (...) while affording an environment conducive to grieving. Drawing on conversations with itai hoteru employees, we delineate the values this contemporary death practice expresses and show how these values comprise part of the broader idea of a good death. A good death implies duties on both sides of death's divide: to both the dying and the newly dead. (shrink)

Neurorights, as “new human rights,” have been increasingly recognized in the literature. In the Neurorights Initiative, these rights are supposed to be directed toward mental privacy, free will, pe...

This paper proves the strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. Using them, this paper also proves the strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also proves that natural deduction can be embedded into natural deduction with general elimination rules, strictly preserving proof normalization.

Recently, many opportunities have emerged to use the Internet in daily life and classrooms. However, with the growth of the World Wide Web (Web), it is becoming increasingly difficult to find target information on the Internet. In this study, we explore a method for developing the ability of users in information seeking on the Web and construct a search process feedback system supporting reflective activities of information seeking on the Web. Reflection is defined as a cognitive activity for monitoring, evaluating, (...) and modifying one's thinking and process. In the field of learning science, many researchers have investigated reflective activities that facilitate learners' problem solving and deep understanding. The characteristics of this system are: (1) to show learners' search processes on the Web as described, based on a cognitive schema, and (2) to prompt learners to reflect on their search processes. We expect that users of this system can reflect on their search processes by receiving information on their own search processes provided by the system, and that these types of reflective activity helps them to deepen their understanding of information seeking activities. We have conducted an experiment to investigate the effects of our system. The experimental results confirmed that (1) the system actually facilitated the learners' reflective activities by providing process visualization and prompts, and (2) the learners who reflected on their search processes more actively understood their own search processes more deeply. (shrink)

Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...) it is difficult to see what bearing logic has on knowledge. In this paper, by weaving together the main threads of thought that are salient in Dignāga’s and Dharmakīti’s texts, I shall re-conceive the nature of logic in the context of epistemology and demarcate the logical part of epistemology which can be recognised as logic. I shall demonstrate that we can recognise the logical significance of inference as understood by Buddhist logicians despite the fact that its logical significance lies within the context of knowledge. (shrink)

Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...) validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

Scientific progress in recent neurofeedback research may bring about a new type of moral neuroenhancement, namely, neurofeedback-based moral enhancement; however, this has yet to be examined thoroughly. This paper presents an ethical analysis of the possibility of neurofeedback-based moral enhancement and demonstrates that this type of moral enhancement sheds new light on the moral enhancement debate. First, I survey this debate and extract the typical structural flow of its arguments. Second, by applying structure to the case of neurofeedback-based moral enhancement, (...) I examine the ethical, legal, and social issues to show that this technique is unique and traditionalist, which makes it compatible with almost all our conservative notions, so that it, accordingly, can be seen as an ethically acceptable option. Third, by rejecting the premise in the moral enhancement debate that bio/neuro-enhancement has its unique ELSI that traditional methods would never create, I demonstrate that, by virtue of its traditional or conservative features, neurofeedback-based moral enhancement can be incorporated into the traditional moral education network. Finally, I conclude that, being a part of the traditional moral education network, neurofeedback-based moral enhancement can be a unique and ethically acceptable option of moral neuroenhancement. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

CETTE THESE SE VEUT UNE CONTRIBUTION A LA COMPREHENSION DE LA DERNIERE PHILOSOPHIE DE MERLEAU-PONTY, EN PRENANT COMME FIL CONDUCTEUR LA NOTION D'INSTITUTION. NOUS ESSAYONS D'ABORD DE DELIMITER LE CHAMP D'INTERROGATION DE LA NOTION D'INSTITUTION, TELLE QU'ELLE EST PRESENTEE DANS SES DEUX PREMIERS OUVRAGES. DEUXIEMEMENT, LA DESCRIPTION DE QUATRE ORDRES DE L'INSTITUTION SYMBOLIQUE (ANIMALITE ET VIE; STYLE ARTISTIQUE; LANGUE ET IDEALITE; SYSTEME SOCIAL) QUE NOUS NOUS EFFORCONS DE RECONSTITUER A L'AIDE DES MANUSCRITS INEDITS CONDUIT A DEVOILER LES MOTIVATIONS DE LA (...) RADICALISATION DE LA QUESTION PHENOMENOLOGIQUE. ENFIN, NOTRE PROBLEMATIQUE SE PRESENTE DANS LE DERNIER OUVRAGE COMME UN PROJET DE L'INSTITUTION DE LA PHILOSOPHIE ELLE-MEME. CE PROJET A SA PORTEE HISTORIQUE, SE PROPOSANT DE METTRE EN EVIDENCE LES MOMENTS FECONDS DANS L'HISTOIRE DE LA PHILOSOPHIE, DE MANIERE A LEVER LES DIFFICULTES DE L'ONTOLOGIE ACTUELLE. (shrink)

Some skeptics question the very possibility of moral bioenhancement by arguing that if we lack a widely acceptable notion of morality, we will not be able to accept the use of a biotechnological technique as a tool for moral bioenhancement. I will examine this skepticism and argue that the assessment of moral bioenhancement does not require such a notion of morality. In particular, I will demonstrate that this skepticism can be neutralized in the case of recent neurofeedback techniques. This goal (...) will be accomplished in four steps. First, I will draw an outline of the skepticism against the possibility of moral bioenhancement and point out that a long-lasting dispute among moral philosophers nourishes this skepticism. Second, I will survey recent neurofeedback techniques and outline their three features: the variety of the target human faculties, such as emotion, cognition, and behavior; the flexibility or personalizability of the target brain state; and the nonclinical application of neurofeedback techniques. Third, I will argue that, by virtue of these three unique features, neurofeedback techniques can be a tool for moral bioenhancement without adopting any specific notion of morality. Fourth, I will examine the advantages and threats that neurofeedback-based moral enhancement may have. Finally, I will conclude that neurofeedback-based moral enhancement can become a new and promising tool for moral bioenhancement and requires further ethical investigations on its unique features. (shrink)

In sub-Sect. 3.3, the terms “one-person” and “-person” were incorrectly updated by mistake during the correction stage in the online published article.

In cooperative game theory with transferable utilities, there are two well-established ways of redistributing Shapley value payoffs: using egalitarian Shapley values, and using consensus values. We present parallel characterizations of these classes of solutions. Together with the axioms that characterize the original Shapley value, those that specify the redistribution methods characterize the two classes of values. For the class of egalitarian Shapley values, we focus on redistributions in one-person unanimity games from two perspectives: allowing the worth of coalitions to vary, (...) while keeping the player set fixed; and allowing the player set to change, while keeping the worth of coalitions fixed. This class of values is characterized by efficiency, the balanced contributions property for equal contributors, weak covariance, a proportionately decreasing redistribution in one-person unanimity games, desirability, and null players in unanimity games. For the class of consensus values, we concentrate on redistributions in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document}-person unanimity games from the same two perspectives. This class of values is characterized by efficiency, the balanced contributions property for equal contributors to social surplus, complement weak covariance, a proportionately decreasing redistribution in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document}-person unanimity games, desirability, and null players in unanimity games. (shrink)

This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...) theorem: existence of a mapping on terms with the Z property concludes the confluence. Since it is still hard to directly define a mapping with the Z property for the lambda calculi with permutative conversions, this paper extends the Z theorem to compositional functions, called compositional Z, and shows that we can adopt it to the calculi. (shrink)

In the 1958-1959 Collège de France course, Merleau-Ponty expounds a detailed commentary on the last paragraphs of the Einleitung from Hegel’s Phenomenology of Spirit. We examine in what sense this course has developed the notions that he was in the process of defining, notions such as “chiasm,” “reversibility,” “depth,” and “flesh.” What seems crucial in this course is to clearly define good ambiguity as opposed to bad ambiguity, that is, to the simple mixture of finitude and universality, of interiority and (...) exteriority. It is a question then of revealing, even within Hegelian thought, the operation, although unstable, of good ambiguity and of instituting it beyond the distinction between anthropology and logic without a return to naturalism. It should first be noted that consciousness is for Hegel violence against itself, it gives itself its measure, such that the distinction between measuring and measured is internal to it. By insisting on this “reversibility” of the measuring and the measured, Merleau-Ponty comes to emphasize that the self-relation of consciousness is simultaneously its opening onto a transcendent – an opening whereby it learns something. This leads him to define “the new ontological milieu” which is the depth of the life of consciousness. It is within this depth that the interrogative experience winds on itself. Secondly, if there truly must be a moment where the Hegelian Zweideutigkeit becomes good ambiguity, it will not suffice to explore preobjective depth; it would still be necessary to discern “the hinge” which is “solid, unwavering” and which “remains irremediably hidden.” It is this unwavering hinge that supports phenomena and that, in simultaneously decentering and recentering the fields of appearances, opens a place where one can follow the genesis of sense. Finally, we note that this discovery of the new ontological milieu can be considered as the recovery of the notion of institution that Merleau-Ponty had proposed in 1954-1955: on the one hand, the notion of chiasm invites us to reveal the hinge which at once decenters and recenters the fields of appearances. This hinge is free from the alternative of nature and culture, of subjective and objective spirit; it is the rootedness of our interrogative experience in brute being, which is not object but starts an indefinite search of self. But, on the other hand, the notion of institution, which is essentially descriptive and factual, makes us better feel the weight of the instituted that is also irremediably hidden. It makes us feel the inertia of the instituting event, as well as its fecundity and its cumulativity. (shrink)