This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. It covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. For individuals intrigued by the formal study of logic.
"synopsis" may belong to another edition of this title.
This clearly written, new edition by Howard Pospesel extends to general statements the system developed in Propositional Logic, revised Third Edition. This new edition covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations.
Examples and exercises are drawn from such sources as newspapers, television broadcasts, films, books, and exams. The book enhances students' ability to recognize and evaluate the predicate arguments they encounter outside the logic classroom. Logic is made accessible without sacrificing rigor.Among the new and revised elements in the Second Edition:
PredLogic, Windows-based software provides an environment in which students symbolize sentences, construct proofs of validity, devise counterexamples, and create truth trees. The program enables students to catch errors as they are made, and it offers hints for solving problems.Excerpt. © Reprinted by permission. All rights reserved.:
I have three aims for this book. The first goal is to teach you the vocabulary and grammar of predicate logic so that you will be able to translate the sentences of English (or other natural languages) into the notation of this important branch of symbolic logic. The second goal concerns three techniques for evaluating predicate arguments: formal proofs, counterexamples, and truth trees. I aim to help you become proficient in employing these logical methods. The third goal of the book is to develop your ability to identify and assess those predicate arguments you encounter daily as you read books and newspapers, carry on conversations, and watch television. Most of the examples and exercises in the text involve arguments of this everyday variety.
I enjoyed writing the book. If you enjoy studying it (as I hope you will), I think my goals will be achieved.
University of Miami
This text presupposes familiarity with propositional logic and, in particular, acquaintance with the natural-deduction approach to formal proofs and the technique of two-sided truth trees. Appendix One contains a review of this material, but it is too compact to be fully intelligible to the complete novice. A discussion of these techniques is provided in the companion volume, Introduction to Logic: Propositional Logic, revised third edition.
Predicate logic is developed gradually in this book, starting with the simplest monadic symbolizations and proceeding through multiple quantification to the logic of relations. Students learn to symbolize and evaluate arguments of a given degree of complexity before addressing the symbolization of more complex problems.
The formal-proof. system presented here does not include a universal-quantifier introduction rule. The advantages of this approach are that the quantifier rules can be stated more simply and that proofs (although often longer) are often easier to devise. A universal-quantifier introduction rule is provided in a footnote at the start of section 4.2 to accommodate students of teachers who prefer to include this rule.
Most of the examples and exercises center around arguments similar to those encountered by students. The majority of these arguments are natural, rather than contrived; many are presented by direct quotation from newspapers and other sources. My purposes in employing natural everyday arguments are (1) to evoke the reader's interest, (2) to counter the common but mistaken view that formal logic is just an impractical academic diversion, and (3) to improve students' capacity to notice and assess the arguments they encounter. The final chapter explicitly addresses the problems that arise when predicate logic is applied to natural arguments.
The second edition has been extensively revised. It differs from the first edition mainly in these ways:
"About this title" may belong to another edition of this title.
Book Description Prentice Hall. Book Condition: New. Brand New. Bookseller Inventory # 0131649892
Book Description Pearson College Div, 2002. PAP. Book Condition: New. New Book. Shipped from UK within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # PJ-9780131649897
Book Description Pearson, 2002. Paperback. Book Condition: New. book. Bookseller Inventory # 0131649892
Book Description Pearson, 2002. Paperback. Book Condition: New. 2. Bookseller Inventory # DADAX0131649892
Book Description Pearson. PAPERBACK. Book Condition: New. 0131649892 New Condition. Bookseller Inventory # NEW6.0048095
Book Description Pearson Education (US), United States, 2002. Mixed media product. Book Condition: New. 2nd Revised edition. 226 x 147 mm. Language: English . Brand New Book. For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. This new edition includes PredLogic, a CD-ROM-based tutorial for students. Bookseller Inventory # BZV9780131649897
Book Description Pearson, 2002. Paperback. Book Condition: New. Bookseller Inventory # P110131649892
Book Description Pearson, 2002. Book Condition: New. Brand new! Please provide a physical shipping address. Bookseller Inventory # 9780131649897
Book Description Prentice Hall, 2002. Mixed media product. Book Condition: Brand New. 2nd paperback/cd-rom edition. 282 pages. 8.75x6.00x0.50 inches. In Stock. Bookseller Inventory # __0131649892
Book Description Prentice Hall, 2002. Mixed media product. Book Condition: Brand New. 2nd paperback/cd-rom edition. 282 pages. 8.75x6.00x0.50 inches. In Stock. Bookseller Inventory # 0131649892