Philosophy Of Logic 2nd Edition

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 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.

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 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.

Publisher Description

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

An inexpensive but comprehensive introduction. Examples and homework problems touch on philosophical issues much more so than standard texts, providing instructors an opportunity to ease into philosophical discussions as desired and piquing student interest. Homework assignments are on tear-out pages for ease of use. While Critical Thinking and Logic: A Philosophical Workbook covers standard issues of critical thinking such as argument types and fallacies, it also provides a solid foundation for an advanced course in formal logic. The final chapter includes a complete translation of Descartes’s Meditations, allowing students to put their newly acquired skills to work on a classic work of philosophy.

Logical Forms examines the formal languages of classical first order logic and modal logic, and some alternatives and in each case takes as the central question: how can natural language best be formalized in this formal language? The approach involves close encounters with issues in the philosophy of logic and the philosophy of logic and the philosophy of language.