Skip to main content
SpringerLink
Log in

The systems of Leśniewski in relation to contemporary logical research

  • Published:
Studia Logica Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. E. Zermelo: Untersuchungen über die Grundlagen der Mengenlehre I. Math. Annalen. Vol. 65 (1908), pp. 261–281.

    Google Scholar 

  2. B. Russell:Mathematical Logic as Based on the Theory of Types, „Amer. Jour. Math.“ Vol. 30 (1908), pp. 222–262.

    Google Scholar 

  3. A. N. Whitehead, B. Russell:Principia Mathematica Vol. I. First edition 1910, second edition 1925.

  4. L. Chwistek: Zasada sprzeczności w świetle nowszych badań Bertranda Russella (Principle of Inconsistency in the Light of the Recent Research of Bertrand Russell). Rozprawy PAU, wydz. hist.-filoz. (Dissertations of the Polish Academy of Science, historical and philosophical department) Vol. 30 (1912), pp. 270–334.

    Google Scholar 

  5. K. Gödel: Ueber die unendscheidbaren Sätze der Principia Mathematica und verwandter Systeme I. „Monatshefte f. Math. und Phys.“ Vol. 38 (1931), pp. 173–198.

    Google Scholar 

  6. L. Chwistek: Zasady czystej teorii typów (Principles of the pure theory of types). „Przegl. Filoz.“ (Philosophical Review) Vol. 25 (1922), pp. 359–391.

    Google Scholar 

  7. B. Sobociński: L'analyse de l'antinomie russellienne. „Methodos“ Vol. I (1923) pp. 94–107, 220–228, 308–316.

    Google Scholar 

  8. A. Tarski: O wyrazie pierwotnym logistyki (On the primitive term of logistic) „Przegl. Filoz.“ (Philosophical Review) Vol. 26 (1923), pp. 65–89.

    Google Scholar 

  9. A. Church:A Formulation of the Simple Theory of Types, „Jour. of Symb. Logic“, Vol. 5 (1940), pp. 56–68.

    Google Scholar 

  10. A. Tarski:Pojęcie prawdy w językach nauk dedukcyjnych (The concept of truth in the languages of deductive sciences). Warszawa 1933.

  11. S. Leśniewski: O podstawach matematyki (On the foundations of mathematics) Chapter XI. „Przegl. Filoz.“ (Philosophical Review). Vol. 34 (1931), pp. 142–170.

    Google Scholar 

  12. S. Leśniewski:Podstawy ogólnej teorii mnogości (Foundations of the general set theory) I. Moscow 1916.

  13. Cf.A. Tarski: Zur Grundlegung der Booleschen Algebra. „Fund. Math.“ Vol. 24 (1935), pp. 177–198.

    Google Scholar 

  14. H. S. Leonard andN. Goodman:The Calculus of Individuals and its Uses. “Jour. of Symb. Logic“. Vol. 5 (1940), pp. 45–55. The authors mention the fact that they obtained their theory about the year 1930 independently of Leśniewski.

    Google Scholar 

  15. J. H. Woodger:Axiomatic Method in Biology. Cambridge 1937.

Download references

Authors
  1. Andrzej Grzegorczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grzegorczyk, A. The systems of Leśniewski in relation to contemporary logical research. Stud Logica 3, 77–95 (1955). https://doi.org/10.1007/BF02067248

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02067248

Keywords

Search

Navigation