ON TARSKI’S ASSUMPTIONS

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

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

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

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.Google Scholar

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.Google Scholar

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