On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’

References

• Addison, J. W., de Bouvere, K., and Pitt., W. B. 1965. ‘A bibliography of the theory of models’, in J. W. Addison, L. Henkin and A. Tarski (eds.) The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley. (Studies in Logic and the Foundations of Mathematics), Amsterdam/New York/Oxford: North-Holland, pp. 442–492. https://doi.org/10.1016/B978-0-7204-2233-7.50054-X
   Google Scholar
• Blaustein, L. 1936. Lenistwo u dzieci i młodzieży. Żródła i sposoby leczenia. Lwowska Bibljoteczka Pedagogiczna (15), Lviv: Księgarnia, Książka‘ A. Mazzucato.
   Google Scholar
• Brzezicki, M. 1984. ‘Lwowscy księgarze’, Biuletyn (Koło Lwowian w Londynie), 48 (December), 43–46.
   Google Scholar
• Church, A. 1936. ‘A bibliography of symbolic logic’, Journal of Symbolic Logic, 1 (4), 121–216. https://doi.org/10.1017/S0022481200039396
   Google Scholar
• Corcoran, J. 2013. ‘Errors in Tarski's 1983 truth-definition paper [Abstract]’, Bulletin of Symbolic Logic, 19 (4), 514. https://doi.org/10.1017/S1079898600010611
   Google Scholar
• Curry, H. B. 1950. A Theory of Formal Deducibility. Notre Dame Mathematical Lectures (6), Notre Dame IN: Notre Dame University Press.
   Google Scholar
• Curry, H. B. 1963. Foundations of Mathematical Logic, New York: McGraw-Hill. Reprinted with corrections, New York: Dover. 1977.
   Google Scholar
• Dąbrowski, M. A. 1981. ‘Bibliografia prac Leopolda Blausteina’, Roczniki Filozoficzne, 29 (1), 244–254. URL: https://www.jstor.org/stable/43410495.
   Google Scholar
• Dawson, E. E. 1974. ‘J. H. WOODGER. From biology to mathematics. The British journal for the philosophy of science, vol. 3 (1952–53), pp. 1-21’, Journal of Symbolic Logic, 39 (2), 353–354. https://doi.org/10.2307/2272702
   Google Scholar
• Fenstad, J. E. 2004. ‘Tarski, truth, and natural languages’, Annals of Pure and Applied Logic, 126 (1–3), 15–26. https://doi.org/10.1016/j.apal.2003.10.017
   Web of Science ®Google Scholar
• Floyd, W. F., and Harris., F. T. C. 1964. ‘Joseph Henry Woodger, Curriculum Vitae’, in J. R. Gregg and F. T. C. Harris (eds.), Form and Strategy in Science: Studies Dedicated to Joseph Henry Woodger on the Occasion of his Seventieth Birthday, Dordrecht: Reidel, pp. 1–6. https://doi.org/10.1007/978-94-010-3603-0_1
   Google Scholar
• Givant, S. 1986. ‘Bibliography of Alfred Tarski’, Journal of Symbolic Logic, 51 (4), 913–941. https://doi.org/10.2307/2273905
   Web of Science ®Google Scholar
• Gruber, M. 2016. Alfred Tarski and the “Concept of Truth in Formalized Languages”: A Running Commentary with Consideration of the Polish Original and the German Translation. (Logic, Epistemology, and the Unity of Science, 39), Cham: Springer. https://doi.org/10.1007/978-3-319-32616-0
   Google Scholar
• Henkin, L. 1949. ‘The completeness of the first-order functional calculus’, Journal of Symbolic Logic, 14 (3), 159–166. https://doi.org/10.2307/2267044
   Google Scholar
• Henkin, L. 1953. ‘Some interconnections between modern algebra and mathematical logic’, Transactions of the American Mathematical Society, 74 (3), 410–427. https://doi.org/10.1090/S0002-9947-1953-0055287-X
   Google Scholar
