Interleukin 5 (IL‐5) is a kind of peptide hormone released from T lymphocytes of mammals infected with microorganisms or parasites. It is an acidic glycoprotein with a molecular mass of 40 to 50 kDa that consists of a homodimer of polypeptides. It controls hematopoiesis so that it increases natural immunity. In the mouse, IL‐5 acts on committed B cells to induce differentiation into Ig‐producing cells and on common progenitors for CD5+ pre‐B cells and CD5+ macrophages to support their survival. The (...) antibodies secreted by CD5+ B cells seem to be responsible for the primary protection against the infection with microorganisms or parasites. It also supports the growth and/or differentiation of eosinophil precursor and mature eosinophils, which can be effective for the removal of parasites in combination with the antibodies against them. Murine IL‐5 receptor (IL‐5R) consists of two different polypeptide chains; αL chain and β chain. The IL‐5R α chain is 60 kDa protein that binds IL‐5 with low affinity. The IL‐5R β chain is a 130 kDa protein which does not bind IL‐5 by itself but is necessary to form the high affinity IL‐5R. The β chain was identified by using one of the anti‐IL‐5R mAb and anti‐IL‐3R mAb as the IL‐3R homologue. This β chain is also used as the β chain of GM‐CSF receptor. This fact suggests that there is a common signaling mechanism among these cytokines and efficient cooperation among them. At the same time, these findings may explain the overlapping role of these cytokines in the development of granulocytes. (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.

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)

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

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)

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.

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)

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)

The Genesis of the Social and the Carnal Donation of the Non-Presentable. The Range of the Notion of Institution in Merleau-PontyThis article examines the range of the notion of institution that Merleau-Ponty proposes in his course at the Collège de France (1954-55), by notably insisting on the importance of the question of the genesis of the social for the deepening of his thought. By broadening his investigative domains in two complementary directions (that is, lateral passivity and socio-historical institution), Merleau-Ponty aims (...) in this course to grasp in a better way the lateral relations of our Urstiftung (originary institution) and the instituting subject who obliquely goes beyond the institution towards its sense. That leads him to introduce the perceptual field as being essentially lacunary, because it marks a place where the consciousness is present at the divergence in relation to consciousness. It is certain that the Phenomenology of Perception addressed this question by considering the social as a place where “I am given to myself”. However, the psychological starting point of this work, as well as the originary temporal and unilateral character of radical reflection, prevented one from really grasping the institutional junction of the concrete event and the symbolic matrix. One was not able to thematize an auto-articulation which appears suddenly between radical reflection and the unreflective. This is why Lévi-Strauss’ structuralist thought, by considering the social as symbolism, allows for a better understanding of this institutional nexus. But this idea does not lead to the dogmatic positing of the reality and the autonomy of the social. Instead, it encourages us to practice “the perception of history,” which consists in guessing, in the very process of sociological idealization, the carnal and wild donation of the non-presentable. Far from returning to psychologism, this perception aims at actively achieving the movement internal to the symbolic, that is, its incarnation.La genesi del sociale e la donazione carnale del non-presentabile. La portata della nozione di istituzione in Merleau-PontyQuesto articolo esamina la portata della nozione d’istituzione che Merleau-Ponty propone nel suo corso al Collège de France del 1954-1955, insistendo in particolare sull’importanza della questione della genesi del sociale per l’approfondimento del suo pensiero.Estendendo i propri domini di ricerca in due direzioni complementari (la passività laterale e l’istituzione socio-storica), Merleau-Ponty si propone in questo corso di cogliere meglio i rapporti laterali della nostra Urstiftung (l’istituzione originaria) e del soggetto istituente che la supera obliquamente in direzione del suo senso. Ciò induce a presentare il campo percettivo come essenzialmente lacunoso, poiché manca di un luogo dove la coscienza possa assistere allo scarto rispetto a se stessa.È certo che la Fenomenologia della percezione affrontava questa questione considerando il sociale come un luogo dove “io sono donato a me stesso”. I presupposti psicologici di quest’opera, così come il carattere originariamente temporale e unilaterale della riflessione radicale, impedivano tuttavia di cogliere in maniera adeguata il legame istituzionale dell’evento concreto e della matrice simbolica, e di tematizzare un’autoarticolazione che sorgesse tra la riflessione radicale e l’irriflesso.È per questo motivo che il pensiero strutturalista di Lévi-Strauss, che considerava il sociale come simbolismo, permette di comprendere meglio questo nesso istituzionale. Quest’idea non conduce però a porre dogmaticamente la realtà e l’autonomia del sociale, essa incita piuttosto a praticare “la percezione della storia” che consiste nell’individuare, nel processo stesso dell’idealizzazione sociologica, la donazione carnale e selvaggia del non-presentabile. Lungi dal rappresentare un ritorno allo psicologismo, questa nozione di percezione mira a completare attivamente il movimento interno al simbolico, ovvero la sua incarnazione. (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)

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)

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.

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)

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)

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)

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)

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)