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)

Aristotle, in his Nicomachean Ethics, considers how one becomes virtuous. However, when asking the question of how, he does not refer to ‘by friend’ as an option; all he refers to are ‘by learning’, ‘by training’, ‘by habituation’, ‘by god’ and ‘by luck’. Why does he not do so? First, I point out the fact that both Aristotle and Plato do not refer to the option of ‘by friend’ when asking the question of how. Second, I argue that Aristotle does (...) not overlook the educational role of friendship. He understands that one needs friends. Third and finally, I consider the reason why Aristotle hesitates to emphasize the educational role of friendship and indicate that his theory of the mean causes it. This reveals the strained relationship between his theory of the mean and that of friendship in his ethical theory. (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)

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.

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)

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...

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)

Frankfurt-Style Cases (FSCs) seem to elicit the intuitive judgment that an agent is morally responsible despite being unable to act otherwise, which is supposed to falsify the Principle of Alternative Possibility (PAP). Recent empirical studies have shown that the inclination toward this intuitive judgment is shared among people, which seems to reinforce the argument against the PAP. However, some scholars have argued for Descriptive Anti-Intuitionism (DAI) — intuitive judgments have never played an evidential role in philosophy — and thus denied (...) the philosophical significance of such empirical findings. I point out that although DAI fails in its literal claim for FSCs, an associated insight remains potent: an intuitive judgment is so fragile that it can be easily defeated by further arguments. Nevertheless, I argue, empirical studies are significant in uncovering the general principles to which we are committed in our practice concerning moral responsibility. I clarify how such findings can play a robust evidential role in philosophical debates concerning moral responsibility by tracing the literature written by Frankfurt and philosophers. (shrink)

Neuroscientific claims have a significant impact on traditional philosophy. This essay, focusing on the field of moral neuroscience, discusses how and why philosophy can contribute to neuroscientific progress. First, viewing the interactions between moral neuroscience and moral philosophy, it becomes clear that moral philosophy can and does contribute to moral neuroscience in two ways: as explanandum and as explanans. Next, it is shown that moral philosophy is well suited to contribute to moral neuroscience in both of these two ways in (...) the context of the problem of ecological validity. Philosophy can play the role of an agent for ecological validity, since traditional philosophy shapes and reflects part of our social reality. Finally, based on these arguments, I tentatively sketch how a Kantian account of moral incentive can play this role. (shrink)

Lantiana, Boudesseulab, and Covac conducted two investigations to examine the moral acceptability of love drugs (Lantiana, Boudesseulab, and Covac 2024). In particular, their studies were designed...

In 1A:7 of the Mengzi, Mengzi tries to convince King Xuan of Qi that he is a “true” king. As a reading of Mengzi’s reasoning involved in his attempt at persuasion, David Nivison advances an inferential view, according to which Mengzi’s persuasion involves inferences. In this paper, I consider the assumptions underlying the objections raised against Nivison’s inferential view. I argue that these objections assume a contemporary Western view about the nature of logic and inferences. I propose an alternative characterisation (...) of the relevant sense of inference that, I believe, is more sensitive to the classical Chinese philosophical context and argue that certain insights can be derived from reading Mengzi in light of this alternative characterization of inferences. (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)

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)

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)

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)

The paper is concerned with the development of the paradoxical theme of Daoism. Based on Chad Hansen's interpretation of Daoism and Chinese philosophy in general, it traces the history of Daoism by following their treatment of the limit of language. The Daoists seem to have noticed that there is a limit to what language can do and that the limit of language is paradoxical. The 'theoretical' treatment of the paradox of the limit of language matures as Daoism develops. Yet the (...) Daoists seem to have noticed that the limit of language and its paradoxical nature cannot be overcome. At the end, we are left with the paradoxes of the Daoists. In this paper, we jump into the abyss of the Daoists' paradoxes from which there is no escape. But the Daoists' paradoxes are fun! (shrink)

Recent neuroscience studies have reported that neurofeedback training with the use of functional magnetic resonance imaging enables the regulation of an individual’s cognitive, emotion-related, and behavioral states through a real-time representation of her brain activities. Since this technique has been applied not only to clinical research to, for example, mitigate mental or psychiatric symptoms but also to non-clinical research to, for example, change the cognition or preferences of a so-called healthy participant, neurofeedback-based cognitive and/or moral enhancements may be realized in (...) the future. However, neurofeedback-based human enhancement is not the only issue that requires neuroethical consideration. I examine why and to what extent the dual application of neurofeedback technique will blur the lines between the mental, the social, and the moral, threatening some social norms, such as individual freedom and diversity. First, I consider the link between the mental and the social in psychiatry. Examining the definition of “mental disorder” provided by the American Psychiatric Association, I show that the mental is partly defined through social performance. Second, I make explicit the link between the social and the moral and argue that moral evaluation of an activity is gently but positively correlated with its social evaluation. Third, I demonstrate the links between the mental, the social, and the moral. In spite of a great deal of effort to distinguish these notions, the possibility of the dual application of this technique blurs the lines between them. Fourth, I examine whether such blurred lines signal sociocultural evolution or dystopia and argue that it can be understood as a beginning of the second advent of ethical virtue. I conclude that further cautious consideration of neuroethics is required because the establishment of this technique may have unique influences on our society. (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)

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)

