One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic. It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay (...) by Dunn. Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions to computer science, such as knowledge representation and information processing. This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general. (shrink)

In this introduction to the special issue “40 years of FDE”, we offer an overview of the field and put the papers included in the special issue into perspective. More specifically, we first present various semantics and proof systems for FDE, and then survey some expansions of FDE by adding various operators starting with constants. We then turn to unary and binary connectives, which are classified in a systematic manner. First-order FDE is also briefly revisited, and we conclude by listing (...) some open problems for future research. (shrink)

We observe that Jc Beall’s shrieking and shrugging strategy gives us an opportunity to reflect on the Australian plan for negation in FDE, a basic subclassical logic that is used in Beall’s argument for subclassical logics. An implication of our observation is applied to a recent defense of the Australian plan for negation by Francesco Berto and Greg Restall.

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

Self-compassion, sharing some commonalities with positive psychology 2.0 approaches, is associated with better mental health outcomes in diverse populations, including workers. Due to the COVID-19 pandemic, there is heightened awareness of the importance of self-care for fostering mental health at work. However, evidence regarding the applications of self-compassion interventions in work-related contexts has not been systematically reviewed to date. Therefore, this systematic review aimed to synthesize and evaluate the utility of self-compassion interventions targeting work-related well-being, as well as assess the (...) methodological quality of relevant studies. Eligible articles were identified from research databases including ProQuest, PsycINFO, Science Direct, and Google Scholar. The quality of non-randomized trials and randomized controlled trials was assessed using the Newcastle-Ottawa Scale and the Quality Assessment Table, respectively. The literature search yielded 3,387 titles from which ten studies met the inclusion criteria. All ten studies reported promising effects of self-compassion training for work-related well-being. The methodological quality of these studies was medium. All ten studies recruited workers in a caring field and were mostly conducted in Western countries. The Self-Compassion Scale or its short-form was used in almost all instances. Findings indicate that self-compassion training can improve self-compassion and other work-related well-being outcomes in working populations. However, in general, there is need for greater methodological quality in work-related self-compassion intervention studies to advance understanding regarding the applications and limitations of this technique in work contexts. Furthermore, future studies should focus on a broader range of employee groups, including non-caring professions as well as individuals working in non-Western countries. (shrink)

Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics (...) is that the connectives have the same meanings in these systems, so that the meaning‐variance argument is straightforwardly blocked. We discuss the effects of this semantics for two uses of the argument of meaning variance, and also consider its impact on related issues. (shrink)

BackgroundHealthcare professionals use the ethics of justice and care to construct moral reasoning. These ethics are conflicting in nature; different value systems and orders of justice and care are applied to the cause of actual moral conflict. We aim to clarify the structure and factors of healthcare professionals’ moral conflicts through the lens of justice and care to obtain suggestions for conflict resolutions.MethodSemi-structured interviews about experiences of moral conflict were conducted with Japanese nurses recruited using the snowball sampling method. Interviews (...) were conducted based on the real-life moral conflict and choice interview. Interviews were recorded and transcribed verbatim, then analyzed based on the interpretive method of data analysis. Verbatim transcripts were read four times, first to get an overall sense of the conflict, then to understand the person’s thoughts and actions that explain the conflict, and third and fourth to identify perspectives of justice and care, respectively. Each moral perspective was classified into categories according to Chally’s taxonomy.ResultsAmong 31 responses, 2 that did not mention moral conflict were excluded, leaving 29 responses that were analyzed. These responses were classified into six cases with conflict between both justice and care perspectives or within one perspective, and into two cases without conflict between perspectives. The “rules” category of justice and the “welfare of others” category of care were included in many cases of conflict between two perspectives, and they frequently occurred in each perspective.ConclusionsThe nurses in this study suggest that they make moral judgments based on moral values that are intertwined with justice and care perspectives complex manner.Organizational, professional, and patient-related factors influenced conflicts between justice and care. Additionally, multiple overlapping loyalties created conflicts within justice perspectives, and multifaceted aspects of care-provider’s responsibility and patient need created conflicts within care. Decision-making biased towards one perspective can be distorted. It is important to consider ethical issues from both perspectives to resolve conflicts, especially the effective use of the ethics of care is recommended. (shrink)

In [1] Béziau developed the paraconsistent logic Z, which is definitionally equivalent to the modal logic S5, and gave an axiomatization of the logic Z: the system HZ. In the present paper, we prove that some axioms of HZ are not independent and then propose another axiomatization of Z. We also discuss a new perspective on the relation between S5 and classical propositional logic with the help of the new axiomatization of Z. Then we conclude the paper by making a (...) remark on the paraconsistency of HZ. (shrink)

