Sentence logic


Book Description

Two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory. Features easy-to-understand explanations and graded exercises.







Forall X


Book Description




Introduction to Logic


Book Description

Introduction to Logic combines likely the broadest scope of any logic textbook available with clear, concise writing and interesting examples and arguments. Its key features, all retained in the Second Edition, include: • simpler ways to test arguments than those available in competing textbooks, including the star test for syllogisms • a wide scope of materials, making it suitable for introductory logic courses (as the primary text) or intermediate classes (as the primary or supplementary book) • engaging and easy-to-understand examples and arguments, drawn from everyday life as well as from the great philosophers • a suitability for self-study and for preparation for standardized tests, like the LSAT • a reasonable price (a third of the cost of many competitors) • exercises that correspond to the LogiCola program, which may be downloaded for free from the web. This Second Edition also: • arranges chapters in a more useful way for students, starting with the easiest material and then gradually increasing in difficulty • provides an even broader scope with new chapters on the history of logic, deviant logic, and the philosophy of logic • expands the section on informal fallacies • includes a more exhaustive index and a new appendix on suggested further readings • updates the LogiCola instructional program, which is now more visually attractive as well as easier to download, install, update, and use.




A First Course in Logic


Book Description

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.




Philosophy of Logic, 2nd Edition


Book Description

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.




An Interpretive Introduction to Quantum Field Theory


Book Description

Quantum mechanics is a subject that has captured the imagination of a surprisingly broad range of thinkers, including many philosophers of science. Quantum field theory, however, is a subject that has been discussed mostly by physicists. This is the first book to present quantum field theory in a manner that makes it accessible to philosophers. Because it presents a lucid view of the theory and debates that surround the theory, An Interpretive Introduction to Quantum Field Theory will interest students of physics as well as students of philosophy. Paul Teller presents the basic ideas of quantum field theory in a way that is understandable to readers who are familiar with non-relativistic quantum mechanics. He provides information about the physics of the theory without calculational detail, and he enlightens readers on how to think about the theory physically. Along the way, he dismantles some popular myths and clarifies the novel ways in which quantum field theory is both a theory about fields and about particles. His goal is to raise questions about the philosophical implications of the theory and to offer some tentative interpretive views of his own. This provocative and thoughtful book challenges philosophers to extend their thinking beyond the realm of quantum mechanics and it challenges physicists to consider the philosophical issues that their explorations have encouraged.







An Introduction to Formal Logic


Book Description

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.




Logic


Book Description

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this engaging and accessible introduction, Graham Priest shows how wrong that conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, Priest lays out the basics of formal logic in simple, nontechnical terms.