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

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)

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)

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.

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

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)

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)

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

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)

ベストセラー『7日間で突然頭がよくなる本』の著者による、はじめてのニッポン論。古代の神話や仏教、儒学、武士道から国学、さらには福澤諭吉らによる啓蒙書さえも「日本哲学である」と定義する。1500年にもお よぶ日本思想の遺伝子的深層を新視点から読み解く最新の入門書。.

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)

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.

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)

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

This article compares the theory of knowledge of Fichte with that of the Japanese Philosopher Kitaro Nishida and brings out an essential correspondence between them. Both philosophers are not satisfied with the usual epistemology which is based on the contraposition of subject and object, and consider it necessary to go beyond the scheme of the contraposition because it covers the truth of knowledge. They both diagnose that the scheme of contraposition stems from the objectification by the I, and suggest that (...) the objectifying I should be nullified. According to the view that the I can be nullified only by the I itself, they take the selfnullification of the I as their theme. They think that the I does not vanish by selfnullification, but rather touches its own life which by its nature cannot be objectified. The Absolute of Fichte as well as the absolute Nothing of Nishida are characterizable as an unobjectifiable life which can be reached only by the selfnullification of the I.Dieser Aufsatz vergleicht die Wissenslehre Fichtes mit der des japanischen Philosophen Kitaro Nishida und hebt eine wesentliche Gemeinsamkeit zwischen beiden hervor. Die beiden Philosophen sind mit gängiger Erkenntnistheorie, die auf der substantiellen Gegenüberstellung von Subjekt und Objekt gründet, nicht zufrieden und halten es für nötig, über dieses Schema der Gegenüberstellung hinauszugehen, weil es die Wahrheit des Wissens verhüllt. Sie stellen gemeinsam fest, dass das Schema aus der Objektivierung durch das Ich stammt, und denken, dass das objektivierende Ich vernichtet werden soll. Aufgrund der Ansicht, dass das Ich nur durch das Ich selbst vernichtet werden kann, machen sie die Selbstvernichtung des Ich zum Thema. Durch die Selbstvernichtung des Ich verschwindet das Ich nach ihnen jedoch nicht, sondern vielmehr berührt es dadurch sein eigenes Leben, das seiner Natur nach nicht objektiviert werden kann. Sowohl „das Absolute“ bei Fichte als auch „das absolute Nichts“ bei Nishida sind als ein unobjektivierbares, nur durch die Selbstvernichtung des Ich erreichbares Leben zu charakterisieren. (shrink)

Fichte as well as Jacobi posit that the Absolute cannot be grasped from the standpoint of knowledge. Therefore we must go beyond this point, in order to achieve the Absolute. Both agree that knowledge is negated in the face of the Absolute. What, however, Fichte understands by the negation of knowledge differs from Jacobi’s understanding. The negation of knowledge refers to, in Fichte’s case, the self-negation of knowledge. Whereas in Jacobi’s case it refers to the renunciation of knowledge. In this (...) essay the author attempts to bring out the salient characteristics of the negation of knowledge in Fichte on the basis of Jacobi to Fichte, Vocation of Man and Science of Knowledge 1801/02.Knowledge cannot grasp the Absolute. Knowledge knows, however, that it cannot grasp the Absolute. According to Fichte the Absolute appears in this way through knowledge. Knowledge is not merely negated in the face of the Absolute, but rather lets the Absolute, through its self-negation, appear. This knowledge is so in its self-negation in contact with the Absolute.In Fichte the Absolute is not something not-appearing. The misunderstanding, that the Absolute is something not-appearing, comes from objective cognition. The Absolute appears, as an appearance appears as an appearance.Sowohl Fichte als auch Jacobi meinen, dass das Absolute auf dem Standpunkt des Wissens nicht erfasst werden kann, und dass man daher über den Standpunkt des Wissens hinausgehen muss, um das Absolute zu erreichen. Die beiden sind in dem Punkt einig, dass das Wissen angesichts des Absoluten negiert wird. Was aber Fichte dabei unter der Negation des Wissens versteht, unterscheidet sich davon, was Jacobi darunter versteht. Die Negation des Wissens meint bei Fichte Selbstnegation des Wissens, während sie bei Jacobi Abschaffung desselben meint. Im vorliegenden Aufsatz versucht der Verfasser, das Charakteristische der Negation des Wissens bei Fichte anhand von Jacobi an Fichte, Bestimmung des Menschen und Wissenschaftslehre 1801/02 herauszuarbeiten.Das Wissen kann kein Absolutes erfassen. Das Wissen weiß aber, dass es kein Absolutes erfassen kann, d. h. dass es ein Absolutes gibt, das es nicht erfassen kann. Nach Fichte erscheint das Absolute auf diese Weise im Wissen. Das Wissen wird dabei angesichts des Absoluten nicht bloß negiert sondern lässt vielmehr durch seine Selbstnegation das Absolute erscheinen. So steht das Wissen durch seine Selbstnegation mit dem Absoluten in Berührung.Das Absolute ist bei Fichte nicht etwas Nicht-erscheinendes. Das Missverständnis, dass das Absolute ein Nicht-erscheinendes wäre, stammt daraus, es gegenständlich zu erfassen. Das Absolute erscheint, indem die Erscheinung als Erscheinung erscheint. (shrink)

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

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

Wenn man die Philosophie von Fichte mit der von Schelling vergleicht, kann man einen großen Unterschied feststellen, besonders in bezug auf die Stellung des Bewusstseins. Während Fichte versucht, das Absolute ausgehend von unserem Bewusstsein zur Einsicht zu bringen, hält Schelling es für die Aufgabe der Philosophie, den Standpunkt des Bewusstseins zu übersteigen. Aber die beiden Philosophen stimmen in dem Punkt überein, dass es ihnen um das absolute Sein geht, das unser Bewusstsein übertrifft. Sie interessieren sich gemeinsam für die Beziehung bzw. (...) die Nicht-Beziehung zwischen unserem Bewusstsein und dem absoluten Sein. (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)

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)

ドゥルーズの「リゾーム」、フーコーの「脱中心化」、バタイユの「蕩尽」、デリダの「ディコンストラクション」。80年代のニューアカデミズム、ポストモダンとは何だったのか?世界を席捲した現代思想のキイ・ワー ドが、20年の歳月をへて、今よみがえる。新たに第5部を書き加えて、21世紀の思想状況に斬り込む「増補決定版」が、ここに登場!現代思想はいま、どの地点にまでたどりついたのか。.