Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Behmann, Heinrich, Mathematik und Logik, Leipzig, 1927.
Bernays, Paul, "A system of axiomatic set theory," Journal of Symbolic Logic 2, 6–8, 13, 19 (1937, 1941–43, 1948, 1954).
____, "Ueber eine natürliche Erweiterung des Relationenkalküls," in A. Heyting, ed., Constructivity in Mathematics (Amsterdam: North-Holland, 1959), pp.1–14.
____, and A.A. Fraenkel, Axiomatic Set Theory, Amsterdam: North-Holland, 1958.
Church, Alonzo, The Calculi of Lambda Conversion, Princeton, 1941.
Frege, Gottlob, Grundgesetze der Arithmetik, Vol.1, Jena, 1893.
Gödel, Kurt, The Consistency of the Continuum Hypothesis, Princeton, 1940.
Hilbert, David and Paul Bernays, Grundlagen der Mathematik, Vol.1, Berlin, 1934.
Marcus, Ruth B., "Modalities and intensional languages," Synthese 13 (1961), pp.303–322.
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.
Parsons, Charles, "A plea for substitutional quantification," Journal of Philosophy 68 (1971), pp.231–237.
Peano, Giuseppe, Formulaire de Mathématiques, Turin, 1894–99; Paris, 1901.
Peirce, C.S., Collected Papers, Cambridge: Harvard, 1931–35.
Quine, W.V., A System of Logistic, Cambridge: Harvard, 1934.
____, "Logic based on inclusion and abstraction," Journal of Symbolic Logic 2 (1937), pp.145–152. Reprinted in Selected Logic Papers.
____, Mathematical Logic, New York, 1940.
____, Elementary Logic, Boston, 1941.
____, O Sentido da Nova Logica, Sao Paulo, 1944.
____, "On the logic of quantification," Journal of Symbolic Logic 10 (1945), pp.1–12. Reprinted in Selected Logic Papers.
____, Methods of Logic, New York: Holt, 1950, 1959, 1972.
____, Set Theory and Its Logic, Cambridge: Harvard, 1963, 1969.
____, Selected Logic Papers, New York: Random House, 1966.
____, "On the limits of decision," Akten des XIV. Internationalen Kongresses für Philosophie, Wien, 1968, Vol.3, pp.57–62.
____, "Algebraic logic and predicate functors," Indianapolis: Bobbs-Merrill, 1971 (25pp.).
____, "Truth and disquotation," in L. Henkin, ed., Tarski Symposium, Providence: American Mathematical Society, at press.
____, The Roots of Reference, Evanston: Open Court, at press.
Russell, Bertrand, The Principles of Mathematics, Cambridge, England, 1903.
Schönfinkel, Moses, "Ueber die Bausteine der mathematischen Logik," Mathematische Annalen 92 (1924), pp.305–316.
Tarski, Alfred and F.B. Thompson, abstracts in Bulletin of American Mathematical Society 58 (1952), pp. 65f.
Whitehead, A.N. and Bertrand Russell, Principia Mathematica, Vol.1, Cambridge, England, 1910.
Author information
Authors and Affiliations
Editor information
Rights 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