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)

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)

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...) is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

The discovery of the signal peptides that direct proteins to localize at the nucleolus is described here. The nucleolar targeting signal termed the NOS consists of clustered basic amino acids organized such that a portion also functions as the nuclear transporting signal. Although a NOS has been identified within the regulatory genes of human retroviruses, HTLV‐I and HIV‐I, signals of similar function in cellular proteins – such as heat shock proteins – may be induced through the configurational change of protein (...) structure by heat or stress. (shrink)

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (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)

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.

In Japan, terminating life-sustaining treatment in non-terminal patients is legally and ethically problematic given the lack of legal regulations regarding the termination of LST, including dialysis treatment. This article describes an ethically problematic case that happened at a hospital in Tokyo in March 2019, in which a patient died after a physician withdrew kidney dialysis upon the patient’s request. Most national newspapers in Japan reported the case extensively and raised the question of ethical and legal permissibility of withdrawing dialysis treatment (...) from non-terminal patients. In this article, we first examine the case within the current policy framework in Japan and then discuss how Japan can improve its end-of-life practice, focusing specifically on the patient’s right to self-determination and treatment refusal. We recommend that policymakers consider legalizing the termination of LST and the patient’s right to refuse treatment based on the principle of respect for autonomy. (shrink)

Specular reflections and refractive distortions are complex image properties of solid transparent objects, but despite this complexity, we readily perceive the 3D shapes of these objects. We have found in past work that relevant sources of scene complexity have differential effects on 3D shape perception, with specular reflections increasing perceived thickness, and refractive distortions decreasing perceived thickness. In an object with both elements, such as glass, the two optical properties may complement each other to support reliable perception of 3D shape. (...) We investigated the relative dominance of specular reflection and refractive distortions in the perception of shape. Surprisingly, the ratio of specular reflection to refractive component was almost equal to that of ordinary glass and ice, which promote correct percepts of 3D shape. The results were also explained by the variance in local RMS contrast in stimulus images but may depend on overall luminance and contrast of the surrounding light field. (shrink)

Background Physical restraints are routinely employed to ensure patient safety in Japanese acute care. Little is known about nursing students' perspectives and how they begin to question their value and knowledge in the face of restraint experiences in clinical practice. Objective To investigate nursing students’ questions about patient restraints and how they understand the ethics of the use of restraints in nursing. Research design Qualitative descriptive research using narrative analysis. Participants and research context Experiential data were generated and thematically analyzed (...) from semi-structured interviews with 16 nursing students who had completed their bachelor’s degree program requirements. Ethical considerations The study was approved by academic and clinical ethics agencies. Participants provided written informed consent. Results Physical restraints were encountered in 16 incidents, 3 with children and 13 with older patients with dementia. Students struggled to comprehend the policies and protocols of restraint use and worried their use was primarily for security rather than therapeutic purposes. Five themes were identified: (1). Questioning the tension between person-centered care, patient autonomy, and restraints, (2). Questioning the nature of restraints in which participants analyzed the policies and protocols around restraint use, (3). Questioning the professional nursing self whereby students reflected on how restraint use challenged their nursing values, and (4). Questioning professional nursing practice, in which students explored how restraints fit within a nursing perspective and positioned themselves as patient advocates. Students encountering physical restraints should ask questions based on values of patient-centeredness, autonomy, and advocacy. There is a need for education that facilitates reflection and questioning so that it informs students’ ethical thinking which may enhance nurse advocacy to reduce restraint use. Conclusions Restraints provide contexts in which students must face tensions between nursing values and clinical reality. Further research on nursing education strategies within non-psychiatric settings is needed to reduce physical restraints. (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)

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

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

To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...) and cultural events, including neighborhood and church gatherings, holiday parties, children’s activities, school tours, concerts, health fairs, and voter registration drives. In some cases, the gardens also serve to promote community activism. The primary concern of gardeners is to secure land tenure in the face of pressures to develop the garden sites for housing. The support organizations and agencies provide help with land tenure, as well as with advocacy, organization, and horticultural practices. Although the role of the Latino gardens in community development appears to be more important than their role in open space or agricultural production, the gardens can also be viewed as unique “participatory landscapes” that combine aspects of all three movements, as well as provide a connection between immigrants and their cultural heritage. (shrink)

We give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins. In order to extend the Jónsson‐Tarski representation to non‐normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem for modal algebras, and to deal with infinite meets and joins, we make use of Q‐filters, which were introduced by Rasiowa and Sikorski, instead of prime filters. By means of the (...) extended representation theorem, we show that every predicate modal logic, whether it is normal or non‐normal, has a model defined on a neighborhood frame with constant domains, and we give a completeness theorem for some predicate modal logics with respect to classes of neighborhood frames with constant domains. Similarly, we show a model existence theorem and a completeness theorem for infinitary modal logics which allow conjunctions of countably many formulas. (shrink)