Home  /  Back to disciplines  /  Request exam/desk copy  /  Purchase  /  View cart  /  Checkout

Elementary Symbolic Logic

Second Edition

William Gustason and Dolph E. Ulrich

This volume offers a serious study of the fundamentals of symbolic logic that will neither frustrate nor bore the reader. The emphasis is on developing the student’s grasp of standard techniques and concepts rather than on achieving a high degree of sophistication. Coverage embraces all of the standard topics in sentential and quantificational logic, including multiple quantification, relations, and identity. Semantic and deductive topics are carefully distinguished, and appendices include an optional discussion of metatheory for sentential logic and truth trees.
 

$42.95 list, 353 pages

10-digit ISBN: 0-88133-412-X

13-digit ISBN: 978-0-88133-412-8

© 1989

Solutions Manual available

“A clear, well-written book that admirably lives up to its title!” —Irving M. Copi, University of Hawaii at Manoa

“An excellent text. Very clearly written with useful exercises.” —G. A. Spangler, California State University, Long Beach

“I will be using the text. It is laid out well, covering all of the standard topics while allowing for flexibility in teaching styles. Furthermore, a major consideration—indeed, the deciding factor—was its reasonable price compared to others.” —James Stump, Bethel College

“One of the best books available on deductive inferences. The examples and exercises are well developed, and the additional material provided throughout the text (especially relevant to philosophical problems and aspects of mathematics) is excellent.” —Barry Padgett, University of Louisville

“Elementary Symbolic Logic is a clear, straightforward presentation that does not ‘write down’ to students. It is a solid introductory text suitable for students in any disciplinary program.” —William W. Daniel, Winthrop University

“Absolutely first-rate in every respect.” —Gary Owens, Towson State University

Table of Contents

1. Introduction

2. Sentential Logic: Semantic Methods

3. Sentential Logic: Deductive Methods

4. Semantic and Deductive Methods Compared

5. Quantificational Logic: Translation

6. Quantificational Logic: Semantics

7. Quantificational Logic: Deductive Methods

Appendix A: Normal Forms and Circuits

Appendix B: Truth Trees

Appendix C: Mathematical Induction

Appendix D: Axiomatic Systems: A Preface to Their Study

Answers to Selected Exercises