## Selected Logic PapersFor more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Whitehead and the Rise of Modern Logic 1941 | 3 |

Logic Symbolic 1954 | 37 |

A Method of Generating Part of Arithmetic Without Use of Intuitive Logic 1934 | 52 |

Definition of Substitution 1936 | 61 |

Concatenation as a Basis for Arithmetic 1946 | 70 |

Settheoretic Foundations for Logic 1936 | 83 |

Logic Based on Inclusion and Abstraction 1937 | 100 |

On Ordered Pairs and Relations 194546 | 110 |

Interpretations of Sets of Conditions 1953 | 205 |

Churchs Theorem on the Decision Problem 1954 | 212 |

Quantification and the Empty Domain 1953 | 220 |

Reduction to a Dyadic Predicate 1953 | 224 |

Variables Explained Away I960 | 227 |

Truth Paradox and Godels Theorem 1992 | 236 |

Immanence and Validity 1991 | 242 |

MacHale on Boole 1985 | 251 |

On Inconsistency and a Socalled Axiom of Infinity 1952 | 114 |

Element and Number 1941 | 121 |

On Freges Way Out 1954 | 146 |

Completeness of the Propositional Calculus 1937 | 159 |

On Cores and Prime Implicants of Truth Functions 1958 | 164 |

Two Theorems about Truth Functions 1951 | 172 |

On Boolean Functions 1949 | 176 |

On the Logic of Quantification 1945 | 181 |

A Proof Procedure for Quantification Theory 1954 | 196 |

Peirces Logic 1989 | 258 |

Peano as Logician 1982 | 266 |

Free Logic Description and Virtual Classes 1994 | 278 |

The Inception of New Foundations 1987 | 286 |

Pythagorean Triples and Fermat s Last Theorem 1992 | 290 |

293 | |

301 | |

### Other editions - View all

### Common terms and phrases

A-formula applied arithmetic assignment atoms attributes axiom axiom of infinity Boole Boole's Boolean algebra Boolean function calculus called cardinal number class abstraction clause co-inconsistency concatenation consistent construed context defined definition derivable elementary elementhood elements empty class equivalent existence prefixes existential existential quantifiers expressions F-theorem finite follows formula free variables Frege functional normal form Godel hence identity implies infinite interpretation Lemma lexical instances Mathematical Logic matical medadically monadic natural numbers negation notation notion number theory objects occurrences open sentences ordered pair ordinal paper paradox Peano Peirce phrase equation positive integers predicate letters prenex prime implicants principle proof propositional propositional calculus protosyntax proved quantification theory recursive relation Russell Russell's Russell's paradox schema schemata sequence set theory signs singular terms statements substitution subsumes Tarski theorem theory of types tion true truth functions truth table truth values truth-function unit class universal quantifiers valid Whitehead Zermelo's