REFERENCES
Bar-Hillel, Yehoshua, E. I. J. Poznanski, Michael O. Rabin, and Abraham Robinson (eds.): 1961, Essays on the Foundations of Mathematics, Magnes Press, Jerusalem.
Boolos, George S.: 1984, ‘To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables’, Journal of Philosophy 81, 430–439. Reprinted in Boolos (1998), pp. 54–72.
Boolos, George S.: 1985, ‘Nominalist Platonism’, Philosophical Review 94, 327–344. Reprinted in Boolos (1998), pp. 73–87.
Boolos, George S.: 1998, Logic, Logic, and Logic, Harvard University Press, Cambridge, MA., and London.
Etchemendy, John: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
Hilbert, David: 1926, ‘Über das Unendliche’, Mathematische Annalen 95, 161–190. English translation by Stefen Bauer-Mengelberg in van Heijenoort (1967a), pp 367–392.
Hodges, Wilfred: 1986, ‘Truth in a Structure’, Proceedings of the Aristotelian Society 86, 135–151.
Jech, Thomas J. (ed.): 1974, Axiomatic Set Theory. Proceedings of the Symposia in Pure Mathematics, vol. 13, part 2, American Mathematical Society, Providence.
Lévy, Azriel: 1960, ‘Axiom Schemata of Strong Infinity in Axiomatic Set Theory’, Pacific Journal of Mathematics 10, 223–238.
Lewis, David K.: 1986, On the Plurality of Worlds, Blackwell, Oxford and Cambridge, MA.
McGee, Vann: 1992, ‘Two Problems with Tarski’s Theory of Consequence’, Proceedings of the Aristotelian Society 99, 273–292.
McGee, Vann: 1996, ‘Logical Operations’, Journal of Philosophical Logic 6, 567–580.
McGee, Vann: 1997, ‘How We Learn Mathematical Language’, The Philosophical Review 106, 35–68.
Montague, Richard M.: 1961, ‘Fraenkel’s Addition to the Axioms of Zermelo’, in Bar-Hillel, Poznanski, Rabin, and Robinson (eds.), pp. 91–114
Mostowski, Andrzej: 1957, ‘On a Generalization of Quantifiers’, Fundamenta Mathematicae 44, 12–36.
Quine, Willard van Orman: 1986, Philosophy of Logic, Harvard University Press, Cambridge, MA., and London.
Ray, Greg: 1996, ‘Logical Consequence: A Defense of Tarski’, Journal of Philosophical Logic 6, 617–677.
Rayo, Agustín, and Gabriel Uzquiano: 1999, ‘Toward a Theory of Second-Order Consequence’, Notre Dame Journal of Formal Logic 40, 315–325.
Rayo, Agustín, and Timothy Williamson: forthcoming, ‘A Completeness Theorem for Unrestricted First-order Languages’, in Michael Glanzberg and J. C. Beall (eds.), Lairs and Heaps, Oxford University Press, Oxford.
Reinhardt, William N.: 1974, ‘Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings’, in Jech (ed.), pp. 189–205.
Sher, Gila: 1991, The Bounds of Logic, MIT Press, Cambridge MA.
Shapiro, Stewart: 1991, Foundations without Foundationalism, Oxford University Press, Oxford and New York.
Tarski, Alfred: 1935, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica 1, 261–405. English translation by J. H. Woodger in Tarski (1983), pp. 152–278.
Tarski, Alfred: 1936. ‘Über den Begriff der logischen Folgerung’, Actes du Congres International de Philosophie Scientifique 7, 1–11. English translation by J. H. Woodger in Tarski (1983), pp. 409–420. Page references are to the translation.
Tarski, Alfred: 1951, ‘Remarks on the Formalization of the Predicate Calculus’, Bulletin of the American Mathematical Society 57, 81–82.
Tarski, Alfred: 1983, Logic, Semantics, Metamathematics, 2nd ed. Indianapolis: Hackett.
Tarski, Alfred: 1986, ‘What are Logical Notions?’, History and Philosophy of Logic 7, 143–154. This is the posthumous text of a 1966 lecture, edited by John Corcoran.
Van Heijenoort, Jean: 1967, ‘Logic as Calculus and Logic as Language’, Synthese 17, 324–330.
Van Heijenoort, Jean (ed.): 1967a, From Frege to Gödel, Harvard University Press, Cambridge MA.
Von Neumann, John: 1925, ‘Eine Axiomatisierung der Mengerlehre’, Journal für die reine und angewandte Mathematik 154, 219–240. English translation by Stefan Bauer-Mengelberg and Dagfinn Føllesdal in van Heijenoort (1967a), pp. 393–413.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mcgee, V. TARSKI’S STAGGERING EXISTENTIAL ASSUMPTIONS. Synthese 142, 371–387 (2005). https://doi.org/10.1007/s11229-005-3721-z
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-3721-z