A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency need not be closed down on the basis of the Belgian (...) and Brazilian schools’ objections. In the appendix of the paper, I also argue that the Brazilian school’s view of logic is not coherent. (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)

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)

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)

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)

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)

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)

Considers Deleuze's ideas on philosophical practice in relation to his work. This book presents analyses of, and aims to provide some context for, this relation in Deleuze's work, by focusing on Deleuze's conception of the relation between thought and practice, the brain and the hand (or mouth).

In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...) were actually developed by the tradition marked 'other''. The main task of this paper is to unpack Siderits' thought. By analysing some of Priest's work, I will suggest a decentering that must have taken place in China when Buddhism was 'exported to China in Buddhist shipping containers'. For anyone familiar with the forms of Buddhist philosophy developed in India, various forms of Chinese Buddhism can often look strange. Some ideas that were debated and defended by Indian Buddhists do not appear anywhere in Chinese Buddhism and some assumptions have been quietly added to Buddhism by Chinese Buddhists. By showing that Priest's work brings out the 'innovation' that Chinese Buddhists gave to Buddhism, I will suggest that it is this decentering that Siderits suggests Priest makes use of. (shrink)

Buddhist philosophers have developed a rich tradition of logic. Buddhist material on logic that forms the Buddhist tradition of logic, however, is hardly discussed or even known. This article presents some of that material in a manner that is accessible to contemporary logicians and philosophers of logic and sets agendas for global philosophy of logic.

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)

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)

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)

La figure diabolisée du chat dans la littérature japonaise évolue sans cesse au cours de l’époque médiévale, et nous prenons ici l’exemple d’un chat-monstre nommé nekomata. L’un des exemples littéraires les plus connus se trouve dans les Heures oisives, ouvrage écrit vers 1330 par Yoshida Kenkô. Il semble cependant que le terme nekomata soit apparu un siècle plus tôt, comme le montre l’entrée du 2 août 1233 dans le Journal de la lune brillante de Fujiwara no Teika, l’un des plus (...) grands poètes de son temps. Nous analyserons donc ce texte de première importance pour comprendre les origines de cette figure littéraire, puis tenterons de comprendre le sens de l’expression nekomata. The demonized figure of the cat in Japanese literature evolved constantly during medieval times, and here we take the example of a monster cat named nekomata. One of the best-known literary examples is found in Tsurezure-gusa, written around 1330 by Yoshida Kenkô. However, it seems that the term nekomata appeared a century earlier, as can be seen from the August 2, 1233 entry in Meigetsu-ki, the diary of Fujiwara no Teika, one of the greatest poets of his time. We will examine this important text for a better understanding of the history of the monster cat and reflect on the meaning of the term nekomata. (shrink)

La figure du chat fait son apparition dans la littérature japonaise au ixe siècle, mais son image évoluera de manière inattendue à l’époque médiévale. Des témoignages littéraires du xie et du xiie siècle, tels que les Notes de chevet de Sei Shônagon et Le Dit du Genji de Murasaki Shikibu, montraient clairement l’intérêt porté aux chats par les dames de cour. Pourtant, à partir du xiiie siècle, le félidé fera au contraire l’objet d’une forme de « diabolisation », et c’est (...) cette dimension plus inquiétante du chat que nous aimerions évoquer ici, à travers trois exemples tirés du Kokon chomon-jû, vaste recueil de contes et légendes. Cette œuvre méconnue en Europe est attribuée à Tachibana no Narisue et achevée en 1254. The figure of the cat made its appearance in Japanese literature in the 9th century, but its image evolved unexpectedly in medieval times. Literary evidence from the 11th and 12th centuries, such as the Bedside Notes by Sei Shônagon and The Tale of Genji by Murasaki Shikibu clearly showed the interest of court women in cats. However, from the 13th century, the feline became the object of a form of “demonization”, and it is this more disturbing dimension of the cat that we would like to describe here, through three examples taken from Kokon chomon-Jû, a vast collection of tales and legends. This work, unknown in Europe, has been attributed to Tachibana no Narisue and was completed in 1254. (shrink)

Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...) interesting reasoning patterns discernible in the writings of Buddhist philosophers. For instance, the Mādhyamika philosopher Nāgārjuna presents arguments for the emptiness of all things in terms of catuṣkoṭi (four ‘corners’: roughly speaking, truth, false, both, neither). There are also the Indian vāda (debate) literature and Tibetan bsdus grwa (collected topics) that list techniques of debates. -/- The main interest here is the tradition of Buddhist philosophy, sometimes referred to as Pramāṇavāda, whose central figures are Dignāga (approx. 480–540 CE) and Dharmakīrti (6th– 7th CE). This philosophy is understood to be the Buddhist school of logic-epistemology. ‘Pramāṇavāda’ is not a doxographical term traditionally used to refer to a recognised school of Buddhist philosophy. It is a conventional term that is sometimes used in modern literature. Nevertheless, in what follows, we think of it as a tradition within Buddhist philosophy and ‘Buddhist logic’ refers to what is developed in this tradition. -/- Buddhist logicians have systematically analysed the kind of reasoning involved in acquiring knowledge. They hold that there are valid ways to reason that are productive of knowledge. In what follows, some of the main elements of their analyses will be described. Note, however, that, while exegetical studies of Buddhist texts are important, we must step back from them and consider what is involved in taking a Buddhist approach to logic in light of modern formal logic. This analysis will be done against the backdrop of the contemporary literature on logic and related subjects in contemporary philosophy to make sense of the logical studies by Buddhist logicians. (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)

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)

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.

Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.

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)

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)

