Skip to main content

The variable

Part of the Lecture Notes in Mathematics book series (LNM,volume 453)

Keywords

  • 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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Behmann, Heinrich, Mathematik und Logik, Leipzig, 1927.

    Google Scholar 

  • Bernays, Paul, "A system of axiomatic set theory," Journal of Symbolic Logic 2, 6–8, 13, 19 (1937, 1941–43, 1948, 1954).

    Google Scholar 

  • ____, "Ueber eine natürliche Erweiterung des Relationenkalküls," in A. Heyting, ed., Constructivity in Mathematics (Amsterdam: North-Holland, 1959), pp.1–14.

    Google Scholar 

  • ____, and A.A. Fraenkel, Axiomatic Set Theory, Amsterdam: North-Holland, 1958.

    MATH  Google Scholar 

  • Church, Alonzo, The Calculi of Lambda Conversion, Princeton, 1941.

    Google Scholar 

  • Frege, Gottlob, Grundgesetze der Arithmetik, Vol.1, Jena, 1893.

    Google Scholar 

  • Gödel, Kurt, The Consistency of the Continuum Hypothesis, Princeton, 1940.

    Google Scholar 

  • Hilbert, David and Paul Bernays, Grundlagen der Mathematik, Vol.1, Berlin, 1934.

    Google Scholar 

  • Marcus, Ruth B., "Modalities and intensional languages," Synthese 13 (1961), pp.303–322.

    CrossRef  MATH  Google Scholar 

  • 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 

  • Parsons, Charles, "A plea for substitutional quantification," Journal of Philosophy 68 (1971), pp.231–237.

    CrossRef  Google Scholar 

  • Peano, Giuseppe, Formulaire de Mathématiques, Turin, 1894–99; Paris, 1901.

    Google Scholar 

  • Peirce, C.S., Collected Papers, Cambridge: Harvard, 1931–35.

    Google Scholar 

  • Quine, W.V., A System of Logistic, Cambridge: Harvard, 1934.

    MATH  Google Scholar 

  • ____, "Logic based on inclusion and abstraction," Journal of Symbolic Logic 2 (1937), pp.145–152. Reprinted in Selected Logic Papers.

    CrossRef  MATH  Google Scholar 

  • ____, Mathematical Logic, New York, 1940.

    Google Scholar 

  • ____, Elementary Logic, Boston, 1941.

    Google Scholar 

  • ____, O Sentido da Nova Logica, Sao Paulo, 1944.

    Google Scholar 

  • ____, "On the logic of quantification," Journal of Symbolic Logic 10 (1945), pp.1–12. Reprinted in Selected Logic Papers.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • ____, Methods of Logic, New York: Holt, 1950, 1959, 1972.

    MATH  Google Scholar 

  • ____, Set Theory and Its Logic, Cambridge: Harvard, 1963, 1969.

    MATH  Google Scholar 

  • ____, Selected Logic Papers, New York: Random House, 1966.

    Google Scholar 

  • ____, "On the limits of decision," Akten des XIV. Internationalen Kongresses für Philosophie, Wien, 1968, Vol.3, pp.57–62.

    Google Scholar 

  • ____, "Algebraic logic and predicate functors," Indianapolis: Bobbs-Merrill, 1971 (25pp.).

    Google Scholar 

  • ____, "Truth and disquotation," in L. Henkin, ed., Tarski Symposium, Providence: American Mathematical Society, at press.

    Google Scholar 

  • ____, The Roots of Reference, Evanston: Open Court, at press.

    Google Scholar 

  • Russell, Bertrand, The Principles of Mathematics, Cambridge, England, 1903.

    Google Scholar 

  • Schönfinkel, Moses, "Ueber die Bausteine der mathematischen Logik," Mathematische Annalen 92 (1924), pp.305–316.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Tarski, Alfred and F.B. Thompson, abstracts in Bulletin of American Mathematical Society 58 (1952), pp. 65f.

    Google Scholar 

  • Whitehead, A.N. and Bertrand Russell, Principia Mathematica, Vol.1, Cambridge, England, 1910.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Quine, W.V. (1975). The variable. In: Parikh, R. (eds) Logic Colloquium. Lecture Notes in Mathematics, vol 453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0064873

Download citation

  • DOI: https://doi.org/10.1007/BFb0064873

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07155-6

  • Online ISBN: 978-3-540-37483-1

  • eBook Packages: Springer Book Archive