Skip to main content
SpringerLink
Log in

A Survey of Leśniewski’s Logic

  • Chapter
Leśniewski’s Systems Protothetic

Part of the book series: Nijhoff International Philosophy Series ((NIPS,volume 54))

  • 120 Accesses

Abstract

In the period between the two world wars the eminent Polish logician Stanislaw Leśniewski (1886–1939) created a hierarchy of logical systems which are unparalleled for their generality, precision, and intuitive foundations. By way of a careful and insightful analysis of the Russell Antinomy he came to distinguish between two notions of class, the distributive class and the collective class. Investigation of these concepts led to the creation of his systems of Ontology and Mereology, respectively. Then, in order to secure the foundations of these systems, he created the most fundamental system, Protothetic.

This work was partially supported by the Faculty Research Committee of Bowling Green State University.

Bibliographical Note: This paper originally appeared in Studia Logica XXXVI (1977), 407-426, by permission of the Institute of Philosophy and Sociology of the Polish Academy of Sciences.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.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

  • Ajdukiewicz, Kazimierz (1935). ‘Die Syntaktische Konnexität’, Studia Philosophica 1, 1–27.

    Google Scholar 

  • Canty, John Thomas (1969a). ‘The Numerical Epsilon’, Notre Dame Journal of Formal Logic X, 47–63.

    Article  Google Scholar 

  • Canty, John Thomas (1969b). ‘Leśniewski’s Terminological Explanations as Recursive Concepts’, Notre Dame Journal of Formal Logic X, 337–369.

    Article  Google Scholar 

  • Chang, C.C. and Keisler, H.J. (1973). Model Theory, North-Holland Publ. Co.

    Google Scholar 

  • Church, Alonzo (1956). Introduction to Mathematical Logic, Princeton University Press.

    Google Scholar 

  • Clay, Robert E. (1966). ‘On the Definition of Mereological Class’, Notre Dame Journal of Formal Logic VII, 359–360.

    Article  Google Scholar 

  • Clay, Robert E. (1968). ‘The Consistency of Leśniewski’ Mereology Relative to the Real Number System’, Journal of Symbolic Logic 33, 251–257.

    Article  Google Scholar 

  • Clay, Robert E. (1971). ‘A Model for Leśniewski’s Mereology in Functions’, Notre Dame Journal of Formal Logic XII, 467–478.

    Article  Google Scholar 

  • Clay, Robert E. (1974a). ‘Relation of Leśniewski’s Mereology to Boolean Algebra’, Journal of Symbolic Logic 39, 638–648.

    Article  Google Scholar 

  • Clay, Robert E. (1974b). ‘ome Mereological Models’, Notre Dame Journal of Formal Logic XV, 141–146.

    Article  Google Scholar 

  • Clay, Robert E. (1975). ‘ingle Axioms for Atomistic and Atomless Mereology’, Notre Dame Journal of Formal Logic XVI, 345–351.

    Article  Google Scholar 

  • Davis, Charles C., Jr. (1975). ‘An Investigation Concerning the Hilbert-Sierpiń,ski Logical Form of the Axiom of Choice’, Notre Dame Journal of Formal Logic XVI, 145–184.

    Article  Google Scholar 

  • Glibowski, Edmund (1969). ‘The Application of Mereology to Grounding of Elementary Geometry’, Studia Logica XXIV, 109–129.

    Article  Google Scholar 

  • Goodman, Nelson (1951). The Structure of Appearance, Cambridge, MA.

    Google Scholar 

  • Grzegorczyk, Andrzej (1955). ‘The Systems of Leśniewski in Relation to Contemporary Logical Research’, Studia Logica III, 77–95.

    Article  Google Scholar 

  • Henry, Desmond Paul (1972). Medieval Logic and Metaphysics: A Modern Introduction, Hutchinson University Library.

    Google Scholar 

  • Iwanuś, Boguslaw (1973). ‘On Leśniewski’s Elementary Ontology’, Studia Logica XXXI, 73–125.

    Article  Google Scholar 

  • Jaśkowski, Stanislaw (1948). ‘Une modification des définitions fondamentales de la géométrie des corps de M. A. Tarski’, Annales de la Société Polonaise de Mathématique 21, 298–301.

    Google Scholar 

  • Kotarbiński, Tadeusz (1929). Elementy teorji poznania, logiki formalnej i metodologji nauk (Elements of Epistomology, Formal Logic, and Methodology), Ossolineum, Lwów.

    Google Scholar 

  • Kowalski, James G. (1977). ‘Leśniewski’s Ontology Extended with the Axiom of Choice’, Notre Dame Journal of Formal Logic XVIII, 1–78.

    Article  Google Scholar 

  • Kruszewski, Z. (1925). ‘Ontologja bez aksjomatów’, Przegląd Filozoficzny XXVIII, 136.

    Google Scholar 

  • Kubinski, Tadeusz (1971). ‘A Report on Investigations Concerning Mereology’, Acta Univer-sitatis Wratislaviensis No. 139, Prace Filozoficzne VIII, 47–68.

    Google Scholar 

  • Küng, Guido (1967). Ontology and the Logistic Analysis of Language, The Humanities Press.

    Google Scholar 

  • Lejewski, Czesław (1954). ‘A Contribution to Leśniewski’s Mereology’, Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik 5, 43–50.

    Google Scholar 

  • Lejewski, Czeslaw (1955). ‘A New Axiom of Mereology’, Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik 6, 65–70.

    Google Scholar 

  • Lejewski, Czesław (1958). ‘On Leśniewski’s Ontology’, Ratio (Oxford) 1, 150–176.

    Google Scholar 

  • Lejewski, Czesław (1963). ‘A Note on a Problem Concerning the Axiomatic Foundations of Mereology’, Notre Dame Journal of Formal Logic IV, 135–139.

    Article  Google Scholar 

  • Lejewski, Czesław (1967). ‘A Single Axiom for the Mereological Notion of Proper Part’, Notre Dame Journal of Formal Logic VIII, 279–285.

    Article  Google Scholar 

  • Lejewski, Czesław (1969). ‘Consistency of Leśniewski’s Mereology’, Journal of Symbolic Logic 34, 321–328.

    Article  Google Scholar 

  • Lejewski, Czesław (1973). ‘A Contribution to the Study of Extended Mereologies’, Notre Dame Journal of Formal Logic XIV, 55–67.

    Article  Google Scholar 

  • Leonard, Henry S. and Goodman, Nelson (1940). ‘The Calculus of Individuals and Its Uses’, Journal of Symbolic Logic 5, 45–55.

    Article  Google Scholar 

  • Leśniewski, Stanisław (1916). Podstawy ogólnej teoryi mnogoœci. I. (Foundations of a General Theory of Sets), Prace Polskiego Kola Naukowego w Moskwie, Moscow.

    Google Scholar 

  • Leśniewski, Stanisław (1927). ‘O podstawach matematyki (On the Foundations of Mathematics)’, Przegląd Filozoficzny XXX (1927), 164-206; XXXI (1928), 261-291; XXXII (1929), 60-101; XXXIII (1930), 77-105 and XXXIV (1931), 142–170.

    Google Scholar 

  • Leśniewski, Stanisław (1929a). ‘Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind’, Fundamenta Mathematicae XIII, 319–332.

    Google Scholar 

  • Leśniewski, Stanisław (1929b). ‘Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind’, Fundamenta Mathematicae XIV, 242–251.

    Google Scholar 

  • Leśniewski, Stanisław (1929c). ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik’, Fundamenta Mathematicae XIV, 1–81.

    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, 111–132.

    Google Scholar 

  • Leśniewski, Stanisław (1931). ‘Über Definitionen in der sogenannten Theorie der Deduktion’, Comptes rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III 24, 289–309.

    Google Scholar 

  • Leśniewski, Stanisław (1938a). ‘Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. “Grundzüge eines neuen Systems der Grundlagen der Mathematik”’, Collectanea Logica I (Offprint 1938), 1–60.

    Google Scholar 

  • Leśniewski, Stanisław (1938b). ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik, §12’, Collectanea Logica I (Offprint 1938), 61–144.

    Google Scholar 

  • Łukasiewicz, Jan (1910). ‘Über den Satz des Widerspruchs bei Aristoteles’, Bulletin International de l‘Académie des Sciences de Cracovie, Classe de philologie, Classe d‘histoire et de philosophie, 15–38.

    Google Scholar 

  • Łukasiewicz, Jan (1951). ‘On Variable Functors of Propositional Arguments’, Proceedings of the Royal Irish Academy 54, sect. A, 25–35.

    Google Scholar 

  • Łukasiewicz, Jan (1953). ‘Symposium: The Principle of Individuation I’, Aristotelian Society, Supp. Vol. 27, 69–82.

    Google Scholar 

  • Luschei, Eugene C. (1962). The Logical Systems of Leśniewski, North-Holland Publ. Co.

    Google Scholar 

  • Machover, M. (1966). ‘Contextual Determinacy in Leśniewski’s Grammar’, Studio Logica XIX, 47–57.

    Article  Google Scholar 

  • Rickey, V. Frederick (1972). ‘Axiomatic Inscriptional Syntax, Part I: General Syntax’, Notre Dame Journal of Formal Logic XIII, 1-33.

    Google Scholar 

  • Rickey, V. Frederick (1973). ‘Axiomatic Inscriptional Syntax, Part II: The Syntax of Protothetic’, Notre Dame Journal of Formal Logic XIV, 1–52. [Paper VII in this volume Ed.]

    Article  Google Scholar 

  • Rickey, V. Frederick (1975). ‘Creative Definitions in Propositional Calculi’, Notre Dame Journal of Formal Logic XVI, 273–294.

    Article  Google Scholar 

  • Scharle, Thomas W. (1971). ‘Completeness of Many-Valued Protothetic’, Journal of Symbolic Logic 36, 363–364.

    Google Scholar 

  • Sinisi, Vito F. (1976). ‘Leśniewski’s Analysis of Russell’s Antimony’, Notre Dame Journal of Formal Logic XVII, 19–34.

    Article  Google Scholar 

  • Słupecki, Jerzy (1953). ‘St. Leśniewski’s Protothetics’, Studia Logica I, 44–112. [Paper V in this volume — Ed.]

    Article  Google Scholar 

  • Słupecki, Jerzy (1955). ‘S. Leśniewski’s Calculus of Names’, Studia Logica III, 7–73.

    Article  Google Scholar 

  • Sobociński, Bolesław (1934). ‘O kolejnych uproszczeniach aksjomatyki “ontologji” prof. St. Leśniewskiego’, Fragmenty Filozoficzne I, 143–160.

    Google Scholar 

  • Sobociński, Bolesław (1949a). An Investigation of Protothetic, Cahiers de l’Institut d’Études Polonaises en Belgique, no. 5, Bruxelles. [Paper IV in this volume — Ed.]

    Google Scholar 

  • Sobociński, Bolesław (1949b). ‘L’analyse de l’antinomie Russellienne par Leśniewski’, Methodos 1 (1949), no. 1, 94-107; no. 2, 220-228; no. 3, 308-316; 2 (1950), 237–257.

    Google Scholar 

  • Sobociński, Bolesław (1953). ‘Z badań nad aksjomatyką prototetyki Stanisława Leśniewskiego’, Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik 4, 18–20.

    Google Scholar 

  • Sobociński, Bolesław (1954). ‘tudies in Leśniewski’s Mereology’, Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik 5, 34–48.

    Google Scholar 

  • Sobociński, Bolesław (1955). ‘On Well Constructed Axiom Systems’, Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik 6, 54–65.

    Google Scholar 

  • Sobociński, Bolesław (1960). ‘On the Single Axioms of Protothetic I, II, III’, Notre Dame Journal of Formal Logic I (1960), 52-73; II (1961), 110-126 and 129–148. [Paper VI in this volume — Ed.]

    Article  Google Scholar 

  • Sobociński, Bolesław (1971a). ‘Lattice-Theoretical and Mereological Forms of Hauber’sLaw’, Notre Dame Journal of Formal Logic XII, 81–85.

    Article  Google Scholar 

  • Sobociński, Bolesław (1971b). ‘Atomistic Mereology I, II’, Notre Dame Journal of Formal Logic XII, 89-103 and 203–213.

    Article  Google Scholar 

  • Sobociński, Bolesław (1971c). ‘A Note on an Axiom-System of Atomistic Mereology’, Notre Dame Journal of Formal Logic XII, 249–251.

    Article  Google Scholar 

  • Sullivan, Theodore F. (1971). ‘Affine Geometry Having a Solid as Primitive’, Notre Dame Journal of Formal Logic XII, 1–61.

    Article  Google Scholar 

  • Sullivan, Theodore F. (1972). ‘The Name Solid as Primitive in Projective Geometry’, Notre Dame Journal of Formal Logic XIII, 95–97.

    Article  Google Scholar 

  • Sullivan, Theodore F. (1973a). ‘The Geometry of Solids in Hibert Spaces’, Notre Dame Journal of Formal Logic XIV, 575–580.

    Article  Google Scholar 

  • Sullivan, Theodore F. (1973b). ‘Tarski’s Definition of Point in Banach Spaces’, Journal of Geometry 3, 179–189.

    Article  Google Scholar 

  • Tarski, Alfred (1923). ‘O wyrazie pierwotnym logistyki (On the Primitive Term of Logistic)’, Przegląl Filozoficzny XXVI, 68–89. [Paper III in this volume — Ed.]

    Google Scholar 

  • Tarski, Alfred (1929). ‘Les fondements de la géométrie des corps’, Ksiçga Pamiątkowa Pierwszego Polskiego Zjazdu Matematycznego, supplement to Annales de la Société Polonaise de Mathématique, Krakow, 29–33.

    Google Scholar 

  • Welsh, Paul J., Jr. (1971). Primitivity in Mereology, Ph.D. dissertation, University of Notre Dame.

    Google Scholar 

Download references

Authors
  1. V. Frederick Rickey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Melbourne, Australia

    Jan T. J. Srzednicki

  2. York University, Canada

    Zbigniew Stachniak

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Rickey, V.F. (1998). A Survey of Leśniewski’s Logic. In: Srzednicki, J.T.J., Stachniak, Z. (eds) Leśniewski’s Systems Protothetic. Nijhoff International Philosophy Series, vol 54. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5736-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-5736-0_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6419-4

  • Online ISBN: 978-94-011-5736-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation