This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...) presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

The purpose of this paper is to show that semantics for relevance logic, based on the Routley-Meyer semantics, can be given without using the Routley star operator to treat negation. In the resulting semantics, negation is treated implicationally. It is shown that, by the use of restrictions on the ternary accessibility relation, simplified by the use of some definitions, a semantics can be stipulated over which R is complete.

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...) B) -> (A V for all xB). with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)

The problem of necessity remains one of the central issues in modern philosophy. The authors of this volume, originally published in 1985, developed a new approach to the problem, which focusses on the logical grammar of necessary propositions. This volume gathers their seminal essays on the problem of necessity, together with new material at the original time publication.

Preface This volume represents the proceedings of the Second Conference on Situation Theory and its Applications, held at Loch Rannoch, Scotland, ...

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach championed by the American philosopher David Lewis. This major work will be read with interest by a wide range of philosophers.

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

In the early seventies, several logicians developed a semantics for propositional systems of relevance logic. The essential ingredients of this semantics were a privileged point o, an ‘accessibility’ relation R and a special operator * for evaluating negation. Under the truth- conditions of the semantics, each formula A(Pl,…,Pn) could be seen as expressing a first order condition A+(pl,…,pn, o, R,*) on sets p1,…,pn and o, R, *, while each formula-scheme could be regarded as expressing the second-order condition ∀p1,…,∀pn A+(p1,…,pn, o, (...) R, *). It could then be shown that many standard systems of propositional relevance logic were complete in the sense that their theorems were just those formulas true in all models whose components o, R and * conformed to the second-order conditions expressed by the axioms of the system. (shrink)