This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

All volumes of Professor Guthrie's great history of Greek philosophy have won their due acclaim. The most striking merits of Guthrie's work are his mastery of a tremendous range of ancient literature and modern scholarship, his fairness and balance of judgement and the lucidity and precision of his English prose. He has achieved clarity and comprehensiveness.

This book provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. Its fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.

Once upon a time, modal logic was castigated because it ‘had no semantics.’ Kripke, Hintikka, Kanger, and others changed all that. In a similar way, when Relevant Logic was introduced by Anderson and Belnap, it too was castigated for ‘having no semantics.’ The present overview marks a culmination of that effort. The semantic approach described here brings together a number of hitherto disparate efforts to set out formal systems for logics of relevant implication and entailment. It also makes clear (despite (...) some of our hopes and utterances) that the One True Logic does not exist. This is as true for relevant logics as Kripke et al., showed it to be for modal logics. In both cases, subtle (and not so subtle) variations on semantical postulates produce different logics in the same family. The question of which semantical postulates are correct makes no sense without further context, i.e., the questioner needs to answer the question: Correct for what? The question that does remain is: What motivates the relevant family of logics? And this is the question that is the main job for this chapter to investigate. (shrink)

The doctrine of semantic dialetheism is set out and contrasted with metaphysical dialetheism. We find that there is a lot to be said in favour of semantic dialetheism. Semantic dlaietheism is given credence by the doctrine of partially defined predicates. To make sense of a partially defined predicate, Tappenden and Soames suggest that the seman tics of predicates should be given in terms of a set of conditions under which the predicate can be applied to things and a set of (...) conditions under which its negation can be applied. If Tappenden and Soames are correct that many predicates are partially defined then it is also plausible that some are 'overdefined'. We say that a predicate is overdefined if and only if it is possible that its negative and positive conditions pick out some of the same objects at the same time. Some examples of overdefined predicates are discussed and it is suggested that a semantic dialetheist treatment of some folk theories (such as the folk theory of identity and the folk theory of belief) is appropriate. (shrink)

The Logic R4 is obtained by adding the axiom □ → to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.

This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented in the naïve (...) set theories that are based on them. (shrink)

A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule γ and as a corollary of this it is proved that each logic is a conservative extension of its counterpart based on classical logic, hence we call them “classically complete”. MSC: 03B45, 03B46.

This chapter contains sections titled: Non‐Sequiturs are Bad The Real Use of Premises Implication From Proof Theory to Semantics Adding Conjunction The Problem of Disjunction Routley and Meyer's Ternary Relation Rules for Disjunction The Semantics of Negation Rules for Negation Disjunctive Syllogism Logics Stronger than R Logics Weaker than R Relevant Logics and Natural Language Conditionals Theory of Properties Summary.

This paper extends the argument of Mares, ``Classically Complete Modal Relevant Logics'' Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, to show that the system RK is complete over an Extension of the Routley-Meyer semantics.

The logic CE (for "Classical E") results from adding Boolean negation to Anderson and Belnap's logic E. This paper shows that CE is not a conservative extension of E.

This paper presents a theory of probability based on the paraconsistent logic D4. The resulting probability functions are then used to define two sorts of Bayesian updating. One sort of updating merely uses the simple rule of conditionalisation. The other sort adds a wrinkle to the simple rule so that agents' beliefs become more consistent as well as more complete through updating.

All volumes of Professor Guthrie's great history of Greek philosophy have won their due acclaim. The most striking merits of Guthrie's work are his mastery of a tremendous range of ancient literature and modern scholarship, his fairness and balance of judgement and the lucidity and precision of his English prose. He has achieved clarity and comprehensiveness.

This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.

In this paper, I set out a semantics for identity in relevant logic that is based on an analogy between the biconditional and identity. This analogy supports the semantics that Priest has set out for identity in basic relevant logic and it motivates a version of the Routley–Meyer semantics in which identities can be viewed as constraints on the ternary relation that is used to treat implication.

The discussion of the Principle of Non-Contradiction (PNC) in Aristotle’s Metaphysics Γ is usually taken to include three ‘versions’ of the principle: an ontological, psychological, and logical one. In this article I develop an interpretation of Metaphysics Γ3 and a parallel text, De interpretatione 14, in order to show that these texts are concerned with two related but different principles: a version of the Principle of Identity, and a corollary to this, which concerns the ability to accept two ‘opposite’ items (...) at the same time. I argue that these principles must be considered separately in order to properly understand Aristotle’s remarks about PNC in Metaphysics Γ, and in order to defend his approach in these remarks against certain objections raised against the discussion in Metaphysics Γ by Jan Łukasiewicz in his "Über den Satz des Widerspruchs bei Aristoteles". The main result of my interpretation is to distinguish in the discussion of PNC in Metaphysics Γ three principles: one concerning linguistic items (words and statements), one concerning thoughts (δόξαι), and one concerning objects or states of affairs. (shrink)

As computer technology develops, elements in photographs can more easily be rearranged with undetectable changes, offering broad opportunities to alter the reality depicted in photos. This article looks at some contexts in which photographs have been altered and explores moral complications in determining standards for manipulation that center on a concept of deception and credibility.

