Skip to main content
Log in

ON TARSKI’S 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.

REFERENCES

  • Cameron, P. and Wilfrid Hodges: forthcoming, ‘Some Combinations of Imperfect Information’.

  • Dauben, Joseph W.: 1979, Georg Cantor; His Mathematics and Philosophy of the Infinite, Harvard University Press, Cambridge

    Google Scholar 

  • Feferman, Solomon: 1999, ‘Tarski and Gödel: Between the Lines’, in Jan Wolenski and Eckehart Köhler (eds.), pp. 53–63.

  • Givant, Steven: 1999, ‘Unifying Threads in Alfred Tarski’s Work’, The Mathematical Intelligencer 21(1), 47–58.

    Google Scholar 

  • Halonen, Ilpo and Jaakko Hintikka: 2000, ‘Aristotelian Explanations’, Studies in History and Philosophy of Science 31, 125–136.

    Google Scholar 

  • Henkin, Leon et al. (eds.): 1974, Proceedings of the Tarski Symposium (Proceedings of Symposia in Pure Mathematics, Vol. XXV), American Mathematical Society, Providence, R.I.

    Google Scholar 

  • Henkin, Leon, J. Donald Monk, and Alfred Tarski: 1971, Cylindrical Algebras, Part I, North-Holland, Amsterdam: 1985, Part II, ibid.

    Google Scholar 

  • Hilbert, David: 1903, Grundlagen der Geometrie, 2nd edn, Teubner, Leipzig. (First edition, 1899, does not contain the crucial axiom.)

    Google Scholar 

  • Hintikka, Jaakko: 2004(a), ‘Independence-Friendly Logic and Axiomatic Set Theory’, Annals of Pure and Applied Logic 126, 313–333.

    Google Scholar 

  • Hintikka, Jaakko: 2004(b), ‘On the Different Identities of Identity: A Historical and Critical Essay’, in Guttorm Fløistad (ed.), Language, Meaning, Interpretation, Kluwer Academic Publishers, Dordrecht, pp. 117–139.

    Google Scholar 

  • Hintikka, Jaakko: 2001A, ‘Post-Tarskian Truth’, Synthese 125, 17–36.

    Google Scholar 

  • Hintikka, Jaakko: 2001B, ‘The Proper Treatment of Quantifiers in Ordinary Logic’, in Ghita Holmström-Hintikka, Sten Lindström, and Rysiek Slivinski (eds.), Collected Papers of Stig Kanger, with Essays on His Life and Work, Vol. II, Kluwer Academic, Dordrecht, pp. 87–95.

    Google Scholar 

  • Hintikka, Jaakko: 1998, ‘Truth-Definitions, Skolem Functions and Axiomatic Set Theory’, Bulletin for Symbolic Logic 4, 303–337.

    Google Scholar 

  • Hintikka, Jaakko: 1973, Logic, Language-Games and Information, Clarendon Press, Oxford.

    Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu, 1997, ‘Game-Theoretical Semantics’, in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, pp. 361–410.

    Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu: 1999, ‘Tarski’s Guilty Secret: Compositionality’, in Jan Wolenski and Eckehart Köhler (eds.), pp. 217–230.

  • Hodges, Wilfrid: 1997a, ‘Compositional Semantics for a Language of Imperfect Information’, Journal of JPGL 5, 539–563.

    Google Scholar 

  • Hodges, Wilfrid: 1997b, ‘Some Strange Quantifiers’, in J. Mycielski et al., (eds.), Structures in Logic and Computer Science (Lecture Notes in Computer Science), Vol. 1261, Springer, Berlin, pp. 51–65.

    Google Scholar 

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

    Google Scholar 

  • Jónsson, Bjarni and Alfred Tarski: 1951, ‘Boolean Algebras with Operators, Part I’, American Journal of Mathematics 73, 891–939. Also in Tarski 1986, Vol. 3, pp. 369–419.

    Google Scholar 

  • Jónsson, Bjarni and Alfred Tarski: 1952, ‘Boolean Algebras and Operators, Part II’, Ibid. 74, 127–162. Also in Tarski 1986, Vol. 3, pp. 421–458.

    Google Scholar 

  • Luschei, Eugene C.: 1962, The Logical Systems of Lesniewski, North-Holland, Amsterdam.

    Google Scholar 

  • Milne, Peter: 1999, ‘Tarski, Truth and Model Theory’, Proceedings of the Aristotelian Society 99, 141–167.

    Google Scholar 

  • Russell, Bertrand: 1919, Introduction to Mathematical Philosophy, Allen and Unwin, London.

    Google Scholar 

  • Russell, Bertrand and A. N. Whitehead: 1910–1913, Principia Mathematica, Vols. I–III, Cambridge University Press, Cambridge.

    Google Scholar 

  • Tarski, Alfred: 1992, ‘Drei Briefe and Otto Neurath’, in Rudolf Haller and Jan Tarski (eds.), Grazer Philosophische Studien, Vol. 43, pp. 11–32.

  • Tarski, Alfred: 1987, ‘A Philosophical Letter of Alfred Tarski’, with a prefatory note by Morton White, The Journal of Philosophy 84, 28–32.

    Google Scholar 

  • Tarski, Alfred, 1986, in Steven R. Givant and Ralph A. McKenzie (eds.), Collected Papers, Vols. 1–4, Birkhäuser, Basel and Boston.

    Google Scholar 

  • Tarski, Alfred: 1956, Logic, Semantics and Metamathematics, Clarendon Press, Oxford.

    Google Scholar 

  • Tarski, Alfred: 1951, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley and Los Angeles.

    Google Scholar 

  • Tarski, Alfred: 1935, ‘Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica 1, 261–405. Reprinted in Tarski 1986, Vol. 2, pp. 51–198. English translation in Tarski 1956, pp. 152–278.

    Google Scholar 

  • Tarski, Alfred and Steven Givant: 1987, A Formalization of Set Theory without Variables, American Mathematical Society, Providence, R.I.

    Google Scholar 

  • Wolenski, Jan and Eckehart Köhler (eds.): 1999, Alfred Tarski and the Vienna Circle, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hintikka, J. ON TARSKI’S ASSUMPTIONS. Synthese 142, 353–369 (2005). https://doi.org/10.1007/s11229-005-3720-0

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-3720-0

Navigation