Ethics is a device which is produced by the human consciousness to regulate the human behaviour or society in a sound manner. Organisms are manipulated by techniques of molecular biology these days. Then, it is so difficult to recognize the problems of life manipulation by the ethical principle raised by our sensing level. To regulate the society greatly influenced by modern life sciences, it is time to utilize the mechanistic knowledge about organisms as a basic principle of ethics (Molecular ethics). (...) Molecular ethics is not an ethics produced only by the humane logic, but adopts the property of genome operating system (OS) as a core principle clarified by the molecular biology. It is substantiated by life sciences, but is not a simple scientific decision-making means. It promotes scientific experiments with the integrity to knowledge. Scientific knowledges are projections of the rule of life. Molecular ethics is an ethics which seeks for the rules of evolution; i.e. rules for transcending human being. On the other hand, traditional ethics (individual ethics; ethics based on indivisualism) is an ethics which regards present human being as a terminus of evolution. In this respect, this is against the principle of genome OS (system of evolution). Life sciences and technologies has been developing to meet our wants, however, those activities nowadays seem to be against those rules of genome OS. Therefore, it is extremely important for us to consider the ethics applicable for the life manipulation era. (shrink)

Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell’s paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there (...) is a way to handle classical negation. (shrink)

We show that there is a simple derivation of triviality with very few assumptions involving the formula that the negated conditional entails the antecedent of the conditional.

In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox to n-tuple semantics, for each fixed n. Moreover, we show that the resulting semantics can accommodate not only LP, but also classical logic as well as strong Kleene logic depending on the set of designated values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced (...) by Clemens. (shrink)

A murder case that had some features in common with the Tarasoff case occurred in Sasebo City, Japan, in 2014. A 15-year-old high school girl was murdered and her 16-year-old classmate was arrested on suspicion of homicide. One and a half months before the murder, a psychiatrist who had been examining the girl called a prefectural child consultation centre to warn that she might commit murder, but he did not reveal her name, considering it his professional duty to keep it (...) confidential. Article 134 of the Japanese Criminal Law states that doctors should not disclose patient information obtained in clinical practice without a legitimate reason, but the Japanese Supreme Court has not specified what constitutes a legitimate reason. Mass media and commentators suggested that the murder could have been prevented if the psychiatrist had disclosed the girl's name to the authorities or had isolated her coercively in a psychiatric ward. However, the authors disagree with such claims. This article discusses obligations imposed on concerned individuals and third party members in cases involving ethical dilemmas regarding patient confidentiality and information disclosure. It is concluded that everyone should fulfill their obligations to prevent such tragedies and one should judge the appropriateness of others’ actions based not on the consequences of their actions, but on the processes used to decide on a course of action and their commitment. It is necessary for us to establish a society in which concerned parties can do what they think is ethically best without fearing ungrounded charges. (shrink)

We outline the rather complicated history of attempts at axiomatizing Jaśkowski’s discussive logic $$\mathbf {D_2}$$ D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing $$\mathbf {D_2}$$ D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of $$\mathbf {D_2}$$ D2 in the language Jaśkowski suggested in his second paper on discussive logic, by (...) following a remark of da Costa and Dubikajtis. We also deal with an interesting variant of $$\mathbf {D_2}$$ D2, introduced by Ciuciura, in which negation is also taken to be discussive. (shrink)

The present note offers a proof that systems developed by Majkić are actually extensions of intuitionistic logic, and therefore not paraconsistent.

In a recent article, Mario Günther presented a conditional that is claimed to be connexive. The aim of this short discussion note is to show that Günther’s claim is not without problems.

In Japan, few studies and ethical debates have addressed medical futility, but articles suggesting the practice of such treatment exist. The present study aimed to explore attitudes about this by examining personal practical experiences of those who have been involved in judging treatments as futile. We employed a qualitative descriptive design with content analysis of semi-structured and focus group interviews with 11 Japanese physicians and 9 nurses of a university hospital in Japan. The interviews mined their practical experience to identify (...) why they provided treatment that was regarded futile, factors for determining futility, and attitudes toward foregoing futile treatments. All participants had provided treatments judged as futile for various reasons, such as patient request, inadequate decision-making processes, request from another physician, and the lack of standards with which to judge futility, among others. In addition to medical science factors , participants also considered non-medical science factors to determine if a treatment was futile. Almost all participants agreed that futility should be defined and that such treatments should be foregone, but they did not take a proactive stance towards this due to factors related to the healthcare worker‟s situation or the patient. Although the implications of the present study are somewhat limited, our results indicate that futile treatments are provided at multiple treatment departments. Health-care workers employ a variety of factors to determine futility, including non-medical science factors. As provision of such treatment is not always performed for reasons of patient autonomy, diverse approaches should be employed to cope with situations regarding futile treatments. (shrink)