• Henkin, L., Addison, J., Chang, C. C., Craig, W., Scott, D., and Vaught, R. eds. 1974. Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. (Proceedings of Symposia in Pure Mathematics, XXV), Providence R.I.: American Mathematical Society. https://doi.org/10.1090/pspum/025
   Google Scholar
• Herbrand, J. 1930. Recherches sur la théorie de la démonstration (Badania nad Teorją Dowodu). Prace Towarzystwa Naukowego Warszawskiego, Wydział III Nauk matematyczno-fizycznych (Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, 33), Warsaw: Towarzystwo Naukowe Warszawskie. English translation as ‘Investigations in Proof Theory’ by B. Dreben, J. van Heijenoort and W. D. Goldfarb. In Herbrand, Logical Writings, edited by W. D. Goldfarb. Dordrecht: Reidel 1971, 44–202. https://doi.org/10.1007/978-94-010-3072-4_4
   Google Scholar
• Kennedy, J. 2022. Gödel's Incompleteness Theorems. Cambridge Elements: Elements in Philosophy and Logic, Cambridge: Cambridge University Press. https://doi.org/10.1017/9781108981972
   Google Scholar
• Kleene, S. C. 1952. Introduction to Metamathematics, Amsterdam/Groningen/New York: North-Holland/P. Noordhoff/D. van Nostrand. Reprinted with a foreword by Michael Beeson. Bronx NY: Ishi Press International 2009.
   Google Scholar
• Mancosu, P. 2021. ‘Logic and biology: The correspondence between Alfred Tarski and Joseph H. Woodger’, Journal of Humanistic Mathematics, 11 (2), 18–105. https://doi.org/10.5642/jhummath.202102.04
   Web of Science ®Google Scholar
• Mendelson, E. 2015. Introduction to Mathematical Logic, sixth edition, Boca Raton, FL. CRC Press/Taylor & Francis Group (A Chapman & Hall Book). First edition, Princeton NJ/New York /Toronto: D. van Nostrand 1964; second edition, New York: D. van Nostrand 1979; third edition, Belmont CA: Wadsworth & Brooks/Cole 1987; fourth edition, London: Chapman & Hall, 1997; fifth edition, Boca Raton FL: CRC Press/Taylor & Francis Group (A Chapman & Hall Book) 2010.
   Google Scholar
• Miskiewicz, W. 2009. ‘Leopold Blaustein's analytical phenomenology’, in S. Lapointe, J. Woleński, M. Marion and W. Miskiewicz (eds.), The Golden Age of Polish Philosophy: Kazimierz Twardowski's Philosophical Legacy. (Logic, Epistemology, and the Unity of Science, 16), Dordrecht/Heidelberg/London/New York: Springer, pp. 181–188. https://doi.org/10.1007/978-90-481-2401-5_13
   Google Scholar
• Murawski, R. 1999. ‘Undefinability vs. definability of satisfaction and truth’, in J. Woleński and E. Köhler (eds.), Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism. (Vienna Circle Yearbook, 6), Dordrecht: Kluwer, pp. 203–216. https://doi.org/10.1007/978-94-017-0689-6_17
   Google Scholar
• Murzi, J., and Rossi., L. 2020. ‘Generalized revenge’, Australasian Journal of Philosophy, 98 (1), 153–177. https://doi.org/10.1080/00048402.2019.1640323
   PubMed Web of Science ®Google Scholar
• Nicholson, D. J., and Gawne., R. 2014. ‘Rethinking Woodger's legacy in the philosophy of biology’, Journal of the History of Biology, 47 (2), 243–292. https://doi.org/10.1007/s10739-013-9364-x
   PubMed Web of Science ®Google Scholar
• Nicholson, D. J., and Gawne., R. 2015. ‘Joseph Henry Woodger’, in eLS: Encyclopedia of Life Sciences, John Wiley & Sons, Ltd, pp. 1–3. https://doi.org/10.1002/9780470015902.a0026117
   Google Scholar
