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)

This essay is one of three responses to Casper Bruun Jensen's article “Experiments in Good Faith and Hopefulness: Toward a Postcritical Social Science,” published in the Spring 2014 issue of Common Knowledge. Jensen suggested that the postcritical mode of knowledge production should focus on a continuous and persistent analytical effort to resist despair by “insisting properly.” This commentary, by one of three authors on whom the original article focused, contrasts Jensen's emphasis on insistence with the idea of ethnography as response. (...) The reconceptualization of ethnographic work as response can have various and divergent consequences, some of which are explored here with reference to the author's own ethnographic research on indigenous Fijian gift-giving and Japanese financial trading. While his immediate interest here is to expose differences in the kinds of openness that insistence and response afford, he concludes that willingness to respond is more basic to anthropology than the ethnographer's cultivation of the internal strength required to keep anthropology going as an enterprise. (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)

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)

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

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)

「法の支配に基づく実践理性の制度化」という法構想の基本的な方向をさぐり、その全体的な理論枠組を再構築する意欲的論文集。.

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)

The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

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)

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)

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)

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)

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)