This paper begins with a discussion of C. I. Lewis’s theory of meaning in his book, An Analysis of Knowledge and Valuation (1946) and his pragmatic theory of analyticity and necessity. I bring this theories together with some remarks that he makes in an appendix to the second edition of Symbolic Logic to construct an algebraic semantics for his logics S2 and S3. These logics and their semantics are compared and evaluated with regard to how well they implement Lewis’s theories (...) of meaning and analyticity. (shrink)

In this paper I provide support for the view that at least some forms of adversariality in argumentation are legitimate. The support comes from Aristotle’s theory of illegitimate adversarial argumentation in dialectical contexts: his theory of eristic in his work On Sophistical Refutations. Here Aristotle develops non-epistemic standards for evaluating the legitimacy of dialectical procedures, standards which I propose can be understood in terms of the pragmatic notion of context as common ground. Put briefly, Aristotle makes the answerer’s meaning in (...) giving assent in dialectical contexts the basis for further moves in the game of dialectic. Moves which subvert the answerer’s meaning or do not solicit the answerer’s consent are marked as eristic, i.e. adversarial in a problematic sense. I conclude with remarks on what Aristotle’s theory may teach us about how semantic features relate to the normative evaluation of argumentation. (shrink)

Aristotle determines eristic argument as argument which either operates upon the basis of acceptable premisses and merely give the impression of being deductive, or argument which truly is deductive but operates upon the basis of premisses which seem to be acceptable, but are not. I attempt to understand what Aristotle has in mind when he says that someone is deceived into accepting premisses which seem to be acceptable but which are really not, and how this disqualifies such arguments from being (...) dialectical. In the first section of the paper I interpret Aristotle’s notion of ἔνδοξα in terms of a relational concept of acceptability. Real ἔνδοα are propositions which are accepted by a qualified group or individual. False ἔνδοα may also be accepted by someone or some group, and may even be true, but they are used to serve the purposes of eristical argumentation, which departs from certain standards of dialectical argumentation articulated in the notion of ἔνδοξα as a norm for premiss-acceptance. In particular, eristic arguments may even be valid in the sense of a συλλογισμός while still failing to be proper dialectical arguments. In the second part of the paper I consider how this can be, in examining certain types of fallacies in the Sophistical Refutations and the relationship between fallacious argumentation and false ἔνδοξα. (shrink)

In this response I consider the implications of Jan Szaif’s suggestion that there is a tight “conceptual affinity” between Books I and X of the Nicomachean Ethics. I argue against one view which could claim such a thesis as an ally: the view which maintains that the Nicomachean Ethics is based upon the kind of conceptual cohesion supplied by a supposed metaphysical foundation for claims about happiness.

The fregean theory of meaning says how the meaningful parts of a meaningful expression contribute to that expression's sense and reference. But frege overlooks the fact that logical expressions play dual roles. The contributions of sentential connectives, For example, Are well described for contexts in which they connect sentences, But not for larger quantificational contexts. An obvious modification of the theory which might fill the abyss is considered, And it is maintained that it produces two difficulties: a replication of frege's (...) concept 'horse' troubles and an infinite proliferation of logical vocabulary. The seriousness of these difficulties is briefly discussed. (shrink)

All volumes of Professor Guthrie's great history of Greek philosophy have won their due acclaim. The most striking merits of Guthrie's work are his mastery of a tremendous range of ancient literature and modern scholarship, his fairness and balance of judgement and the lucidity and precision of his English prose. He has achieved clarity and comprehensiveness.

All volumes of Professor Guthrie's great history of Greek philosophy have won their due acclaim. The most striking merits of Guthrie's work are his mastery of a tremendous range of ancient literature and modern scholarship, his fairness and balance of judgement and the lucidity and precision of his English prose. He has achieved clarity and comprehensiveness.

The recent interest in wisdom in professional health care practice is explored in this article. Key features of wisdom are identified via consideration of certain classical, ancient and modern sources. Common themes are discussed in terms of their contribution to ‘clinical wisdom’ itself and this is reviewed against the nature of contemporary nursing education. The distinctive features of wisdom (recognition of contextual factors, the place of the person and timeliness) may enable their significance for practice to be promoted in more (...) coherent ways in nursing education. Wisdom as practical knowledge (phronesis) is offered as a complementary perspective within the educational preparation and practice of students of nursing. Certain limitations within contemporary UK nursing education are identified that may inhibit development of clinical wisdom. These are: the modularization of programmes in higher education institutions, the division of pastoral and academic support and the relationship between theory and practice. (shrink)

The article ‘A Note on Strict Implication’ was submitted for publication by C.I. Lewis and C.H. Langford but withdrawn in proof. The paper is, according to notes and letters by both Lewis and Langford, largely by Lewis. It constitutes an early attempt by Lewis to give meanings for the modal connectives using abstract objects. To be necessary, for example, is for a statement to have the same intension as a truth-functional tautology. This theory prefigures the view of Lewis's 1946 book, (...) Analysis of Knowledge and Valuation. This introduction to the article looks at the historical background of the piece in addition to its argument and examines why it was withdrawn. (shrink)