Edwin Mares

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.

Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The story begins with an illuminating discussion of Aristotle's views on the connection between logic and metaphysics, continues through the Stoic and mediaeval traditions, and then moves to the early modern period with particular attention to Locke and Leibniz. The views of Kant, Peirce, C. I. Lewis and Carnap complete the volume. Many of the essays illuminate the connection between the historical figures studied, and recent or current work in the philosophy of modality. The result is a rich and wide-ranging picture of the history of the logical modalities.

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.

There are a bewildering variety of ways the terms "realism" and "anti-realism" have been used in philosophy and furthermore the different uses of these terms are only loosely connected with one another. Rather than give a piecemeal map of this very diverse landscape, the authors focus on what they see as the core concept: realism about a particular domain is the view that there are facts or entities distinctive of that domain, and their existence and nature is in some important sense objective and mind-independent. The authors carefully set out and explain the different realist and anti-realist positions and arguments that occur in five key domains: science, ethics, mathematics, modality and fictional objects. For each area the authors examine the various styles of argument in support of and against realism and anti-realism, show how these different positions and arguments arise in very different domains, evaluate their success within these fields, and draw general conclusions about these assorted strategies. Error theory, fictionalism, non-cognitivism, relativism and response-dependence are taken as the most important positions in opposition to the realist and these are explored in depth. Suitable for advanced level undergraduates, the book offers readers a clear introduction to a subject central to much contemporary work in metaphysics, epistemology and philosophy of language.

This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory.

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart. Alasdair Urquhart has made extremely important contributions to a variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. He provided the undecidability of the logics R and E, as well as some of their close neighbors. He proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, he has produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell’s Collected Papers.

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.

In recent years many influential philosophers have advocated that philosophy is an a priori science. Yet very few epistemology textbooks discuss a priori knowledge at any length, focusing instead on empirical knowledge and empirical justification. As a priori knowledge has moved centre stage, the literature remains either too technical or too out of date to make up a reasonable component of an undergraduate course. Edwin Mares book aims to rectify this. This book seeks to make accessible to students the standard topics and current debates within a priori knowledge, including necessity and certainty, rationalism, empiricism and analyticity, Quine's attack on the a priori, Kantianism, Aristotelianism, mathematical knowledge, moral knowledge, logical knowledge and philosophical knowledge.

I have found in teaching courses on philosophy of language that one can concentrate either on the problem of reference or the problem of meaning, not on both and still teach a coherent course. Kenneth Taylor’s Truth and Meaning provides further confirmation of this view. It is a very good textbook for a course on the theory of meaning and attempts to say relatively little about reference. It is clear and well written. It presents a wide range of rather difficult material perhaps as clearly and easily as possible. The most difficult problem in reviewing this book has been to decide what level course or what sort of student would be best served by it. My answer to this is a bit involved and will be left until after I have described the contents of the book.