• Niiniluoto, I. 2004. ‘Tarski's definition and truth-makers’, Annals of Pure and Applied Logic, 126 (1–3), 57–76. https://doi.org/10.1016/j.apal.2003.10.008
   Web of Science ®Google Scholar
• Płotka, W. 2020. ‘Leopold Blaustein's descriptive psychology and aesthetics in light of his criticism of Husserl’, in W. Płotka and P. Eldridge (eds.), Early Phenomenology in Central and Eastern Europe. (Contributions to Phenomenology, 113), Cham: Springer, pp. 163–185. https://doi.org/10.1007/978-3-030-39623-7_10
   Google Scholar
• Popper, K. R. 1981. ‘Joseph Henry Woodger’, British Journal for the Philosophy of Science, 32 (3), 328–330. https://doi.org/10.1093/bjps/32.3.328
   Google Scholar
• Quine, W. V. 1940/1951. Mathematical Logic, Cambridge, MA: Harvard University Press.1940. Revised edition 1951.
   Google Scholar
• Quine, W. V. 1942. ‘Reply to professor Ushenko’, The Journal of Philosophy, 39 (3), 68–71. https://doi.org/10.2307/2017363
   Google Scholar
• Rautenberg, W. 2010. A Concise Introduction to Mathematical Logic, Third edition, New York/Dordrecht/Heidelberg/London. Springer. https://doi.org/10.1007/978-1-4419-1221-3. Based on Rautenberg, Einführung in die Mathematische Logik: Ein Lehrbuch. Third edition, Wiesbaden: Vieweg & Teubner 2008. https://doi.org/10.1007/978-3-8348-9530-1
   Google Scholar
• Tarski, A. 1930–31. ‘O pojęciu prawdy w odniesieniu do sformalizowanych nauk dedukcyjnych’, Ruch Filozoficzny, XII (1–10), 210–211.
   Google Scholar
• Tarski, A. 1932. ‘Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen’, Anzeiger der Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, 69, 23–25.
   Google Scholar
• Tarski, A. 1933. Pojęcie prawdy w językach nauk dedukcyjnych (La notion de la verité dans les languages des sciences déductives). Prace Towarzystwa Naukowego Warszawskiego, Wydział III Nauk matematyczno-fizycznych (Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, 34), Warsaw: Towarzystwo Naukowe Warszawskie. Reprinted in Tarski, Pisma Logiczno-filozoficzne, Volume I, Prawda, Biblioteka Współczesnych Filozofów, edited by J. Zygmunt. Warsaw: Wydawnictwo Naukowe PWN 1995, 13–158.
   Google Scholar
• Tarski, A. 1936a. ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica: Commentarii Societatis Philosophicae Polonorum, 1, 261–405. Dated 1935. German translation by L. Blaustein of Tarski 1933 with postscript (‘Nachwort’) translated by K. Adjukiewicz. Reprinted in Tarski, Collected Papers, Volume II, 1935-1944, edited by S. R. Givant and R N. McKenzie. First edition, Basel: Birkhäuser 1986, 51–198. Second edition, Cham: Birkhäuser 2019. English translation by J. H. Woodger, with additional notes by the author, as ‘The Concept of Truth in Formalized Languages.’ In Tarski 1956/83, 152–278
   Google Scholar
• Tarski, A. 1936b. ‘O ugruntowaniu naukowej semantyki’, Przegląd Filozoficzny, 39 (1), 50–57.
   Google Scholar
• Tarski, A. 1936c. ‘Grundlegung der wissenschaftlichen Semantik’, in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, fasc. III, Language et pseudo-problèmes. (Actualités scientifiques et industrielles, 390), Paris: Hermann, pp. 1–8. English translation by J. H. Woodger as ‘The establishment of scientific semantics.’ In Tarski 1956/83, 401–408.
   Google Scholar
