N. Goodman and W. V. Quine, "Steps Toward a Constructive Nominalism", Journal of Symbolic Logic, 12 (1947).

    Contents

  1. Renunciation of Abstract Entities
  2. Renunciation of Infinity
  3. The Nominalist's Problems
  4. Some Nominalistic Reductions
  5. Elements of Nominalistic Syntax
  6. Some Auxiliary Definitions
  7. Variables and Quantification
  8. Formulas
  9. Axioms and Rules
  10. Proofs and Theorems
  11. Conclusion