In "The Way of the Dialetheist: Contradictions in Buddhism," Yasuo Deguchi, Jay L. Garfield, and Graham Priest argue that some (though not all) of the contradictions that appear in Buddhist texts should be accepted. An examination of their argument depends on what sort(s) of negation is (are) used in the texts. In order to see apparently contradictory statements as affirmations of true contradictions, we must assume that 'not' (or its variance) is used as a contradiction-forming operator. In this article, the (...) conception of negation(s) that is (are) salient in the writings of Dōgen is examined, and it is argued that he would not agree that his sentences are to be considered, and accepted, as contradictory. (shrink)

The Moon Points Back comprises essays by both established scholars in Buddhist and Western philosophy and young scholars contributing to cross-cultural philosophy. It continues the program of Pointing at the Moon, integrating the approaches and insights of contemporary logic and analytic philosophy along with those of Buddhist Studies in order to engage with Buddhist ideas in a contemporary voice.The essays in the volume focus on the Buddhist notion of emptiness, exploring its relationship to core philosophical issues concerning the self, the (...) nature of reality, logic, and epistemology. The volume closes with reflections on methodological issues raised by bringing together traditional Buddhist philosophy and contemporary analytic philosophy.The Moon Points Back demonstrates convincingly that integration of Buddhist philosophy with contemporary analytic philosophy and logic allows for novel understandings of and insights into Buddhist philosophical thought. It also shows how Buddhist philosophers can contribute to debates in contemporary Western philosophy and how contemporary philosophers and logicians can engage with Buddhist material. (shrink)

This paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.

This paper considers the computational complexity of the design of voting rules, which is formulated by simple games. We prove that it is an NP-complete problem to decide whether a given simple game is stable, or not.

This study examines Japanese reactions to neighboring countries’ behavior by addressing possible micro-motives, such as patriotism, the rational demand for national defense, and retrospective policy evaluation. This theoretical development leads to distinctive hypotheses from different motivations and directly tests them using macro-data . This research will apply this framework to Japanese politics and will show that foreign threats stimulate patriotism in the public mind and enhance political support for national leaders. It will also demonstrate that the Japanese public has no (...) optimistic view of the new prime minister and that the honeymoon effect in previous research may be confounded with the patriotic effect because the new leader is less experienced and is often challenged by foreign countries. (shrink)

In this paper, we describe a collaborative information retrieval method among personal repositorie and an implementation of the method on a personal agent framework. We propose a framework for personal agents that aims to enable the sharing and exchange of information resources that are distributed unevenly among individuals. The kernel of a personal agent framework is an RDF(resource description framework)-based information repository for storing, retrieving and manipulating privately collected information, such as documents the user read and/or wrote, email he/she exchanged, (...) web pages he/she browsed, etc. The repository also collects annotations to information resources that describe relationships among information resources and records of interaction between the user and information resources. Since the information resources in a personal repository and their structure are personalized, information retrieval from other users' is an important application of the personal agent. A vector space model with a personalized concept-base is employed as an information retrieval mechanism in a personal repository. Since a personalized concept-base is constructed from information resources in a personal repository, it reflects its user's knowledge and interests. On the other hand, it leads to another problem while querying other users' personal repositories; that is, simply transferring query requests does not provide desirable results. To solve this problem, we propose a query equalization scheme based on a relevance feedback method for collaborative information retrieval between personalized concept-bases. In this paper, we describe an implementation of the collaborative information retrieval method and its user interface on the personal agent framework. (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)

The moral status of human brain organoids (HBOs) has been debated in view of the future possibility that they may acquire phenomenal consciousness. This study empirically investigates the moral sensitivity in people’s intuitive judgments about actions toward conscious HBOs. The results showed that the presence/absence of pain experience in HBOs affected the judgment about the moral permissibility of actions such as creating and destroying the HBOs; however, the presence/absence of visual experience in HBOs also affected the judgment. These findings suggest (...) that people’s intuitive judgments about the moral status of HBOs are sensitive to the valence-independent value of phenomenal consciousness. We discuss how these observations can have normative implications; particularly, we argue that they put pressure on the theoretical view that the moral status of conscious HBOs is grounded solely in the valence-dependent value of consciousness. We also discuss how our findings can be informative even when such a theoretical view is finally justified or when the future possibility of conscious HBOs is implausible. (shrink)

Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.