Picture 1 of 1

Stock photo

Introduction to Logic: Predicate Logic by Pospesel, Howard - Picture 1 of 1

Introduction to Logic : Predicate Logic by Howard Pospesel (2002, CD-ROM / Trade Paperback)

ThriftBooks (3927245)

98.9% positive feedback

Price:

$7.63

Free shipping

Estimated delivery Thu, Jul 17 - Tue, Jul 22

Returns:

30 days returns. Seller pays for return shipping.

Condition:

Acceptable

Introduction to Logic: Predicate Logic by Pospesel, Howard Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less

About this product

Product Identifiers

PublisherPearson Education

ISBN-100131649892

ISBN-139780131649897

eBay Product ID (ePID)2199610

Product Key Features

Number of Pages304 Pages

Publication NameIntroduction to Logic : Predicate Logic

LanguageEnglish

Publication Year2002

SubjectGeneral, Logic

FeaturesRevised

TypeTextbook

Subject AreaPhilosophy

AuthorHoward Pospesel

FormatCD-ROM / Trade Paperback

Dimensions

Item Height0.8 in

Item Weight15.2 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Edition Number2

Intended AudienceCollege Audience

LCCN2001-059600

Dewey Edition18

Reviews"The accuracy of the text and the clarity of the explanations are first-rate .... I have taught from it for 12 years! .... [T]he strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability." -- Richard Arthur, Middlebury College, " The accuracy of the text and the clarity of the explanations are first-rate .... I have taught from it for 12 years! .... The strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability. " — Richard Arthur,Middlebury College, "The accuracy of the text and the clarity of the explanations are first-rate .... I have taught from it for 12 years! .... [T]he strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability." — Richard Arthur,Middlebury College, "The accuracy of the text and the clarity of the explanations are first-rate .... I have taught from it for 12 years! .... The strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability." - Richard Arthur, Middlebury College

IllustratedYes

Dewey Decimal511/.3

Edition DescriptionRevised edition

Table Of Content1. Introduction. 2. Basic Symbolization. 3. Proofs: " O and $O. 4. Proofs: $I and QE. 5. Intermediate Symbolization. 6. Intermediate Proofs. 7. Counterexamples. 8. Truth Trees. 9. Property-Logic Refinements. 10. Relational Symbolization. 11. Relational Proofs. 12. Relational CEXes and Trees. 13. Relational-Logic Refinements. 14. Natural Arguments. Appendix 1. Propositional Logic: A Brief Review. Appendix 2. Metatheory. Appendix 3. Using PredLogic . Appendix 4. Solutions to Starred Exercises. Index. Proof Rules. Truth-Tree Rules.

SynopsisThis clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. KEY TOPICS: 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. MARKET: For individuals intrigued by the formal study of logic., 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., 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.

LC Classification NumberBC181.P62 2003