Telling a patient that the outcome of his illness is not good, or even hopeless, requires sensitivity and the ability to communicate with him in the setting of a hospital which is an unnatural environment divorced from family and friends. It is a task which must be taught and learned by doctors and nurses.

This paper explores allowing truth value assignments to be undetermined or "partial" and overdetermined or "inconsistent", thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate (...) twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson 's "constructible falsity". (shrink)

This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.

We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.

We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that has a (...) characteristic semantics. We also show that Shramko's falsification logic FL can be incorporated into some extension of this basic logic Ku. Finally, we unite the two basic logics Ki and Ku together to get a negative modal logic K-, which is dual to the positive modal logic K+ in [7]. Shramko has suggested an extension of Dunn 's kite and also a dual version in [12]. He also suggested combining them into a “united” kite. We give a united semantics for this united kite of negations. (shrink)

Arnon Avron has written: “Dunn-McCall logic RM is by far the best understood and the most well-behaved in the family of logics developed by the school of Anderson and Belnap.” I agree. There is the famous saying: “Do not let the perfect become the enemy of the good.” I might say: “good enough.” In this spirit, I will examine the logic R-Mingle, exploring how it is only a “semi-relevant logic” but still a paraconsistent logic. I shall discuss the history of (...) RM, and compare RM to Anderson and Belnap’s system R of relevant implication and to classical two-valued logic. There is a “consumer’s guide,” evaluating these logics as “tools,” in the light of my recent work on “Humans as Rational Toolmaking Animals.”. (shrink)

This paper explores the development of mathematics on a quantum logical base when mathematical postulates are taken as necessary truths. First it is shown that first-order Peano arithmetic formulated with quantum logic has the same theorems as classical first-order Peano arithmetic. Distribution for first-order arithmetical formulas is a theorem not of quantum logic but rather of arithmetic. Second, it is shown that distribution fails for second-order Peano arithmetic without extensionality. Third, it is shown that distribution holds for second-order Peano arithmetic (...) (second-order quantum logic) with extensionality. Some remarks about extensions to quantum set theory are made. (shrink)

In this paper two different formulations of Robinson's arithmetic based on relevant logic are examined. The formulation based on the natural numbers (including zero) is shown to collapse into classical Robinson's arithmetic, whereas the one based on the positive integers (excluding zero) is shown not to similarly collapse. Relations of these two formulations to R. K. Meyer's system R# of relevant Peano arithmetic are examined, and some remarks are made about the role of constant functions (e.g., multiplication by zero) in (...) relevant arithmetic. (shrink)

This volume includes three previously untranslated transcripts of Kant's logic lectures.

Results of a study investigating the relation between personality traits and ethical-orientation indicate sex is not an good predictor for differences in Machiavellian-, Type A personality- or ethical-orientation. Intelligence is found to be positively associated with Machiavellian- and Type A personality-orientation but negatively associated with ethical-orientation. Machiavellians tend to have Type A personalities, but tend to be less ethically-oriented than Nonmachiavellians. Type A personalities are more ethically-orientated than Type B personalities.

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...) the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Multiple concepts of nature are at play in environmental theory and practice. One that has gripped several theorists is the idea of nature as referring to that which is independent of humans and human activity. This concept has been subject to forceful criticism, notably in the recent work of Steven Vogel. After clarifying problematic and promising ways of charac­terizing independent nature, I engage Vogel’s critique. While the critique is compelling in certain respects, I argue that it fails to appreciate what (...) I take to be an important motivating concern of those drawn to the concept of independent nature, or something like it. I offer a characterization of that concern—a worry about problematic instrumentalization of the nonhuman world—and suggest why this concern, and the idea of independent nature which helps to make it intelligible, should continue to inform environmental theory and practice. In offering a qualified defense of the concept of independent nature, and of its value, I assume that such a concept is only one possible tool in a multi-pronged approach to environmental theorizing, deliberation, action, and policy. (shrink)

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

An environmental ethic needs to have an answer to two basic questions: what nature should we care about, and why? A number of proposals have been made about how to answer these questions. In this paper, I consider in detail one such proposal, namely, biological or ecological integrity. Different characterizations of integrity can be found in the literature, but I will treat the following one as paradigmatic. Integrity refers to a property of landscapes that are relatively unmodified by human activity (...) and that have their native biota largely intact.1 By “native biota,” I mean the native plant and animal life in a particular place, and... (shrink)