Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
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.