• Tarski, A. 1936d. ‘O pojęciu wynikania logicznego’, Przegląd Filozoficzny, 39 (1), 58–68. English translation with introduction and commentary by M. Stroińska and D. Hitchcock as Tarski, ‘On the Concept of Following Logically.’ History and Philosophy of Logic 23 (3), 155–196. https://doi.org/10.1080/0144534021000036683
   Google Scholar
• Tarski, A. 1936e. ‘Über den Begriff der logischen Folgerung’, in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, fasc. VII, Logique. Actualités scientifiques et industrielles (394), Paris: Hermann, pp. 1–11. English translation by J. H. Woodger as ‘On the concept of logical consequence.’ In Tarski 1956/83, 409–420.
   Google Scholar
• Tarski, A. 1936f. O logice matematycznej i metodzie dedukcyjnej. Bibljoteczka Matematyczna (3–5), Lviv and Warsaw: Książnica-Atlas. Partially modified and extended English translation, by O. Helmer, of the German translation, by Tarski with the assistance of Rose Rand, Einführung in die mathematische Logik und in die Methodologie der Mathematik, Vienna: Julius Springer 1937, as Introduction to Logic and to the Methodology of Deductive Sciences. New York: Oxford University Press 1941. Second, revised edition, 1946; reprinted New York: Dover 1995. Fourth edition, edited by J. Tarski, (Oxford Logic Guides, 24), Oxford: Oxford University Press 1994.
   Google Scholar
• Tarski, A. 1944. ‘The semantic conception of truth and the foundations of semantics’, Philosophy and Phenomenological Research, 4 (3), 341–376. https://doi.org/10.2307/2102968
   Google Scholar
• Tarski, A. 1952. ‘Some notions and methods on the borderline of algebra and metamathematics’, in Proceedings of the International Congress of Mathematicians (Cambridge, Mass., 1950), volume 1. Providence R.I.: American Mathematical Society, pp. 705–720.
   Google Scholar
• Tarski, A. 1954–55. ‘Contributions to the theory of models. I, II, III’, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A 57 = Indagationes Mathematicae 16, 572–581, 582–588 and PKAW 58 = IM 17, 56–64. https://doi.org/10.1016/S1385-7258(54)50074-0, https://doi.org/10.1016/S1385-7258(54)50075-2.
   Google Scholar
• Tarski, A. 1956/83. Logic, Semantics, Metamathematics: Papers from 1923 to 1938. First edition, edited by J. H. Woodger, Oxford: Clarendon Press, 1956. Second (revised) edition, edited by John Corcoran, Indianapolis IN: Hackett, 1983.
   Google Scholar
• Tarski, A., Mostowski, A., and Robinson., R. M. 1953. Undecidable Theories. (Studies in Logic and Foundations of Mathematics, 13), Amsterdam: North-Holland. Reprinted Mineola NY: Dover 2010.
   Google Scholar
• Tarski, A., and Vaught., R. L. 1957. ‘Arithmetical extensions of relational systems’, Compositio Mathematica, 13, 81–102. URL: http://www.numdam.org/item/CM_1956-1958_13_81_0
   Google Scholar
• Włodek, P., and Kulewski., A. 2006. Lwów. Przewodnik, Pruszków: Oficyna Wydawnicza ‘Rewasz’.
   Google Scholar
• Wójcik, E. 2001. ‘Ruch wydawniczy we Lwowie w okresie dwudziestolecia międzywojennego’, in J. Jarowiecki (ed.), Kraków–Lwów. Książki, czasopisma, biblioteki XIX i XX wieku, Volume V, Krakow: Wydawnictwo Naukowe Akademii Pedagogicznej w Krakowie, pp. 167–176.
   Google Scholar
• Woleński, J. 1989. Logic and Philosophy in the Lvov-Warsaw School. (Synthese Library, 198), Dordrecht: Kluwer. https://doi.org/10.1007/978-94-009-2581-6
   Google Scholar
