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.

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)

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.

I examine the tension between biopolitics and necropolitics through three themes that I have perceived and that are related to my life in Japan. First, I examine the transformation of hospitals and medical care, particularly for the elderly, through my experience of sharing the end of my mother’s life. Modern medicine has made great achievements in treating diseases that used to be fatal, but it has become institutionalized in the context of Big Pharma interests, with no insight into the natural (...) ageing and death of human beings. Second, I discuss how the ecological worldview on parasitism and symbiosis has been distorted by industrial logic, drawing on the work of my esteemed friend and parasitologist Professor Koichiro Fujita, who passed away in 2021. Finally, with regard to the Covid-19 pandemic, I would argue that it is not a sudden phenomenon triggered by a new virus, but in a sense a disaster that has been prepared for decades and must be seen as a war using bioengineering and epidemiology as weapons, rather than tanks and bombs. (shrink)

What is the meaning of “Japanese” culture? In earlier ages, it was about temples, Noh plays, Kabuki, Utamaro and Wabi-sabi. These traditional icons have, since the Meiji era (1868-1912), been identified as typically Japanese. Are they, however, still relevant today? Has there been any crucial mutation in the cultural identity of Japan? In the contemporary era, more and more people associate Japanese culture with Manga, animation and video games, in other words with cultural developments of the post-World War II era. (...) The Japanese Government has actively promoted the popularity of these new aspects of Japanese culture as evidenced in their eagerness to adopt the expression “Cool Japan,” inspired by its British predecessor’s “Cool Britannia.” Everyone does not share that perception though. Following the 11th March 2011 series of disasters, Japanese artist Tadasu Takamine (1968-) worked on a critical questioning of Japanese society and culture, culminating in a work titled Tadasu Takamine's Cool Japan that was shown at the Art Tower Mito, in Ibaraki Prefecture (2012). The present essay reflects on and develops further the message conveyed by Takamine about contemporary Japanese cultural identity. (shrink)

This article investigates differences in structural tendencies between Japanese newspaper editorials and front-page columns. Although intuitively recognized by Japanese people, such differences have tended to be empirically overlooked in discourse or rhetoric research. This study compares the two text types, specifically focusing on the location of the main topic in the text item rather than the main thesis, the former of which has received less empirical attention than the latter in Japanese discourse research. The study analyzed 30 editorials and 30 (...) front-page columns from three major Japanese newspapers. The results show that the editorials have an early placement pattern, whereas the columns tend to have delayed introductions. These differences were statistically significant, empirically demonstrating how the intuitively recognized structural tendencies between the two text types crucially differ. The finding that there is a systematic early placement of the main topic in Japanese editorials is indicative of a basic common feature among languages in the editorial genre. From a methodological perspective, the study demonstrates the validity of the index of the main topic location as an analytical tool to distinguish different textual structures. (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.

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)

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)

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

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

ポピュリズム、思弁的実在論、OOO...ポスト・グローバル化が進行する新時代を生き抜くために、最低限おさえるべき思想はこれだ!

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

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)

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)

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.

2014年から2021年のツイートから哲学を主題とするものを厳選。あらゆる人を哲学に誘う刺激とやさしさに満ちた一冊。.

日本の原風景とその影響。現代社会における教育やこころのゆがみを正し、あるべき日本の姿を明らかにした、珠玉の十二編。.

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)

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)

現代の哲学界にあって、全く独自のアプローチを積み上げてきた永井均。永井哲学の最重要キーワードでもある「“私”」について、永井自身と森岡正博が哲学する。“私”、すなわち、「いまここに現にひとりだけ特殊な 形で存在している、私の特別なあり方」は決して普遍化できないはずだが、ひとたびそれを語ってしまうと、他者にも適用できる単なる「私」の話となり、本当に言いたかった特別さは消えてしまう。どうすれば私たちは私 だけがもつその特別さに近づくことができるだろうか?―独在性の解釈をめぐって、永井と森岡は徐々にすれ違いを見せていく。2人の議論の「噛み合わなさ」から浮かび上がってくる“私”の真相とは?この世の最大の謎 、“私”をめぐって繰り広げられるオリジナルでスリリングな知的冒険。.

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)

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