Elementary Logic Revised Edition

Name: Elementary Logic Revised Edition
Availability: InStock
ISBN: 9780674244511

ISBN-10: 0674244516

ISBN-13: 9780674244511

Edition: 3rd 1980 (Revised)

Authors: Willard Van Orman Quine

List price: $33.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy used: $7.70

Buy new: $41.58

Marketplace

4 new & used from $3.77

what's this?

Rush Rewards U
Members Receive:

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

Description:

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of…

Book details

List price: $33.00
Edition: 3rd
Copyright year: 1980
Publisher: Harvard University Press
Publication date: 10/15/1980
Binding: Paperback
Pages: 144
Size: 5.50" wide x 8.25" long x 0.40" tall
Weight: 0.594
Language: English



Preface to the Revised Edition Preface to the 1941 Edition



Introduction



Statement Composition



Truth Values



Conjunction



Denial



'Or'



'But', 'although', 'unless'



'If'



General and Subjunctive Conditionals



'Because', 'hence', 'that'



Reduction to Conjunction and Denial



Grouping



Verbal Cues to Grouping



Paraphrasing Inward



Truth-Functional Transformations



Substitution in Truth-Functional Schemata



Instances



Equivalent Schemata



Truth-Functional Equivalence



Replacement



Transformation



Proofs of Equivalence



Alternation and Duality



Normal Schemata



Validity



Truth-Functional Truth



Inconsistency and Truth-Functional Falsity



Implication between Schemata



Truth-Functional Implication



Quantification



'Something'



Quantifiers



Variables and Open Sentences



Variants of 'Some'



'Some' Restricted



'No'



'Every'



Variants of 'Every'



Persons



Times and Places



Quantification in Context



Quantificational Inference



Quantificational Schemata



Predicates



Restraints on Introducing



Substitution Extended



Validity Extended



Equivalence Extended



Inconsistency Proofs



Logical Arguments



Identity and Singular Terms



Membership


Index