“Atsumori” is a Noh play composed by master playwright Zeami sometime before 1423, featuring characters from the Tales of the Heike. Although popular to this day, the philosophical significance of the play remains underdeveloped and underappreciated. Prima facie, it features a ghost who is liberated thanks to the sincere prayer of the priest who killed him. Simplistic reading would yield simplistic understanding of the characters and their dynamism, and would fail to appreciate, for instance, the agency of the ghost or (...) the liberation of the priest. Accordingly, some regard the play as falling short of the highest aesthetic value, insofar as its protagonist fails to attain liberation through his own effort. Some even contend that the ulterior purpose of the play is to portray ghosts as powerless and desperate so that vanquishers need not fear vengeful ghosts. While it is possible that Zeami indeed held such ulterior intention and regarded it as second rank for the protagonist’s lack of agency, I shall present a different reading that would yield a richer appreciation of the characters and their dynamism. I do so by regarding the “friendship of dharma” that occurs at the culmination of the play as “existential communion” as presented in Tanabe Hajime’s later philosophy. That is, the play need not be read as a story about a living priest saving a dead warrior—it can be read as about two lost souls saving each other, through mutual acceptance, mutual sacrifice, and collaborative mediation of the Absolute. For this purpose, the paper first delineates Tanabe’s later philosophy with a focus on the idea of existential communion. Then it introduces “Atsumori” and discusses its philosophical significance. An impasse due to the scope of the play will be identified, which I call “the problem of epistemic authority,” and to fill the gap I will introduce and discuss another spin-off story featuring Atsumori. The paper intends to offer a philosophically richer reading of the play to invite readers to think deeply and creatively about Noh. (shrink)

In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was initially valid when it was made, might later become invalid. Furthermore, in the process of replanning, it is necessary to take into account the side effects of actions already executed. Nowadays, HTN planning is becoming popular among agent researchers because its task decomposition algorithm is efficient and suitable (...) for joint planning in multi-agent systems. However, the dynamic replanning algorithm of HTN planning has not yet been established. In order to solve this problem, we have previously presented an agent life cycle that integrates HTN planning, action execution, knowledge updates, and plan modification. In that agent life cycle, the plans are always kept valid according to the most recent knowledge and situation. However, when one plan does not work and the agent starts using an alternative plan, it sometimes undoes some actions that do not have to be undone. The source of this problem lies in the need to have total-order plans. In other words, all the actions have to be sequentially ordered even when the order is not important in some parts of the plan. This paper extends our previous agent life cycle and presents new ways to avoid unnecessary action cancellation. This enables the agent to handle partial-order plans and to make use of two kinds of undoing actions: sequential undoing actions and concurrent undoing actions. (shrink)

This paper offers an explanation of how collaboration leads to abstract and flexible problem solving. We asked the individual and paired subjects to indicate 3/4 of 2/3 of the area of a square sheet of paper and found that (1) they primarily folded or partitioned the paper rather than algorithmically calculating the answer, (2) they strongly tendened to backtrack and confirm their proto‐plans on externalized traces such as creases on the paper, and (3) only the paired subjects shifted to the (...) mathematical strategy in their second trials. Based on these results, we propose that two factors, individuals' activeness in choosing and confirming the initial strategies and the frequent role exchange between task‐doing and monitoring in collaborative situations, interact in collaboration to generate various solutions differing in the degree of abstraction, which are then reflected upon by the participants to lead them to abstraction. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

中世から近世に移るカオスの中で人びとはどのように生き、社会の中で思想を形成していったか。本書はそこにみられる、近代が切り捨ててきた、人と人とのつながりを真摯に追求する。.

Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.

This article introduces English translations of Tanabe’s two essays entitled “Moral Freedom” and “On Moral Freedom Revisited.” In these essays, Tanabe tries to understand the unity of the contradictory division between freedom and necessity, while remaining truthful to the moral experience. Freedom is ultimately characterized as ideality that we ought to realize in reality, while the stage of religion constitutes the ultimate end of such moral struggles. Tanabe does not clearly work out how the continuity of the freedom-necessity discontinuity is (...) possible in these essays. Nevertheless, we can gain insight into the early stages of Tanabe’s practical metaphysics that culminate in his mature works on the philosophy of religion. The translators’ introduction will highlight these points and also provide a brief description of the historical background in which the publication of these texts took place in 1917. (shrink)

This paper presents the first English translation of one of Tanabe’s early essays on Kant. Tanabe marks the occasion of the first translation of the Critique of Practical Reason into Japanese by providing his reflections on Kant’s theory of freedom in this essay. This creative essay by Tanabe represents the hallmark Kyoto School interpretation of Kant. Tanabe weaves his account of Kant with elements from other philosophers in an attempt to think systematically about the nature of freedom. He agrees with (...) Kant that morality itself “rises and falls” with the idea of freedom; however, Tanabe also tries to rescue some of the pitfalls he sees in Kant’s theory by reconstructing Kant’s account. In this brief, but rich essay, Tanabe unfolds one of the more creative aspects of his philosophy through Kant. (shrink)

We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas.

In Western countries, the ideal professional and ethical attributes of healthcare providers and the ideal patient-doctor relationship have been analysed in detail. Other cultures, however, may have different norms, arising in response to diverse healthcare needs, cultural values and offering alternative perspectives. In this paper, drawing a case study, we introduce the concept of Shinmi, used in Japan to describe a desirable approach to medical care. Shinmi means kind or cordial in Japanese. In the medical context, it refers to doctors (...) treating patients with a degree of emotional closeness as if they were the doctors’ own family. We analyse the concept of Shinmi, drawing on virtue ethics. We distinguish two different elements to a Shinmi-na attitude. As illustrated in our example, excessive Shinmi can be problematic for patients and doctors. Furthermore, elements of Shinmi may conflict with existing Western values (for example, norms that encourage emotional detachment and discourage doctors’ treatment of family members). However, if pursued appropriately, we argue that a balanced Shinmi-na approach can be conducive to the goals of medicine. The concept of Shinmi may be valuable for medical students, in Japanese and potentially other health care systems, and help them to cultivate a virtuous approach to meeting the emotional needs of patients. (shrink)

