References for Alfred Tarski

Version for printing
  1. G N Moore, Biography in Dictionary of Scientific Biography (New York 1970-1990).
    http://www.encyclopedia.com/topic/Alfred_Tarski.aspx
  2. Biography in Encyclopaedia Britannica.
    http://www.britannica.com/eb/article-9071332/Alfred-Tarski

Books:

  1. A Cantini, I fondamenti della matematica da Dedekind a Tarski (Turin, 1979).
  2. J Etchemendy, Tarski on truth and logical consequence (Stanford, Ca., 1986).
  3. L Henkin, J Addison, W Craig, C C Chang, D Scott and R Vaught (eds.), Proceedings of the Tarski Symposium, University of California, Berkeley, Calif., June 23-30, 1971 (Providence, R.I., 1979).
  4. L Henkin, J Addison, W Craig, C C Chang, D Scott and R Vaught (eds.), Proceedings of the Tarski Symposium, University of California, Berkeley, Calif., June 23-30, 1971 (Providence, R.I., 1974).
  5. P Simons, Philosophy and logic in Central Europe from Bolzano to Tarski : Selected essays (Dordrecht, 1992).
  6. J Wolenski and E Köhler, Alfred Tarski and the Vienna Circle : Austro-Polish connections in logical empiricism, Papers from the International Conference held in Vienna, July 12-14, 1997 (Dordrecht, 1999).

