Cantitate/Preț
Produs
Total produse
Vezi coșul
Introduction to Logic: Predicate Logic de Howard Pospesel

Introduction to Logic: Predicate Logic

Autor Howard Pospesel
en Limba Engleză Paperback – 31 mai 2002

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.

Citește tot Restrânge

Preț: 53785 lei

Preț vechi: 66401 lei
-19% Nou

Puncte Express: 807
Preț estimativ în valută:
10305€ • 10849$ • 8506£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780131649897
ISBN-10: 0131649892
Pagini: 282
Dimensiuni: 150 x 229 x 18 mm
Greutate: 0.43 kg
Ediția:Nouă
Editura: Pearson
Locul publicării:Upper Saddle River, United States

Descriere

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.

Cuprins



 1. Introduction.


 2. Basic Symbolization.


 3. Proofs: <F128>"O and $O.


 4. Proofs: <F128>$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.

Recenzii


"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! ... [T]he strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability." - Richard Arthur, Middlebury College

Textul de pe ultima copertă

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.

Caracteristici

  • NEW - CD-ROM Tutorial, 'PredLogic'—Windows-based software that helps students learn to symbolize, 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.
    • Helps students gain valuable practice in working additional problems.
  • NEW - Examples and Exercises—Replaces most of the original exercises and examples with better and more current content. New sections treat possible-world counterexamples, intentional contexts, and quantifier scope.
    • Updated examples and exercises, and expanded content in sections, will appeal to a new generation of students.
  • Reorganized approach—Allows students to develop symbolization and proof-construction skills more gradually and in tandem.
    • Enables students to comprehend these challenging techniques more easily and employ them effectively.
  • Truth Trees—Includes coverage of truth trees.
    • Teaches students this frequently-employed method of determining validity.
  • Appendix on metatheory—Includes an appendix on the metatheory of predicate logic written by William G. Lycan.
    • Students benefit from discussion of this advanced topic.

Caracteristici noi

  • CD-ROM Tutorial, 'PredLogic'—Windows-based software that helps students learn to symbolize, 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.
    • Helps students gain valuable practice in working additional problems.
  • Examples and Exercises—Replaces most of the original exercises and examples with better and more current content. New sections treat possible-world counterexamples, intentional contexts, and quantifier scope.
    • Updated examples and exercises, and expanded content in sections, will appeal to a new generation of students.