The variable

  • W. V. Quine
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 453)


Decision Procedure Relative Clause Axiom Schema Bindable Variable Complex Predicate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Behmann, Heinrich, Mathematik und Logik, Leipzig, 1927.Google Scholar
  2. Bernays, Paul, "A system of axiomatic set theory," Journal of Symbolic Logic 2, 6–8, 13, 19 (1937, 1941–43, 1948, 1954).Google Scholar
  3. ____, "Ueber eine natürliche Erweiterung des Relationenkalküls," in A. Heyting, ed., Constructivity in Mathematics (Amsterdam: North-Holland, 1959), pp.1–14.Google Scholar
  4. ____, and A.A. Fraenkel, Axiomatic Set Theory, Amsterdam: North-Holland, 1958.zbMATHGoogle Scholar
  5. Church, Alonzo, The Calculi of Lambda Conversion, Princeton, 1941.Google Scholar
  6. Frege, Gottlob, Grundgesetze der Arithmetik, Vol.1, Jena, 1893.Google Scholar
  7. Gödel, Kurt, The Consistency of the Continuum Hypothesis, Princeton, 1940.Google Scholar
  8. Hilbert, David and Paul Bernays, Grundlagen der Mathematik, Vol.1, Berlin, 1934.Google Scholar
  9. Marcus, Ruth B., "Modalities and intensional languages," Synthese 13 (1961), pp.303–322.zbMATHCrossRefGoogle Scholar
  10. Nolin, L., "Sur l'algèbre des prédicats," in the colloquium volume Le Raisonnement en Mathématiques et en Sciences Expérimentales, Paris: Centre National de la Recherche Scientifique, 1958, pp.33–37.Google Scholar
  11. Parsons, Charles, "A plea for substitutional quantification," Journal of Philosophy 68 (1971), pp.231–237.CrossRefGoogle Scholar
  12. Peano, Giuseppe, Formulaire de Mathématiques, Turin, 1894–99; Paris, 1901.Google Scholar
  13. Peirce, C.S., Collected Papers, Cambridge: Harvard, 1931–35.Google Scholar
  14. Quine, W.V., A System of Logistic, Cambridge: Harvard, 1934.zbMATHGoogle Scholar
  15. ____, "Logic based on inclusion and abstraction," Journal of Symbolic Logic 2 (1937), pp.145–152. Reprinted in Selected Logic Papers.zbMATHCrossRefGoogle Scholar
  16. ____, Mathematical Logic, New York, 1940.Google Scholar
  17. ____, Elementary Logic, Boston, 1941.Google Scholar
  18. ____, O Sentido da Nova Logica, Sao Paulo, 1944.Google Scholar
  19. ____, "On the logic of quantification," Journal of Symbolic Logic 10 (1945), pp.1–12. Reprinted in Selected Logic Papers.MathSciNetzbMATHCrossRefGoogle Scholar
  20. ____, Methods of Logic, New York: Holt, 1950, 1959, 1972.zbMATHGoogle Scholar
  21. ____, Set Theory and Its Logic, Cambridge: Harvard, 1963, 1969.zbMATHGoogle Scholar
  22. ____, Selected Logic Papers, New York: Random House, 1966.Google Scholar
  23. ____, "On the limits of decision," Akten des XIV. Internationalen Kongresses für Philosophie, Wien, 1968, Vol.3, pp.57–62.Google Scholar
  24. ____, "Algebraic logic and predicate functors," Indianapolis: Bobbs-Merrill, 1971 (25pp.).Google Scholar
  25. ____, "Truth and disquotation," in L. Henkin, ed., Tarski Symposium, Providence: American Mathematical Society, at press.Google Scholar
  26. ____, The Roots of Reference, Evanston: Open Court, at press.Google Scholar
  27. Russell, Bertrand, The Principles of Mathematics, Cambridge, England, 1903.Google Scholar
  28. Schönfinkel, Moses, "Ueber die Bausteine der mathematischen Logik," Mathematische Annalen 92 (1924), pp.305–316.MathSciNetzbMATHCrossRefGoogle Scholar
  29. Tarski, Alfred and F.B. Thompson, abstracts in Bulletin of American Mathematical Society 58 (1952), pp. 65f.Google Scholar
  30. Whitehead, A.N. and Bertrand Russell, Principia Mathematica, Vol.1, Cambridge, England, 1910.Google Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1975

Authors and Affiliations

  • W. V. Quine
    • 1
  1. 1.Havard UniversityUSA

Personalised recommendations