There is an emerging experimental trend in bioethics and neuroethics. We briefly review several topics in this trend and discuss how the existing and future studies can have normative implications related to bioethical/neuroethical issues. Particularly, we consider three major ways to draw such implications; (1) contributing to conceptual analysis and philosophical (counter-)evidence, (2) figuring out the unreliability of moral thinking and thereby providing a debunking argument, and (3) estimating the feasibility of ethical norms and policies.

One of the prime characteristics of the increasingly technological and interconnected world is the disappearance of analogue experience in all aspects of life. Due to technological invention, we are exposed to a variety of news and information, checking emails in private and business accounts for a significant amount of time each day. Our information-driven minds are constantly occupied by the desire to seek out more information. The ways we engage in music also have changed. We now download mp3 files and (...) listen to music on iPods. People are used to web-based, digitalized music listening.1 It is in this context that many people in the modern world are turning to indigenous forms of music that allow them to.. (shrink)

Frankfurt-Style Cases 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 Alternat...

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)

We have developed a broadcasting agent system, public opinion channel (POC) caster, which generates understandable conversational form from text-based documents. The POC caster circulates the opinions of community members by using conversational form in a broadcasting system on the Internet. We evaluated its transformation rules in two experiments. In experiment 1, we examined our transformation rules for conversational form in relation to sentence length. Twenty-four participants listened to two types of sentence (long sentences and short sentences) with conversational form or (...) with single speech. In experiment 2, we investigated the relationship between conversational form and the user’s knowledge level. Forty-two participants (21 with a high knowledge level and 21 with a low knowledge level) were selected for a knowledge task and listened to two kinds of sentence (sentences about a well-known topic or sentences about an unfamiliar topic). Our results indicate that the conversational form aided comprehension, especially for long sentences and when users had little knowledge about the topic. We explore possible explanations and implications of these results with regard to human cognition and text comprehension. (shrink)

Sleep is a fundamental property conserved across species. The homeostatic induction of sleep indicates the presence of a mechanism that is progressively activated by the awake state and that induces sleep. Several lines of evidence support that such function, namely, sleep need, lies in the neuronal assemblies rather than specific brain regions and circuits. However, the molecular mechanism underlying the dynamics of sleep need is still unclear. This review aims to summarize recent studies mainly in rodents indicating that protein phosphorylation, (...) especially at the synapses, could be the molecular entity associated with sleep need. Genetic studies in rodents have identified a set of kinases that promote sleep. The activity of sleep-promoting kinases appears to be elevated during the awake phase and in sleep deprivation. Furthermore, the proteomic analysis demonstrated that the phosphorylation status of synaptic protein is controlled by the sleep-wake cycle. Therefore, a plausible scenario may be that the awake-dependent activation of kinases modifies the phosphorylation status of synaptic proteins to promote sleep. We also discuss the possible importance of multisite phosphorylation on macromolecular protein complexes to achieve the slow dynamics and physiological functions of sleep in mammals. (shrink)