Items related to Introduction to Logic: Predicate Logic

Introduction to Logic: Predicate Logic - Softcover

  • 4.03 out of 5 stars
    34 ratings by Goodreads
 
Image Not Available

Synopsis

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.

From the Back Cover

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:
  • Many new exercises and examples
  • A chapter on truth trees
  • New sections treating possible-world counterexamples, intensional contexts, quantifier scope, and quantifier order
  • An appendix on metatheory by William G. Lycan
Also, with this new 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.

Student's Preface

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.

Howard Pospesel
University of Miami

Teacher's Preface

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:

  • The book has been reorganized to allow students to develop symbolization and proof-construction skills even more gradually.
  • There is a chapter on two-sided truth trees. Some instructors prefer to teach one-sided trees; a chapter explaining that technique is included on the CD-ROM disk packaged with the book.
  • New sections treat possible-world counterexamples, intensional contexts, quantifier scope, and quantifier order.
  • There are more exercises, and most of the original exercises and examples have been replaced by better and more current ones.
  • The book is accompanied by a tutorial program, "PredLogic," written by Mark Pospesel and me. This 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.
  • William G. Lycan has provided an appendix on the metatheory of predicate logic.
  • This edition uses parenthesis-free quantifier symbols. These symbols have become standard since the first edition was published, and they are more suitable for doing logic on a computer. Gender-neutral language is used throughout. The chapter on logic diagrams (that appeared in the first edition) has been moved to the CD-ROM disk that accompanies the book.

"About this title" may belong to another edition of this title.

  • PublisherPearson
  • Publication date2002
  • ISBN 10 0131649892
  • ISBN 13 9780131649897
  • BindingPaperback
  • LanguageEnglish
  • Edition number2
  • Number of pages304
  • Rating
    • 4.03 out of 5 stars
      34 ratings by Goodreads

Buy Used

Condition: Good
Pages can have notes/highlighting... View this item

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to basket

Search results for Introduction to Logic: Predicate Logic

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.96. Seller Inventory # G0131649892I3N00

Contact seller

Buy Used

US$ 7.09
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.96. Seller Inventory # G0131649892I5N00

Contact seller

Buy Used

US$ 7.09
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.96. Seller Inventory # G0131649892I5N00

Contact seller

Buy Used

US$ 7.09
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Softcover

Seller: Goodwill, Brooklyn Park, MN, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: Acceptable. Corners are bent. Cover/Case has some rubbing and edgewear. Access codes, CDs, slipcovers and other accessories may not be included. Seller Inventory # 2Y6JCK007A4O_ns

Contact seller

Buy Used

US$ 3.11
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_398004084

Contact seller

Buy Used

US$ 5.00
Convert currency
Shipping: US$ 3.75
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_419363599

Contact seller

Buy Used

US$ 5.00
Convert currency
Shipping: US$ 3.75
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Paperback

Seller: Grumpys Fine Books, Tijeras, NM, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: very good. little wear and tear. Seller Inventory # Grumpy0131649892

Contact seller

Buy Used

US$ 23.89
Convert currency
Shipping: US$ 4.25
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson Education, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Softcover

Seller: TextbookRush, Grandview Heights, OH, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 53421031

Contact seller

Buy Used

US$ 25.15
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Pospesel, Howard
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used paperback

Seller: Textbooks_Source, Columbia, MO, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: Good. 2nd Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Seller Inventory # 000494828U

Contact seller

Buy Used

US$ 31.47
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Seller Image

Pospesel, Howard; Lycan, William G.
Published by Pearson, 2002
ISBN 10: 0131649892 ISBN 13: 9780131649897
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Seller Inventory # 629006-5

Contact seller

Buy Used

US$ 65.56
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

There are 9 more copies of this book

View all search results for this book