Methods of Logic Fourth Edition

Name: Methods of Logic Fourth Edition
Availability: InStock
ISBN: 9780674571761

ISBN-10: 0674571762

ISBN-13: 9780674571761

Edition: 4th 1982

Authors: Willard Van Orman Quine

List price: $37.50

30 day, 100% satisfaction guarantee!

Sell

Get cash fast!

Buy used: $11.26

Buy new: $34.34

Marketplace

5 new & used from $8.12

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $37.50
Edition: 4th
Copyright year: 1982
Publisher: Harvard University Press
Publication date: 11/16/1982
Binding: Paperback
Pages: 344
Size: 6.00" wide x 9.00" long x 0.75" tall
Weight: 1.232
Language: English



Introduction



Truth Functions



Negation, Conjunction, and Alternation



Truth Functions



The Conditional



Grouping



Truth-Value Analysis



Consistency and Validity



Implication



Words into Symbols



Equivalence



Alternational Normal Schemata



Simplification



Duality



Axioms



General Terms and Quantifiers



Categorical Statements



Venn's Diagrams



Syllogisms



Limits of These Methods



Boolean Schemata



Tests of Validity



Some Boolean Incidentals



The Bound Variable



Quantification



Rules of Passage. Monadic Schemata



Prenexity and Purity



Validity Again



Substitution



General Theory of Quantification



Schemata Extended



Substitution Extended



Pure Existentials



The Main Method



Application



Completeness



Louml;wenheim's Theorem



Decisions and the Undecidable



Functional Normal Forms



Herbrand's Method



Other Methods for Validity



Deduction



Soundness



Deductive Strategy



Glimpses Beyond



Singular Terms



Identity



Descriptions



Elimination of Singular Terms



Elimination of Variables



Classes



Number



Axiomatic Set Theory Partial Answers to Exercises


Bibliography


Index