Summer Reading Sale
 
 

Recently Viewed clear list


Original Essays | June 20, 2014

Lauren Owen: IMG The Other Vampire



It's a wild and thundery night. Inside a ramshackle old manor house, a beautiful young girl lies asleep in bed. At the window, a figure watches... Continue »

spacer
Qualifying orders ship free.
$17.50
Used Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Philosophy- Logic

Methods of Logic 4TH Edition

by

Methods of Logic 4TH Edition Cover

 

Synopses & Reviews

Publisher Comments:

This widely used textbook of modern formal logic now offers a number of new features. Incorporating 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, Quine's new edition will serve admirably both for classroom and for independent use.

About the Author

W. V. Quinewas Edgar Pierce Professor of Philosophy, <>Harvard University. He wrote twenty-one books, thirteen of them published by Harvard University Press.

Table of Contents

Introduction

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. Löwenheim'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

Product Details

ISBN:
9780674571761
Author:
Quine, Willard V.
Author:
Quine, W. V.
Author:
Quine, Willard V.
Publisher:
Harvard University Press
Location:
Cambridge, Massachusetts
Subject:
Philosophy
Subject:
Logic
Subject:
Ethics and logic
Subject:
General Philosophy
Subject:
PHILOSOPHY / Logic
Copyright:
Edition Number:
4
Edition Description:
Trade paper
Series Volume:
Nr. 329
Publication Date:
July 2006
Binding:
TRADE PAPER
Grade Level:
General/trade
Language:
English
Illustrations:
none
Pages:
344
Dimensions:
9 x 6 in 18 oz

Other books you might like

  1. Introduction to Symbolic Logic and... New Trade Paper $14.95
  2. Mathematical Logic, Revised Edition Used Trade Paper $12.95
  3. Natural Deduction: A... New Trade Paper $9.95
  4. On Formally Undecidable Propositions... New Trade Paper $8.95
  5. Mathematical Logic New Trade Paper $54.50
  6. What Is Mathematical Logic? New Trade Paper $6.95

Related Subjects

Humanities » Philosophy » General
Humanities » Philosophy » Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Methods of Logic 4TH Edition Used Trade Paper
0 stars - 0 reviews
$17.50 In Stock
Product details 344 pages Harvard University Press - English 9780674571761 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.