1 Buddhist-Christian Dialogue: Its Significance and Future Task1 The contemporary world is rapidly shrinking due to the remarkable advancement of science ...

: Lately there is more attention paid to technological development in intelligent tutoring systems. This field is becoming an interesting topic to many researchers. In this paper, we are presenting an intelligent tutoring system for teaching DES Information Security Algorithm called DES-Tutor. The DES-Tutor target the students enrolled in cryptography course in the department Information Technology in Al-Azhar University in Gaza. Through DES-Tutor the student will be able to study course material and try the exercises of each lesson. An evaluation (...) of the DES-Tutor was carried out and the results were promising. (shrink)

Three multifunctional protein kinases, cyclic AMP‐dependent protein kinase, protein kinase C, and calmodulin‐dependent protein kinase II, are involved in signal transduction in response to their respective second messengers, cyclic AMP, diacylglycerol, and Ca2+. This review will summarize the key findings on calmodulin‐dependent protein kinase II.

Abe Kobo (1924-1993) was one of Japan's greatest postwar writers, widely recognized for his imaginative science fiction and plays of the absurd. However, he also wrote theoretical criticism for which he is lesser known, merging literary, historical, and philosophical perspectives into keen reflections on the nature of creativity, the evolution of the human species, and an impressive range of other subjects. Abe Kobo tackled contemporary social issues and literary theory with the depth and facility of a visionary thinker. Featuring twelve (...) essays from his prolific career--including "Poetry and Poets (Consciousness and the Unconscious)," written in 1944, and "The Frontier Within, Part II," written in 1969--this anthology introduces English-speaking readers to Abe Kobo as critic and intellectual for the first time. Demonstrating the importance of his theoretical work to a broader understanding of his fiction--and a richer portrait of Japan's postwar imagination--Richard F. Calichman provides an incisive introduction to Abe Kobo's achievements and situates his essays historically and intellectually. (shrink)

Continuous deep sedation (CDS) has the effect of making the patient unconscious until death, and that it has this effect is clearly an undesirable aspect of CDS. However, some authors have recently maintained that many physicians do not intend this effect when practicing CDS. According to these authors, CDS is differentiated into two types; in what is called “gradual” CDS (or CDS as a result of proportionate palliative sedation), physicians start with low doses of sedatives and increase them only gradually, (...) whereas in “rapid” CDS (or palliative sedation to unconsciousness), physicians rapidly administer a heavy dose that clearly induces unconsciousness from the beginning. The claim is that the physicians intend permanent unconsciousness only if they rapidly administer a heavy dose, but they do not intend it when the unconsciousness is the result of a gradual increase of sedatives. This paper attempts to refute these claims based on a close examination of the protocol of gradual CDS. If my argument is valid, the doctrine of double effect would not be useful in justifying most, if not all, cases of CDS. (shrink)

We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...) the logic of classical implication and a paraconsistent de Morgan negation of Zaitsev. (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)

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.

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)

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)

Abed Azzam offers a fresh interpretation of Nietzsche's engagement with the work of Paul the Apostle, reorienting the relationship between the two thinkers while embedding modern philosophy within early Christian theology. Paying careful attention to Nietzsche's dialectics, Azzam situates the philosopher's thought within the history of Christianity, specifically the Pauline dialectics of law and faith, and reveals how atheism is constructed in relation to Christianity. Countering Heidegger's characterization of Nietzsche as an anti-Platonist, Azzam brings the philosopher closer to Paul through (...) a radical rereading of his entire corpus against Christianity. This approach builds a compelling new history of the West resting on a logic of sublimation, from ancient Greece and early Judaism to the death of God. Azzam discovers in Nietzsche's philosophy a solid, tangible Pauline structure and virtual, fragile Greek content, positioning the thinker as a forerunner of the recent "return to Paul" led by Badiou, Agamben, Žižek, and Breton. By changing the focus of modern philosophical inquiry from "Nietzsche and philosophy" to "Nietzsche and Christianity," Azzam initiates a major challenge to the primacy of Plato in the history of Western philosophy and narrow certainties regarding Nietzsche's relationship to Christian thought. (shrink)

カギとなるのは「世間」という存在。西洋史学の第一人者が、日本社会の基底にある根本的な問題を、現代人のために、わかりやすく解き明かす。.

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

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)

There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...) of a sentence is true at a world x just in case all the worlds at which the sentence is true are incompatible with x. Incompatibility is taken to be the key notion in the account, and what minimal properties a negation has comes down to which minimal conditions incompatibility satisfies. Our aims in this paper are twofold. First, we wish to point out problems for the modal account that make us question its tenability on a fundamental level. Second, in its place we propose an alternative, non-modal, account of negation as a contradictory-forming operator that we argue is superior to, and more natural than, the modal account. (shrink)

