{"product_id":"methods-of-logic-9780674571761","title":"Methods of Logic","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eQuine’s widely used textbook of modern formal logic now offers a number of new features: updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003eQuine’s book is of first-rate quality, and presents the materials of modern formal logic in a masterly fashion… A superb text: authoritative, mature, and brilliant and original in its exposition. -- Ernest Nagel\u003cbr\u003eFor a treatment of such modest size, it abounds in exciting ideas, freshness of perspective on old logical and philosophical problems, and in lucid and exact analysis. -- R. J. Trayhern\u003cbr\u003eIt is admirably precise and it is written with a deliciously light touch. -- Joseph S. Ullian\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eIntroduction    PART I: Truth Functions   1. Negation, Conjunction, and Alternation    2. Truth Functions    3. The Conditional    4. Grouping   5. Truth-Value Analysis    6. Consistency and Validity    7. Implication    8. Words into Symbols    9. Equivalence    10. Alternational Normal Schemata    11. Simplification   12. Duality   13. Axioms       PART II: General Terms and Quantifiers   14. Categorical Statements    15. Venn's Diagrams    16. Syllogisms    17. Limits of These Methods    18. Boolean Schemata    19. Tests of Validity    20. Some Boolean Incidentals    21. The Bound Variable   22. Quantification    23. Rules of Passage. Monadic Schemata    24. Prenexity and Purity    25. Validity Again    26. Substitution       PART III: General Theory of Quantification   27. Schemata Extended   28. Substitution Extended   29. Pure Existentials   30. The Main Method   31. Application   32. Completeness   33. Lowenheim's Theorem   34. Decisions and the Undecidable   35. Functional Normal Forms   36. Herbrand's Method   37. Other Methods for Validity   38. Deduction    39. Soundness    40. Deductive Strategy       PART IV: Glimpses Beyond   41. Singular Terms    42. Identity    43. Descriptions    44. Elimination of Singular Terms    45. Elimination of Variables    46. Classes    47. Number    48. Axiomatic Set Theory     Partial Answers to Exercises    Bibliography    Index","brand":"Harvard University Press","offers":[{"title":"Default Title","offer_id":49403598012759,"sku":"9780674571761","price":28.76,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780674571761.jpg?v=1730483937","url":"https:\/\/bookcurl.com\/products\/methods-of-logic-9780674571761","provider":"Book Curl","version":"1.0","type":"link"}