With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

such questions for centuries (unrestricted by the capabilities of any hard ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subject has evolved and its areas have become interrelated to such an extent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupings of chapters. I would like to thank our authors are readers for their contributions and their commitment in making this Handbook a success. Thanks also to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers for their continuing support for the Handbook.

In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship.

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

In Pursuit of Truth W. V. Quine gives us his latest word on issues to which he has devoted many years. As he says in the preface: "In these pages I have undertaken to update, sum up, and clarify my variously intersecting views on cognitive meaning, objective reference, and the grounds of knowledge?'The pursuit of truth is a quest that links observation, theory, and the world. Various faulty efforts to forge such links have led to much intellectual confusion. Quine's efforts to get beyond the confusion begin by rejecting the very idea of binding together word and thing, rejecting the focus on the isolated word. For him, observation sentences and theoretical sentences are the alpha and omega ofthe scientific enterprise. Notions like "idea" and "meaning" are vague, but a sentence-now there's something you can sink your teeth into. Starting thus with sentences, Quine sketches an epistemological setting for the pursuit of truth. He proceeds to show how reification and reference contribute to the elaborate structure that can indeed relate science to its sensory evidence.In this book Quine both summarizes and moves ahead. Rich, lively chapters dissect his major concerns-evidence, reference, meaning, intension, and truth. "Some points;' he writes, "have become clearer in my mind in the eight years since Theories and Things. Some that were already clear in my mind have become clearer on paper. And there are some that have meanwhile undergone substantive change for the better." This is a key book for understanding the effort that a major philosopher has made a large part of his life's work: to naturalize epistemology in the twentieth century. The book is concise and elegantly written, as one would expect, and does not assume the reader's previous acquaintance with Quine's writings. Throughout, it is marked by Quine's wit and economy of style.

Publisher Description