• Woleński, J. 1995. ‘Mathematical logic in Poland 1900–1939: Peoples, circles, institutions, ideas’, Modern Logic, 5 (4), 364–405.
   Google Scholar
• Woleński, J. 1996. ‘On Tarski's background’, in J. Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. (Synthese Library, 251). Dordrecht: Kluwer, pp. 331–341. https://doi.org/10.1007/978-94-015-8478-4_13
   Google Scholar
• Woleński, J. 2005. ‘Gödel, Tarski and truth’, Revue Internationale de Philosophie, 59 (4), 459–490. https://doi.org/10.3917/rip.234.0459
   Google Scholar
• Woleński, J. 2009. ‘The rise and development of logical semantics in Poland’, in S. Lapointe, J. Woleński, M. Marion and W. Miskiewicz (eds.), The Golden Age of Polish Philosophy: Kazimierz Twardowski's Philosophical Legacy. (Logic, Epistemology, and the Unity of Science, 16), Dordrecht/Heidelberg/London/New York: Springer, pp. 43–59. https://doi.org/10.1007/978-90-481-2401-5_4
   Google Scholar
• Woleński, J. 2016. ‘Formal and informal aspects of the semantic theory of truth’, in K. Adrian and J. Odrowąż-Sypniewska (eds.), Uncovering Facts and Values: Studies in Contemporary Epistemology and Political Philosophy. (Poznań Studies in the Philosophy of the Sciences and the Humanities, 107), Leiden: Brill, pp. 56–66. https://doi.org/10.1163/9789004312654_005
   Google Scholar
• Woleński, J. 2017. ‘The story of the German translation of Tarski's book on truth’, in N. Bar-Am and S. Gattei (eds.), Encouraging Openness: Essays for Joseph Agassi on the Occasion of His 90th Birthday. (Boston Studies in the Philosophy and History of Science, 325), Cham: Springer, pp. 81–90. https://doi.org/10.1007/978-3-319-57669-5_8
   Google Scholar
• Woleński, J. 2018. ‘Alfred Tarski (1901–1983)’, in Á. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present. (Studies in Universal Logic), Cham: Birkhäuser, pp. 361–371. https://doi.org/10.1007/978-3-319-65430-0_27
   Google Scholar
• Woleński, J. 2019. Semantics and Truth. (Logic, Epistemology, and the Unity of Science, 45), Cham: Springer. https://doi.org/10.1007/978-3-030-24536-8
   Google Scholar
• Woleński, J., and Simons., P. 1989. ‘De Veritate: Austro-Polish contributions to the theory of truth from Brentano to Tarski’, in K. Szaniawski (ed.), The Vienna Circle and the Lvov–Warsaw School. (Nijhoff International Philosophy Series), Kluwer: Dordrecht, pp. 391–442. https://doi.org/10.1007/978-94-009-2829-9_17
   Google Scholar
• Woodger, J. H. 1952. ‘From biology to mathematics’, The British Journal for the Philosophy of Science, 3 (9), 1–21. https://doi.org/10.1093/bjps/III.9.1
   Google Scholar
• Woodger, J. H. 1959. ‘Studies in the foundations of genetics’, in L. Henkin, P. Suppes and A. Tarski (eds.), The Axiomatic Method with Special Reference to Geometry and Physics: Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4, 1958. (Studies in Logic and the Foundations of Mathematics, 27), Amsterdam: North-Holland, pp. 408–428. https://doi.org/10.1016/S0049-237X(09)70044-8
   Google Scholar
• Żegleń, U. M. 2018. ‘On existential dependence and independence in the world of thoughts and states of affairs (with reference to Eugenia Ginsberg-Blaustein's and Roman Ingarden's Analyses)’, in Á. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present. (Studies in Universal Logic), Cham: Birkhäuser, pp. 249–262. https://doi.org/10.1007/978-3-319-65430-0_19
   Google Scholar