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

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

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)

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)

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

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

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)

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)

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...) essay we show that with the aid of plurivalent semantics it is possible to straightforwardly instantiate Goddard and Routley’s understanding of how the connectives should work within significance logics. (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)

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.

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.

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)

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

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

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

Connectives such as Tonk have posed a significant challenge to the inferentialist. It has been recently argued that the classical semanticist faces an analogous problem due to the definability of “nasty connectives” under non-standard interpretations of the classical propositional vocabulary. In this paper, we defend the classical semanticist from this alleged problem.

While positive psychology has drawn increasing interests among researchers in the SLA literature recently, little is known with respect to the relationship between positive psychology and mental processes during L2 reading. To bridge the gap, the present study investigated whether and how positive psychology (self-efficacy) influences word reading strategies during L2 sentence reading. Based on previous studies, eye-movement patterns with first-fixation locations closer to the beginning of a word can be characterized as an attempt to process the word with a (...) local strategy, whereas first-fixation locations farther away from the beginning and closer to the center of a word can be considered as an attempt to use a global strategy. Eye movements of a group of Japanese learners of English (N = 59) were monitored, and L2 reading self-efficacy was used to assess the participants’ positive belief towards their L2 reading skills. Based on B. L. Fredrickson’s (1998) broaden-and-build theory, we predicted an effect of L2 reading self-efficacy on participants’ first-fixation locations. Results from mixed-effects regression showed that while reading strategies depended in part on other factors such as L2 reading proficiency and word properties, L2 self-efficacy influenced reading strategy. The present data suggest that while more self-efficacious L2 readers prefer a more efficient global strategy, attempting to read the word as a whole word, less self-efficacious L2 readers tend to employ a local strategy, focusing more on sublexical information. These findings lend support to the broaden-and-build theory in the context of L2 processing. The present study has implications for how positive psychology works along with L2 proficiency in the development of strategic selection during reading. (shrink)

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)

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)