This article proposes a methodological schema for engaging in a productive discussion of ethical issues regarding human brain organoids, which are three-dimensional cortical neural tissues created using human pluripotent stem cells. Although moral consideration of HBOs significantly involves the possibility that they have consciousness, there is no widely accepted procedure to determine whether HBOs are conscious. Given that this is the case, it has been argued that we should adopt a precautionary principle about consciousness according to which, if we are (...) not certain whether HBOs have consciousness—and where treating HBOs as not having consciousness may cause harm to them—we should proceed as if they do have consciousness. This article emphasizes a methodological advantage of adopting the precautionary principle: it enables us to sidestep the question of whether HBOs have consciousness and, instead, directly address the question of what kinds of conscious experiences HBOs can have, where the what-kind-question is more tractable than the whether-question. By addressing the what-kind-question, we will be able to examine how much moral consideration HBOs deserve. With this in mind, this article confronts the what-kind-question with the assistance of experimental studies of consciousness and suggests an ethical framework which supports restricting the creation and use of HBOs in bioscience. (shrink)

This volume contains a selection of papers presented at the special workshop "Truth and Objectivity in Law and Morals," held at the 26th World Congress of the IVR. The papers deal with diverse but correlated issues such as the search for truth in and through legal argumentation; the intelligible character of rules inside theories of interpretation which guarantee the coherence and the integrity of law; the role of hermeneutic analysis in the construction of the objectivity of law; the procedural and (...) contextual aspects of objectivity in legal reasoning; the role of objectivity in the distinction between the context of justification and the context of discovery; the problem about truth of normative propositions and legal statements; the incompatibility of non factualism with the traditional account of validity and legality; as well as the possibility of objectivity in morals. (shrink)

In their target article, Peterson et al. discuss the intriguing prospect of using psychedelics as a treatment for patients with Alzheimer’s Disease and Related Dementias (AD/ADRD) (Peterson et al....

"Tanabe's agenda was not religious but philosophical in that he tried to integrate Eastern and Western insights in order to acquire a cross-cultural philosophical vision for the post-war world community.... This book shows his superior philosophical originality.... It is high time that Tanabe's thought should be introduced to the West."—Joseph Kitagawa, University of Chicago.

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such (...) systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods. (shrink)

Located in a settler-Australian tertiary education institution we develop a worldly or mundane approach to working in and between institutions enacting two distinct world philosophies. We engage with the epistemics embedded and expressed in the functioning of modern institutions committed to a naturalistic scientific world. And albeit to a more limited extent we engage with epistemics embedded in and expressed by institutions framed and ordered by collectively enacting intentions of Eternal World-Making Beings of Yolngu Aboriginal Australian lands and peoples.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

This paper focuses on a water management project in the remote Aboriginal community of Milingimbi, Northern Australia. Drawing on materials and experiences from two distinct stages of this project, we revisit a policy report and engage in ethnographic storytelling in order to highlight a series of sensing practices associated with water management. In the former, a working symmetry between Yolngu and Western water knowledges is actively sought through the practices of the project. However, in the latter, recurrent asymmetries in the (...) research work continue to appear: a bilingual diagram of water usage is displayed but produces confusion; measuring a water hole for salinity, a member of the scientific team throws in a water meter, while a Yolngu elder prefers the telling of an ancestral story; a collaborative 3-D mapping exercise invites participation from community members but struggles to develop an outcome that differs from existing maps used by scientists and government staff. Focusing on these moments as subtle points of rupture, we suggest that attending to “seeing,” “telling,” and “mapping” in both stages of this water management project offers a way to explore the political work of crafting climate futures and beginning to interrogate differing means for “doing difference” within them. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.

Considerando as mudanças que ocorreram no contexto histórico-social e também na pesquisa em Educação no Brasil a partir da década de 1990, este estudo analisou a produção científica do PPGE-UFSCar, tendo como objeto 55 teses defendidas na Área de Fundamentos da Educação, entre 1993 e 2007, submetidas à análise bibliométrica e epistemológica, objetivando determinar qual o paradigma foi predominante no período. O resultado revelou que o Marxismo foi utilizado em mais de 60% das pesquisas; e também identificou a presença de (...) tendências pós-modernas fundamentando 17 teses e da Fenomenologia em 3 teses. (shrink)

We associate with any game G another game, which is a variant of it, and which we call . Winning strategies for have a lower recursive degree than winning strategies for G: if a player has a winning strategy of recursive degree 1 over G, then it has a recursive winning strategy over , and vice versa. Through we can express in algorithmic form, as a recursive winning strategy, many common proofs of non-constructive Mathematics, namely exactly the theorems of the (...) sub-classical logic Limit Computable Mathematics [6], Hayashi and Nakata [7]). (shrink)

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

Uniform sequential continuity, a property classically equivalent to sequential continuity on compact sets, is shown, constructively, to be a consequence of strong continuity on a metric space. It is then shown that in the case of a separable metric space, uniform sequential continuity implies strong continuity if and only if one adopts a certain boundedness principle that, although valid in the classical, recursive and intuitionistic setting, is independent of Heyting arithmetic.