Methods of logic 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Methods of Logic
User Review  Adam  GoodreadsA relatively clear presentation, with rigor approximately between that of a standard introductory text and van Dalen's Logic and Structure. Uses a notation largely abandoned today, which is ... Read full review
Review: Methods of Logic
User Review  GoodreadsVery useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review
Contents
Truth Functions 1 Negation Conjunction and Alternation  1 
Truth Functions  7 
The Conditional  12 
Copyright  
42 other sections not shown
Common terms and phrases
abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schema comes out true components compound conclusion conditional conjunction consistent construed decision procedure deduction DeMorgan's laws Diagram elementary number theory equivalent example existential quantification F are G false follows free variables Godel identity implies inconsistent inference interpret Fx interpretations of Fx irreflexivity ix)Fx Jones logic mathematics means method monadic negation nonempty universe notation objects occurrence open schemata open sentences ordinary language p v q preceding section predicate letters predicateschema premisses purports to name quantification theory quantificational schemata result schematic letters sense sentence letters singular terms Socrates statements stepconditionals subjoin substitution syllogism theory of classes thing tion truth function truth value truthfunctional schemata truthvalue analysis uniform quantification universal closure universal instantiation universal quantification valid schemata words x)(Fx D Gx x)Fx D Fy