Empirical surveys about medical futility are scarce relative to its theoretical assumptions. We aimed to evaluate the difference of attitudes between laypeople and physicians towards the issue. A questionnaire survey was designed. Japanese laypeople (via Internet) and physicians with various specialties (via paper-and-pencil questionnaire) were asked about whether they would provide potentially futile treatments for end-of-life patients in vignettes, important factors for judging a certain treatment futile, and threshold of quantitative futility which reflects the numerical probability that an act will (...) produce the desired physiological effect. Also, the physicians were asked about their practical frequency and important reasons for futile treatments. 1134 laypeople and 401 (80%) physicians responded. In all vignettes, the laypeople were more affirmative in providing treatments in question significantly. As the factors for judging futility, medical information and quality of life (QOL) of the patient were rather stressed by the physicians. Treatment wish of the family of the patient and psychological impact on patient side due to the treatment were rather stressed by laypeople. There were wide variations in the threshold of judging quantitative futility in both groups. 88.3% of the physicians had practical experience of providing futile treatment. Important reasons for it were communication problem with patient side and lack of systems regarding futility or foregoing such treatment. Laypeople are more supportive of providing potentially futile treatments than physicians. The difference is explained by the importance of medical information, the patient family’s influence to decision-making and QOL of the patient. The threshold of qualitative futility is suggested to be arbitrary. (shrink)

In this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows (...) us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore. (shrink)

One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos. The characteristic notion in these systems is the so-called consistency operator which, roughly speaking, indicates how gluts are behaving. One natural question then is to ask if we can let not only gluts but also gaps be around (...) and generalize the notion of consistency into classicality. This is already considered by Andréa Loparić and da Costa in the style of C-systems. The aim of this paper is to develop a family of systems that generalizes the system of Loparić and da Costa which may be called logics of formal classicality. (shrink)

Previous research has shown that although infants follow the gaze direction of robots, robot gaze does not facilitate infants’ learning for objects. The present study examined whether robot gaze affects infants’ object learning when the gaze behavior was accompanied by verbalizations. Twelve-month-old infants were shown videos in which a robot with accompanying verbalizations gazed at an object. The results showed that infants not only followed the robot’s gaze direction but also preferentially attended to the cued object when the ostensive verbal (...) signal was present. Moreover, infants showed enhanced processing of the cued object when ostensive and referential verbal signals were increasingly present. These effects were not observed when mere nonverbal sound stimuli instead of verbalizations were added. Taken together, our findings indicate that robot gaze accompanying verbalizations facilitates infants’ object learning, suggesting that verbalizations are important in the design of robot agents from which infants can learn. Keywords: gaze following; humanoid robot; infant learning; verbalization; cognitive development. (shrink)

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

Metabolic dysfunction is a ubiquitous underlying feature of many neurological conditions including acute traumatic brain injuries and chronic neurodegenerative conditions. A central problem in neurological patients, in particular those with traumatic brain injuries, is an impairment in the utilization of glucose, which is the predominant metabolic substrate in a normally functioning brain. In such patients, alternative substrates including ketone bodies and lactate become important metabolic candidates for maintaining brain function. While the potential neuroprotective benefits of ketosis have been recognized for (...) up to almost a century, the majority of work has focused on the use of ketogenic diets to induce such a state, which is inappropriate in cases of acute disease due to the prolonged periods of time (i.e., weeks to months) required for the effects of a ketogenic diet to be seen. The following review seeks to explore the neuroprotective effects of exogenous ketone and lactate preparations, which have more recently become commercially available and are able to induce a deep ketogenic response in a fraction of the time. The rapid response of exogenous preparations makes their use as a therapeutic adjunct more feasible from a clinical perspective in both acute and chronic neurological conditions. Potentially, their ability to globally moderate long-term, occult brain dysfunction may also be relevant in reducing lifetime risks of certain neurodegenerative conditions. In particular, this review explores the association between traumatic brain injury and contusion-related dementia, assessing metabolic parallels and highlighting the potential role of exogenous ketone and lactate therapies. (shrink)

The aim of this paper is to highlight how business schools can improve the ethical behaviour of future managers. It assesses the positions of ethical judgement and ethical intent within a sample of UK business students, together with an analysis of underlying explanatory factors to those positions, such as levels of depression, anxiety, stress, motivation and self-compassion. A range of scales were used to evaluate the ethical stance and psychological characteristics of a group of UK business students. The results indicate (...) that feelings of self-compassion, a sense of self-direction and mental health affect the ethical judgement and intent of students in a range of business and university scenarios. It is recommended that in addition to more formal ethics education, universities consider the mental health and psyche of their students to improve the efficacy of ethical training. (shrink)

In his “The simple argument for subclassical logic,” Jc Beall advances an argument that led him to take FDE as the one true logic (the latter point is explicitly made clear in his “FDE as the One True Logic”). The aim of this article is to point out that if we follow Beall’s line of reasoning for endorsing FDE, there are at least two additional reasons to consider that FDE is too strong for Beall’s purposes. In fact, we claim that (...) Beall should consider another weaker subclassical logic as the logic adequate for his project. To this end, we first briefly present Beall’s argument for FDE. Then, we discuss two specific topics that seem to motivate us to weaken FDE. We then introduce a subsystem that will enjoy all the benefits of Beall’s suggestion. (shrink)