Mathematical LogicW. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. |
Contents
I | 1 |
II | 11 |
III | 14 |
IV | 18 |
V | 23 |
VI | 27 |
VII | 33 |
VIII | 37 |
XXXIII | 167 |
XXXIV | 170 |
XXXV | 175 |
XXXVI | 179 |
XXXVII | 185 |
XXXVIII | 189 |
XXXIX | 195 |
XL | 197 |
IX | 42 |
X | 45 |
XI | 50 |
XII | 55 |
XIII | 63 |
XIV | 65 |
XV | 71 |
XVI | 76 |
XVII | 80 |
XVIII | 85 |
XIX | 89 |
XX | 96 |
XXI | 101 |
XXII | 105 |
XXIII | 109 |
XXIV | 117 |
XXV | 119 |
XXVI | 123 |
XXVII | 128 |
XXVIII | 134 |
XXIX | 140 |
XXX | 146 |
XXXI | 153 |
XXXII | 160 |
Other editions - View all
Common terms and phrases
abbreviation abstract alphabetic variants alternation analogue antecedent arithmetic atomic formulæ axioms of membership axioms of quantification bears belongs biconditional bound closure conditional conjunction connective construed containing free occurrences convenient defined definition dots element elementhood entities equivalent expression false fashion Fmla formal deduction free variables Frege function hence joint denial Jones logical formula logical truths Math mathematical induction mathematical logic matrix ments metatheorems mode of composition modus ponens mortal names natural number notion pairs parentheses ponentials prefix primitive notation Proof similar protosyntactical quasi-quotation quotation ratios real numbers relation respect result of putting S₁ S₂ sense sequence signed real simply Socrates statement composition symbolically syntactical syntax tautologous forms theory tion true truth table truth value truth-functional components turn ye Nn Γφ