Skip to main content
SpringerLink
Log in

Tarski and Leśniewski on Languages with Meaning Versus Languages without Use

A 60th Birthday Provocation for Jan Woleński

  • Chapter
Philosophy and Logic in Search of the Polish Tradition

Part of the book series: Synthese Library ((SYLI,volume 323))

Abstract

It is a moot question whether Jan Wolefiski himself knows how many articles he has written. 300? 350? It is, however, a fact true and certain that a considerable part of these articles deals with the ins and out of the history of Polish logic. I have not digested all of his oeuvre, but I have read quite a lot. In my opinion, Jan Wolenski has written no finer article than

  • ‘Mathematical Logic in Poland 1900–1939: People, Circles, Institutions.’1

I am indebted to dottoressa Arianna Betti, of Genoa University, and presently EU Huygens Fellow at Leyden, for help with Polish source material, as well as to Dr. M. van Arten, Utrecht University, who came to my aid in tracking the original German text of Tarski (1930). (These affiliations held in 2000 when the present paper was written.)

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Banach, Stephan and Alfred Tarski: 1924, ‘Sur la décomposition des ensembles de points en parties respectivement congruentes’, Fundamenta Mathematicae 6, 244–277.

    Google Scholar 

  • Berka, Karel and Lothar Kreiser: 1983, Logik-Texte, (3rd edition), Akademie Verlag, Berlin.

    Google Scholar 

  • Carnap, Rudolf: 1928, Der logische Aufbau der Welt, Weltkreis, Berlin.

    Google Scholar 

  • Carnap, Rudolf: 1929, Abriß der Logistik, Springer, Wien.

    Book  Google Scholar 

  • Carnap, Rudolf: 1934, Logische Syntax der Sprache, Springer, Wien.

    Google Scholar 

  • Church, Alonzo: 1932, ‘A Set of Postulates for the Foundation of Logic’, Parts 1 and 2, Annals of Mathematics 33, 346–366

    Article  Google Scholar 

  • Church, Alonzo: 1932, ‘A Set of Postulates for the Foundation of Logic’, Parts 1 and 2, Annals of Mathematics 34, 839–864.

    Article  Google Scholar 

  • Church, Alonzo: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton, N.J.

    Google Scholar 

  • Curry, Haskell B.: 1929, ‘An analysis of logical substitution’, American Journal of Mathematics 51, 363–384.

    Article  Google Scholar 

  • Curry, Haskell B.: 1930, ‘Die Grundlagen der kombinatorischen Logik’, American Journal of Mathematics 52, 509–536.

    Article  Google Scholar 

  • Curry, Haskell B.: 1951, Outlines of a Formalist Philosophy of Mathematics, North-Holland, Amsterdam.

    Google Scholar 

  • Feferman, Solomon: 1960, ‘Arithmetization of metamathematics in a generalized setting’, Fundamenta Mathematicae 49, 35–92.

    Google Scholar 

  • Frege, Gottlob: 1893,1903, Grundgesetze der Arithmetik, I, II, Herman Pohle, Jena.

    Google Scholar 

  • Frege, Gottlob: 1906, ‘Antwort auf die Ferienplauderei des Herrn Thomae’, Jahresbericht der Deutschen Mathematiker-Vereinigung 15, 586–590.

    Google Scholar 

  • Frege, Gottlob: 1908, ‘Die Unmöglichkeit der Thomaeschen formalen Arithmetik aufs neue nachgewiesen’, Jahresbericht der Deutschen Mathematiker-Vereinigung 17, 52–55.

    Google Scholar 

  • Frege, Gottlob: 1908a, ‘Schlußbemerkung’, Jahresbericht der Deutschen Mathematiker-Vereinigung 17, 56.

    Google Scholar 

  • Givant, Steven: 1986, ‘Bibliography of Alfred Tarski’, Journal of Symbolic Logic 51, 913–941.

    Article  Google Scholar 

  • Gödel, Kurt: 1930, ‘Die Vollständigkeit der Axiome des logischen Funktionenkalküls’, Monatshefte ßr Mathematik und Physik 37, 349–360.

    Article  Google Scholar 

  • Gödel, Kurt: 1931, ‘Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I’, Monatshefte ßr Mathematik und Physik 38, 173–198.

    Article  Google Scholar 

  • Gödel, Kurt: 1944, ‘Russell’s mathematical logic’, in: P. A. Schilpp (ed.), The Philosophy of Bertrand Russell, North-Western University Press, Evanston, pp. 125–153.

    Google Scholar 

  • Grzegorczyk, Andrzej: 1955, ‘The Systems of Lesniewski in Relation to Contemporary Logical Research’, Studia Logica III, 77–95.

    Article  Google Scholar 

  • Heijenoort, Jean van: 1967, ‘Logic as calculus versus logic as language’, Synthese 17, 324–330.

    Article  Google Scholar 

  • Heijenoort, Jean van: 1976, ‘Set-theoretic semantics’, in: R. O. Gandy and M. Hyland (eds.), Logic Colloqium’76, North-Holland, Amsterdam, pp. 183–190.

    Google Scholar 

  • Heyting, Arend: 1930, ‘Die formalen Regeln der intuitionistischen Logik’, Sitzungsberichte der Preussischen Akademie der Wissenschaften (Phys.-Math. Klasse), pp. 42–56. Eng. trans. as ‘The Formal Rules of Intuitionistic Logic’, in: Mancosu (1988), pp. 311–327.

    Google Scholar 

  • Heyting, Arend: 1930a, ‘Sur la logique intuitionniste’, Acad. Roy. Belgique, Bull. CL. Sci., V, 16, pp. 957–963. Eng. trans, as ‘On Intuitionstic Logic’, in: Mancosu (1988), pp. 306–310.

    Google Scholar 

  • Heyting, Arend: 1931, ‘Die intuitionistische Grundlegung der Mathematik’, Erkenntnis 2, 106–115. Eng. trans, as ‘The Intuitionist Foundations of Mathematics’, in: Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics, Prentice-Hall, Englewood Cliffs, New Jersey, 1964, pp. 42–49.

    Article  Google Scholar 

  • Hilbert, David, and Paul Bernays: 1934, 1939, Die Grundlagen der Mathematik, Springer, Berün.

    Google Scholar 

  • Hilbert, David, and Wilhelm Ackermann: 1928, Die Grundzüge der theoretischen Logik, Springer, Berlin.

    Google Scholar 

  • Hintikka, Jaakko: 1988, ‘On the development of the model-theoretic viewpoint in logical theory’, Synthese 77, 1–36.

    Article  Google Scholar 

  • Hintikka, Jaakko: 1996, Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  • Kolmogoroff, Andrei: 1932, ‘Zur Deutung der intuitionistischen Logik’, Mathematische Zeitschrift 35, 58–65. Eng. trans. as ‘On the Interpretation of Intuitionstic Logic’, in: Mancosu (1988), pp. 328–334.

    Article  Google Scholar 

  • Lesniewski, Stanislaw: 1927, ‘O podstawach matematyki. Wstęp. Rozdzial III: O röznych spo-sobach rozumienia wyrazöw “klasa” i “zbiör”’, Przeglad Filozoficzny 30, pp. 164–206. Eng. trans. as ‘On the Foundations of Mathematics. Chapter III: On various ways of understanding the expressions ‘class’ and ‘collection’ ’, in: Leśniewski (1992), pp. 207–226.

    Google Scholar 

  • Leśniewski, Stanislaw: 1929, ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik’, Fundamenta Mathematicae 14, pp. 1–81. Partially reprinted in Pearce and Woloński (1988), and translated into English as ‘Fundamentals of a New System of the Foundations of Mathematics’, in: Leśniewski (1992), pp. 410–492.

    Google Scholar 

  • Leśniewski, Stanisław: 1930, ‘Über die Grundlagen der Ontologie’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III 23, pp. 111–132. English translation Leśniewski (1992), pp. 606–628.

    Google Scholar 

  • Leśniewski, Stanisńaw: 1992, Collected Works I, II (S. J. Surma, J. T. Srzednicki, D. I. Barnett and V. F. Rickey, eds.), Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  • Lindenbaum, Adolf, and Alfred Tarski: 1926, ‘Communication sur les rechereces de la théorie des ensembles’, Comptes Rendus des Séances de la Société des Sciences et des Letttres de Varsovie (Classe III) 19, pp. 299–330.

    Google Scholar 

  • Lowe, Victor: 1985, A. N. Whithead. The Man and His Work, Johns Hopkins University Press, Baltimore.

    Google Scholar 

  • Łukasiewicz, Jan: 1970, Selected Works, edited by L. Borkowski, North-Holland, Amsterdam.

    Google Scholar 

  • Luschei, Eugene: 1962, The Logical Sytems of Leśniewski, North-Holland, Amsterdam.

    Google Scholar 

  • McCall, Storrs (ed.): 1967, Polish Logic, Clarendon Press, Oxford.

    Google Scholar 

  • Mancosu, Paolo: 1988, From Brouwer to Hubert, Oxford University Press, Oxford.

    Google Scholar 

  • Monk, Donald: 1976, Mathematical Logic, Spinger, Berlin.

    Google Scholar 

  • Moore, Gregory H.: 1980,‘Beyond First-order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory’, History and Philosophy of Logic 1, 95–137.

    Article  Google Scholar 

  • Mostowski, Andrzej: 1952, Sentences Undecidable in Fomalized Arithmetic. An Exposition of the Theory of Kurt Gödel, North-Holland, Amsterdam.

    Google Scholar 

  • Peano, Giuseppe: 1894, Notation de Logique Mathématique. Introduction au Formulaire de Mathématique, Charles Guadagnini, Turin.

    Google Scholar 

  • Pearce, David, and Jan Woleński: 1988, Logischer Ratinalismus. Philosophische Schriften aus der Lemberg-Warschauer Schule, Athenäum, Frankfurt am Main.

    Google Scholar 

  • Ramsey, Frank Plumprton: 1926, ‘The Foundations of Mathematics’, Proceedings of the London Mathematical Society (2) 25, pp. 338–384.

    Article  Google Scholar 

  • Roulihan, Philippe de: 1998, Tarski et l’universalité de la logique. Remarques sur le postscrip-tum au “Wahrheitsbegriff”, in: Frédéric Nef and Denis Vernant (eds.), Le formalisme en question. Le tourant des annés 30, Vrin, Paris, 1998, pp. 85–102. (Proceedings of a colloquium held in April, 1994.)

    Google Scholar 

  • Scholz, Heinrich: 1930, ‘Die Axiomatik der Alten’, Blätternßr deutsche Philosophie 4, 259–278. Eng. trans, by Jonathan Barnes as ‘The Ancient Axiomatic Theory’, in: J. Barnes, M. Schofield, and R. Sorabji (eds.), Articles on Aristotle, Vol. 1: Science, Duckworth, London, 1975, pp. 50–64.

    Google Scholar 

  • Schönfinkel, Moses: 1924, ‘Über die Bausteine der mathematischen Logik’, Mathematische Annalen 92, 305–316.

    Article  Google Scholar 

  • Simons, Peter: 1992, Philosophy and Logic in Central Europe from Bolzano to Tarski, Kluwer Academic Publishers, Nijhoff International Philosophy Series 45, Dordrecht.

    Book  Google Scholar 

  • Skolem, Thoralf: 1929, ‘Über einige Grundlagenfragen der Mathematik’, Skrifter utgitt av Det Norske Videnskabs-Akademi i Oslo, I. Mat. nat. klasse 4, pp. 1–49.

    Google Scholar 

  • Sundholm, Göran: 1993, ‘Tractarian Expressions and their Use in Constructive Mathematics’, in: Johannes Czermak (ed.), Philosophy of Mathematics. Proceedings of the 15th International Wittgestein-Symposium, Kirchberg am Wechsel 1992, Part 1, Verlag Hölder-Pichler-Tempsky, Vienna, pp. 105–118.

    Google Scholar 

  • Tarski, Alfred: 1923, ‘Sur le terme primitif de la Logistique’, Fundamenta Mathematicae 4, 196–200.

    Google Scholar 

  • Tarski, Alfred: 1924, ‘Sur les truth-functions au sens de MM. Russell et Whitehead’, Fundamenta Mathematicae 5, 59–74.

    Google Scholar 

  • Tarski, Alfred: 1930, ‘Fundamentale Begriffe der deduktiven Wissenschaften. I’, Monatshefte ßr Mathematik und Physik 37, 361–404. Eng. trans, as ‘Fundamental Concepts of the Methodology of the Deductive Sciences’, in: Tarski (1956), pp. 60–109.

    Article  Google Scholar 

  • Tarski, Alfred: 1932, ‘Der Wahrheitsbegriff in den Sprachen den deduktiven Disziplinen’, Akademie der Wissenschaften in Wien, Math.-nat. Klasse, Akademischer Anzeiger 69, pp. 23–25.

    Google Scholar 

  • Tarski, Alfred: 1935, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosoph-ica I (1936), Polish Philosophical Society, Lemberg. Offprints in monograph form dated 1935. Reprinted in: Berka and Kreiser (1983), pp. 443–546; Eng. trans, as ‘The Concept of Truth in Formalized Languages’, in: Tarski (1956), pp. 152–278.

    Google Scholar 

  • Tarski, Alfred: 1956, Logic, Semantics, Metamathematics (Papers from 1923 to 1938 translated by J. H. Woodger), Clarendon Press, Oxford.

    Google Scholar 

  • Tarski, Alfred: 1972–1974, Logique, sémantique, métamathématique 1923–1944 I, II, French translation, with additional material, of Tarski (1956), Armand Colin, Paris.

    Google Scholar 

  • Tarski, Alfred: 1995, Pisma Logiczno-Filozoficzne I: Prawda, edited by Jan Zygmunt, Wydaw-nictwo Naukowe PWN, Warsaw.

    Google Scholar 

  • Tarski, Alfred and Jan Üukasiewicz: 1930, ‘Untersuchungen über den Aussagenkalkül’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III 23, pp. 30–50. Eng. trans, in: Tarski (1956), pp. 38–59.

    Google Scholar 

  • Thomae, Johannes: 1906, ‘Gedankenlose Denker. Eine Ferienplauderei’, Jahresbericht der Deutschen Mathematiker-Vereinigung 15, 434–438.

    Google Scholar 

  • Thomae, Johannes: 1906a, ‘Erklärung’, Jahresbericht der Deutschen Mathematiker-Vereinigung 15, 590–592.

    Google Scholar 

  • Thomae, Johannes: 1908, ‘Bemerkung zum Aufsatze des Herrn Frage’, Jahresbericht der Deutschen Mathematiker-Vereinigung 17, 56.

    Google Scholar 

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

    Google Scholar 

  • Wittgenstein, Ludwig: 1922, Tractatus Logico-Philosophicus, Routledge and Kegan Paul, London.

    Google Scholar 

  • Woleński, Jan: 1989, Logic and Philosophy in the Lvov-Warsaw School, Kluwer Academic Publishers, Synthese Library 198, Dordrecht.

    Book  Google Scholar 

  • Woleński, Jan: 1995, ‘Mathematical Logic in Poland 1900–1939: People, Circles, Institutions’, Modern Logic V, 363–405. Cited after the reprint in: Woleński (1999), pp. 59–84.

    Google Scholar 

  • Woleński, Jan: 1999, Essays in the History of Logic and Logical Philosophy, Dialogikon VIII, Jagiellonian University Press, Cracow.

    Google Scholar 

  • Woleński, Jan, and Peter Simons: 1989, ‘De Veritate’, in: K. Szaniawski (ed.), The Vienna Circle and the Lvow-Warsaw School, Kluwer Academic Publishers, Dordrecht, pp. 391–442.

    Chapter  Google Scholar 

  • Zermelo, Ernst: 1930, ‘Über Grenzzahlen und Mengenbereiche’, Fundamenta Mathemati-cae 16, 29–47.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Leyden University, The Netherlands

    Göran Sundholm

Authors
  1. Göran Sundholm
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Boston University, Boston, USA

    Jaakko Hintikka

  2. Jagiellonian University, Cracow, Poland

    Tadeusz Czarnecki , Katarzyna Kijania-Placek , Tomasz Placek  & Artur Rojszczak , ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Sundholm, G. (2003). Tarski and Leśniewski on Languages with Meaning Versus Languages without Use. In: Hintikka, J., Czarnecki, T., Kijania-Placek, K., Placek, T., Rojszczak, A. (eds) Philosophy and Logic in Search of the Polish Tradition. Synthese Library, vol 323. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0249-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0249-2_9

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6471-4

  • Online ISBN: 978-94-017-0249-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation