Skip to main content
Log in

TARSKI’S STAGGERING EXISTENTIAL ASSUMPTIONS

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

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

    Google Scholar 

  • Boolos, George S.: 1985, ‘Nominalist Platonism’, Philosophical Review 94, 327–344. Reprinted in Boolos (1998), pp. 73–87.

    Google Scholar 

  • Boolos, George S.: 1998, Logic, Logic, and Logic, Harvard University Press, Cambridge, MA., and London.

    Google Scholar 

  • Etchemendy, John: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • Hilbert, David: 1926, ‘Über das Unendliche’, Mathematische Annalen 95, 161–190. English translation by Stefen Bauer-Mengelberg in van Heijenoort (1967a), pp 367–392.

    Google Scholar 

  • Hodges, Wilfred: 1986, ‘Truth in a Structure’, Proceedings of the Aristotelian Society 86, 135–151.

    Google Scholar 

  • Jech, Thomas J. (ed.): 1974, Axiomatic Set Theory. Proceedings of the Symposia in Pure Mathematics, vol. 13, part 2, American Mathematical Society, Providence.

    Google Scholar 

  • Lévy, Azriel: 1960, ‘Axiom Schemata of Strong Infinity in Axiomatic Set Theory’, Pacific Journal of Mathematics 10, 223–238.

    Google Scholar 

  • Lewis, David K.: 1986, On the Plurality of Worlds, Blackwell, Oxford and Cambridge, MA.

    Google Scholar 

  • McGee, Vann: 1992, ‘Two Problems with Tarski’s Theory of Consequence’, Proceedings of the Aristotelian Society 99, 273–292.

    Google Scholar 

  • McGee, Vann: 1996, ‘Logical Operations’, Journal of Philosophical Logic 6, 567–580.

    Google Scholar 

  • McGee, Vann: 1997, ‘How We Learn Mathematical Language’, The Philosophical Review 106, 35–68.

    Google Scholar 

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

    Google Scholar 

  • Quine, Willard van Orman: 1986, Philosophy of Logic, Harvard University Press, Cambridge, MA., and London.

    Google Scholar 

  • Ray, Greg: 1996, ‘Logical Consequence: A Defense of Tarski’, Journal of Philosophical Logic 6, 617–677.

    Google Scholar 

  • Rayo, Agustín, and Gabriel Uzquiano: 1999, ‘Toward a Theory of Second-Order Consequence’, Notre Dame Journal of Formal Logic 40, 315–325.

    Google Scholar 

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

    Google Scholar 

  • Shapiro, Stewart: 1991, Foundations without Foundationalism, Oxford University Press, Oxford and New York.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Tarski, Alfred: 1951, ‘Remarks on the Formalization of the Predicate Calculus’, Bulletin of the American Mathematical Society 57, 81–82.

    Google Scholar 

  • Tarski, Alfred: 1983, Logic, Semantics, Metamathematics, 2nd ed. Indianapolis: Hackett.

    Google Scholar 

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

    Google Scholar 

  • Van Heijenoort, Jean: 1967, ‘Logic as Calculus and Logic as Language’, Synthese 17, 324–330.

    Google Scholar 

  • Van Heijenoort, Jean (ed.): 1967a, From Frege to Gödel, Harvard University Press, Cambridge MA.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-3721-z

Keywords

Navigation