Articles:

  1. J W Addison, Eloge : Alfred Tarski : 1901-1983, Ann. Hist. Comput. 6 (4) (1984), 335-336.
  2. Alfred Tarski (1901-1983), Studia Logica 44 (4) (1985), 319.
  3. I H Anellis, Tarski's development of Peirce's logic of relations, in Studies in the logic of Charles Sanders Peirce (Bloomington, IN, 1997), 271-303.
  4. C N Bach, Tarski's 1936 account of logical consequence, Modern Logic 7 (2) (1997), 109-130.
  5. Bibliography : Alfred Tarski, in Proceedings of the Tarski Symposium, Univ. California, Berkeley, Calif., 1971 (Providence, R.I., 1974), 487-498.
  6. W J Blok and D Pigozzi, Alfred Tarski's work on general metamathematics, J. Symbolic Logic 53 (1) (1988), 36-50.
  7. R Chuaqui, Alfred Tarski, mathematician of truth (Portuguese), Bol. Soc. Paran. Mat. (2) 6 (1) (1985), 1-10.
  8. A Coffa, Carnap, Tarski and the search for truth, Nous 21 (4) (1987), 547-572.
  9. J Czelakowski and G Malinowski, Key notions of Tarski's methodology of deductive systems, Studia Logica 44 (4) (1985), 321-351.
  10. N C da Costa, A Tarski, Sebastičo e Silva and the concept of structure (Portuguese), Bol. Soc. Paran. Mat. (2) 7 (2) (1986), 137-145.
  11. P de Rouilhan, Tarski et l'universalité de la logique : Remarques sur le post-scriptum au 'Wahrheitsbegriff', in Le formalisme en question, Saint-Malo, 1994 (Paris, 1998), 85-102.
  12. D Delfitto, Toward a historical reading of A Tarski's 'Wahrheitsbegriff' (Italian), Teoria 6 (2) (1986), 151-170.
  13. J Doner and W Hodges, Alfred Tarski and decidable theories, J. Symbolic Logic 53 (1) (1988), 20-35.
  14. J Etchemendy, Tarski on truth and logical consequence, J. Symbolic Logic 53 (1) 1988), 51-79.
  15. A B Feferman, How the unity of science saved Alfred Tarski, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 43-52.
  16. A B Feferman, Alfred Tarski, American National Biography 19 (Oxford, 1999), 330-332.
  17. S Feferman, Tarski and Gödel : between the lines, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 53-63.
  18. J Floyd, Prose versus proof : Wittgenstein on Gödel, Tarski and truth, Philos. Math. (3) 9 (3) (2001), 280-307.
  19. J F Fox, What were Tarski's truth-definitions for?, Hist. Philos. Logic 10 (2) (1989), 165-179.
  20. S R Givant, Bibliography of Alfred Tarski, J. Symbolic Logic 51 (4) (1986), 913-941.
  21. S R Givant, A portrait of Alfred Tarski (Czech), Pokroky Mat. Fyz. Astronom. 37 (4) (1992), 185-205.
  22. S R Givant, A portrait of Alfred Tarski, Math. Intelligencer 13 (3) (1991), 16-32.
  23. S R Givant and V Huber-Dyson, Alfred Tarski, a kaleidoscope of personal impressions (Polish), Wiadom. Mat. 32 (1996), 95-127.
  24. S R Givant, Tarski's development of logic and mathematics based on the calculus of relations, in Algebraic logic, Budapest, 1988 (Amsterdam, 1991), 189-215.
  25. S R Givant, Unifying threads in Alfred Tarski's work, Math. Intelligencer 21 (1) (1999), 47-58.
  26. M Gomez-Torrente, On a fallacy attributed to Tarski, Hist. Philos. Logic 19 (4) (1998), 227-234.
  27. M Gómez-Torrente, Tarski on logical consequence, Notre Dame J. Formal Logic 37 (1) (1996), 125-151.
  28. G G Granger, Le problème du fondement selon Tarski, in Le formalisme en question, Saint-Malo, 1994 (Paris, 1998), 37-47.
  29. W Hodges, Alfred Tarski, J. Symbolic Logic 51 (4) (1986), 866-868.
  30. B Jonsson, The contributions of Alfred Tarski to general algebra, J. Symbolic Logic 51 (4) (1986), 883-889.
  31. A Kirsch, Das Paradoxon von Hausdorff, Banach und Tarski : Kann man es 'verstehen'?, Math. Semesterber. 37 (2) (1990), 216-239.
  32. L Kvasz, Tarski and Wittgenstein on semantics of geometrical figures, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 179-191.
  33. A Lévy, Alfred Tarski's work in set theory, J. Symbolic Logic 53 (1) (1988), 2-6.
  34. V McGee, Logical operations, J. Philos. Logic 25 (6) (1996), 567-580.
  35. G F McNulty, Alfred Tarski and undecidable theories, J. Symbolic Logic 51 (4) (1986), 890-898.
  36. J D Monk, The contributions of Alfred Tarski to algebraic logic, J. Symbolic Logic 51 (4) (1986), 899-906.
  37. R Murawski, Undefinability of truth : The problem of priority : Tarski vs Gödel, Hist. Philos. Logic 19 (3) (1998), 153-160.
  38. I Niiniluoto, Tarskian truth as correspondence - replies to some objections, in Truth and its nature (if any), Prague, 1996 (Dordrecht, 1999), 91-104.
  39. J Peregrin, Tarski's legacy (introductory remarks), in Truth and its nature (if any), Prague, 1996 (Dordrecht, 1999), vii-xviii.
  40. Ph.D students of Alfred Tarski, in Proceedings of the Tarski Symposium, Univ. California, Berkeley, Calif., 1971 (Providence, R.I., 1974), 483-485.
  41. J Pla Carrera, The axiom of choice and the Banach-Tarski paradox (Catalan), Butl. Sec. Mat. Soc. Catalana Ciènc. Fis. Quim. Mat. No. 15 (1983), 103-168.
  42. J Pla i Carrera, Alfred Tarski and contemporary logic I (Catalan), Butl. Sec. Mat. No. 17 (1984), 26-46.
  43. J Pla i Carrera, Alfred Tarski and set theory (Catalan), Theoria (San Sebastian) (2) 4 (11) (1989), 343-417.
  44. G Ray, Logical consequence : a defense of Tarski, J. Philos. Logic 25 (6) (1996), 617-677.
  45. A Rojszczak, Truth-bearers from Twardowski to Tarski, in The Lvov-Warsaw School and Contemporary Philosophy 1995 (Dordrecht, 1998), 73-84.
  46. S Rosen, Alfred Tarski in 1940 : Comment on: 'Eloge: Alfred Tarski: 1901-1983', Ann. Hist. Comput. 7 (4) (1985), 364-365.
  47. J M Sagüillo, Logical consequence revisited, Bull. Symbolic Logic 3 (2) (1997), 216-241.
  48. G Schurz, Tarski and Carnap on logical truth-or : what is genuine logic?, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 77-94.
  49. G Y Sher, Did Tarski commit 'Tarski's fallacy'?, J. Symbolic Logic 61 (2) (1996), 653-686.
  50. P Simons, Bolzano, Tarski, and the limits of logic, Bolzano-Studien, Philos. Natur. 24 (4) (1987), 378-405.
  51. H Sinaceur, Alfred Tarski : semantic shift, heuristic shift in metamathematics, Synthese 126 (1-2) (2001), 49-65.
  52. H Sinaceur, Mathématiques et métamathématique du congrès de Paris (1900) au congrès de Nice (1970): nombres réels et théorie des modèles dans les travaux de Tarski, Studies in the history of modern mathematics II, Rend. Circ. Mat. Palermo (2) Suppl. No. 44 (1996), 113-132.
  53. H Sinaceur, Préhistoire de la géométrie algébrique réelle : de Descartes à Tarski, in De la géométrie algébrique réelle, Paris, 1990 (Paris, 1991), 1-17.
  54. H Sluga, Truth before Tarski, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 27-41.
  55. D Stauffer, L'avènement de la théorie sémantique de la vérité de Tarski, études logiques, Travaux Log. 9 (Neuchâtel, 1993), 71-121.
  56. P Suppes, Philosophical implications of Tarski's work, J. Symbolic Logic 53 (1) (1988), 80-91.
  57. P Suppes, J Barwise and S Feferman, Commemorative meeting for Alfred Tarski, Stanford University-November 7, 1983, in A century of mathematics in America III (Providence, RI, 1989, 393-403.
  58. L W Szczerba, Tarski and geometry, J. Symbolic Logic 51 (4) (1986), 907-912.
  59. A Tarski and S Givant, Tarski's system of geometry, Bull. Symbolic Logic 5 (2) (1999), 175-214.
  60. J Tarski, Remarks on J Wolenski's article : 'Alfred Tarski as a philosopher (Polish), Wiadom. Mat. 30 (2) (1994), 265-269.
  61. P B Thompson, Bolzano's deducibility and Tarski's logical consequence, Hist. Philos. Logic 2 (1981), 11-20.
  62. L van den Dries, Alfred Tarski's elimination theory for real closed fields, J. Symbolic Logic 53 (1) (1988), 7-19.
  63. R L Vaught, Alfred Tarski's work in model theory, J. Symbolic Logic 51 (4) (1986), 869-882.
  64. R L Vaught, Errata : 'Alfred Tarski's work in model theory', J. Symbolic Logic 52 (4) (1987), vii.
  65. M White, A philosophical letter of Alfred Tarski, J. Philos. 84 (1) (1987), 28-32.
  66. J Wolenski, Alfred Tarski as a philosopher (Polish), Wiadom. Mat. 27 (2) (1987), 247-259.
  67. J Wolenski, Brentano's criticism of the correspondence conception of truth and Tarski's semantic theory, Topoi 8 (2) (1989), 105-110.
  68. J Wolenski, Gödel, Tarski and the undefinability of truth, Jbuch. Kurt-Gödel-Ges. (1991), 97-108.
  69. J Wolenski, On Tarski's background, in From Dedekind to Gödel, Boston, MA, 1992 (Dordrecht, 1995), 331-341.
  70. J Wolenski, Semantic revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 1-15.

JOC/EFR October 2003

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Tarski.html