The hazard of postharvest pest losses is ubiquitous in peasant farming systems; as a result, farmers invariably have some response to the threat of these losses. Responses to postharvest pests may be more extensive than to field pests, even when, by statistical measures, the usual levels of losses are comparable. In studies of pest management practices in three contrasting areas in Kenya, it was found that farmers virtually always rely on an array of techniques and strategies, usually including both older (...) and more modern practices. There is considerable variation among regions in the techniques used, due not only to climatic and socioeconomic factors, but also to variations in cultural history and preferences. The ways in which management practices have changed over time also vary by region. The major changes have been related to overall system change. Four main sources of change have been paramount: (1) population growth and the intensification of land use; (2) the introduction of new cash crops; (3) the introduction of new marketing infrastructure; and (4) the perception of increased environmental risk. Their effect on the replacement of older practices by newer ones is often interrelated. Traditional techniques are often based on materials derived from bushland, but increasing population density makes these difficult to continue as bushland and its common property resources disappear. Simultaneously, tolerance for losses is reduced as land availability is constrained. With the introduction of a cash crop infrastructure, new methods of pest management, especially pesticide use, become more readily available and may spread rapidly. Areas with good market infrastructure but varying population density may still differ considerably because with abundant land it is possible to compensate for expected losses by additional planting.A study of an FAO project to improve postharvest management through earlier harvesting and a redesigned storage crib indicate some reasons for its lack of widespread acceptance. Little or no attempt was made to adapt techniques to varying circumstances; instead, a single “solution” was meant to be applied across areas of vastly different conditions. In many cases, this project represented a radical response to a problem farmers considered they were coping with acceptably using existing methods. Although it probably represents an improvement over traditional storage methods in purely technical terms, the new technique also often involved major costs, readjustments, and cultural disruptions that may not have been anticipated by its designers. More likely to succeed would be a strategy that begins with some of farmers' existing practices and whose objective is to develop and offer a range of possible improvements from which farmers could select individual components appropriate to their conditions and needs. (shrink)

Why do we, today’s people, owe a duty to future generations with whom we will not overlap? In my paper, I aim at answering this question step by step. The first step is to respond to the question why human beings should continue to exist. I try this by critically considering Karl-Otto Apel’s argument for the survival of human beings from the viewpoint of his own discourse ethics. This consideration, however, leads us to the second step where we are faced (...) with the following question : For what reason do we – this particular generation and no other – owe a duty to future people? In order to answer this, I will interpret John Locke’s Two Treatises of Government and Book of Rites, a Chinese classic of Confucianism. From this interpretation, I would like to conclude that we are responsible for future people as far as we are responsible to past generations who delegated such future-oriented responsibility to us. (shrink)

This article questions the degree to which ecological theory can be used as justification for protection of ‘natural environments’ as well as in determining which portions or features of those envi...

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (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 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.

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)

In one of his papers, JC Beall advanced a new and interesting interpretation of Weak Kleene logic, in terms of on-topic/off-topic. In brief, Beall suggests to read the third value as off-topic, whereas the two classical values are read as true and on-topic and false and on-topic. Building on Beall’s new interpretation, the aim of this paper is threefold. First, we discuss two motivations to enrich Beall’s interpretation, and offer an alternative semantic framework that reflects our motivations. Second, by making (...) use of our new framework, we will offer a new interpretation of the logic of Catuskoti which combines Beall’s proposal of having FDE as the correct logic with the on-topic/off-topic divide. Finally, we will offer a general result that will allow us to make sense of a family of infectious logics in terms of Beall’s on-topic/off-topic reading. (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)

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

Recognizing the importance of health‐promoting relationships in engaging people who are experiencing homelessness in care, most research on health clinics for homeless persons has involved some recognition of client–provider relationships. However, what has been lacking is the inclusion of a critical analysis of the policy context in which relationships are enacted. In this paper, we question how client–provider relationships are enacted within the culture of community care with people who are experiencing homelessness and how clinic‐level and broader social and health (...) policies shape relationships in this context. We explore these questions within a critical theoretical perspective utilizing a critical ethnographic methodology. Data were collected using multiple methods of document review, participant observation, in‐depth interviews and focus groups. The participants include both clients at a community health clinic, and all clinic service providers. We explore how clients and providers characterized each other as ‘good’ or ‘bad’. For providers, this served as a means by which they policed behaviours and enforced social norms. The means by which both providers’ and clients’ negotiated relationships are explored, but this is couched within both local and system‐level policies. This study highlights the importance of healthcare providers and clients being involved in broader policy and systemic change. (shrink)