Acerca de este artículo

Product Identifiers

PublisherPearson Education

ISBN-100131649892

ISBN-139780131649897

eBay Product ID (ePID)2199610

Product Key Features

Number of Pages304 Pages

LanguageEnglish

Publication NameIntroduction to Logic : Predicate Logic

SubjectGeneral, Logic

Publication Year2002

FeaturesRevised

TypeTextbook

AuthorHoward Pospesel

Subject AreaPhilosophy

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

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

Dewey Edition18

IllustratedYes

Dewey Decimal511/.3

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.

Edition DescriptionRevised edition

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