Skip to main content
SpringerLink
Log in

A survey of Leśniewski's logic

  • 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

Abbreviations

JSL :

Journal of Symbolic Logic

NDJFL :

Notre Dame Journal of Formal Logic

PF :

Przegląd Filozoficzny

Rocznik :

Polskie Towarzystwo Naukowe na Obczyźnie. Rocznik

SL :

Studia Logica

Bibliography

  • AJDUKIEWICZ, KAZIMIERZ [1935]Die Syntaktische Konnexität,Studia Philosophica, 1, 1–27.

    Google Scholar 

  • CANTY, JOHN THOMAS [1969a]The Numerical Epsilon,NDJFL, 10, 47–63.

    Google Scholar 

  • — [1969b]Leśniewski's Terminological Explanations as Recursive Concepts,NDJFL, 10, 337–369.

    Google Scholar 

  • CHANG, C. C. and KEISLER, H. J. [1973]Model Theory, North-Holland Publ. Co.

  • CHURCH, ALONZO [1956]Introduction to Mathematical Logic, Princeton University Press.

  • CLAY, ROBERT E. [1966]On the Definition of Mereological Class,NDJFL, 7, 359–360.

    Google Scholar 

  • — [1968]The Consistency of Leśniewski's Mereology Relative to the Real Number System,JSL, 33, 251–257.

    Google Scholar 

  • — [1971]A Model for Leśniewski's Mereology in Functions,NDJFL, 12, 467–478.

    Google Scholar 

  • — [1974a]Relation of Leśniewski's Mereology to Boolean Algebra,JSL, 39, 638–648.

    Google Scholar 

  • — [1974b]Some Mereological Models,NDJFL, 15, 141–146.

    Google Scholar 

  • — [1975b]Single Axioms for Atomistic and Atomless Mereology,NDJFL, 16, 345–351.

    Google Scholar 

  • DAVIS, CHARLES C., JR. [1975]An Investigation Concerning the Hilbert-Sierpiński Logical Form of the Axiom of Choice,NDJFL, 16, 145–184.

    Google Scholar 

  • GLIBOWSKI, EDMUND [1969]The Application of Mereology to Grounding of Elementary Geometry,SL, 24, 109–129.

    Google Scholar 

  • GOODMAN, N. [1951]The Structure of Appearance. Cambridge, Mass.

  • GRZEGORCZYK, ANDRZEJ [1955]The Systems of Leśniewski in Relation to Contemporary Logical Research,SL, 3, 77–95.

    Google Scholar 

  • HENRY, DESMOND PAUL [1972]Medieval Logic and Metaphysics: A Modern Introduction, Hutchinson University Library.

  • IWANUŚ, BOGUSŁAW [1973a]On Leśniewski's Elementary Ontology,SL, 31, 73–125.

    Google Scholar 

  • JAŚKOWSKI, STANISŁAW [1948a]Une modification des définitions fondamentales de la géometrie des corps de A. Tarski,Annales de la Soc. Pol. de Math., 21, 298–301.

    Google Scholar 

  • KOTARBIŃSKI, TADEUSZ [1929]Elementy teorji poznania, logiki formalnej i metodologji nauk (Elements of Epistomology, Formal Logic, and Methodology). Lwów.

  • KOWALSKI, JAMES G. [1977]Leśniewski's Ontology Extended with the Axiom of Choice,NDJFL, 18, 1–78.

    Google Scholar 

  • KRUSZEWSKI, Z. [1925]Ontologja bez aksjomatów,PF, 28, 136.

    Google Scholar 

  • KUBIŃSKI, TADEUSZ [1971c]A Report on Investigations Concerning Mereology,Acta Universitatis Wratislaviensis, No. 139, Prace Filozoficzne VIII, 47–68.

    Google Scholar 

  • KÜNG, GUIDO [1967]Ontology and the Logistic Analysis of Language, The Humanities Press.

  • LEJEWSKI, CZESŁAW [1954a]A Contribution to Leśniewski's Mereology,Rocznik, 5, 43–50.

    Google Scholar 

  • — [1955]A New Axiom for Mereology,Rocznik, 6, 65–70.

    Google Scholar 

  • — [1958b]On Leśniewski's Ontology,Ratio (Oxford), 1, 150–176.

    Google Scholar 

  • — [1962]A Note on a Problem Concerning the Axiomatic Foundations of Mereology,NDJFL, 4, 135–139.

    Google Scholar 

  • — [1967c]A Single Axiom for the Mereological Notion of Proper Part,NDJFL, 7, 279–285.

    Google Scholar 

  • — [1969]Consistency of Leśniewski's Mereology,JSL, 34, 321–328.

    Google Scholar 

  • — [1973a]A Contribution to the Study of Extended Mereologies,NDJFL, 14, 53–61.

    Google Scholar 

  • LEONARD, HENRY S., and GOODMAN, NELSON [1940]The calculus of individuals and its uses,JSL, 5, 45–55.

    Google Scholar 

  • LEŚNIEWSKI, STANISŁAW [1916]Podstawy ogólnej teorii mnogości. I. (Foundations of a general theory of manifolds), Moscow.

  • — [1927]O podstawach matematyki (On the foundations of mathematics),PF, 30 (1927), 164–206; 31 (1928), 261–291; 32 (1929), 60–101; 33 (1930). 77–105 and 34 (1931), 142–170.

    Google Scholar 

  • — [1929a]Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind,Fundamenta Mathematicae, 13, 319–332.

    Google Scholar 

  • — [1929b]Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind,Fundamenta Mathematicae, 14, 242–251.

    Google Scholar 

  • — [1929c]Grundzüge eines neuen Systems der Grundlagen der Mathematik,Fundamenta Mathematicae, 14, 1–81.

    Google Scholar 

  • — [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 

  • — [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 

  • — [1938a]Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. “Grundzüge eines neuen Systems der Grundlagen der Mathematik”,Collectanea Logica, 1 (Offprint 1938), 1–60.

    Google Scholar 

  • — [1938b]Grundzüge eines neuen Systems der Grundlagen der Mathematik, § 12,Collectanea Logica, 1 (Offprint 1938), 61–144.

    Google Scholar 

  • ŁUKASIEWICZ, JAN [1910]Über den Satz von Widerspruch bei Aristotles,Bulletin international de Académie des Sciences de Cracovie, Classe de Philosophie, 15–38.

  • — [1951]On Variable Functors of Propositional Arguments,Proc, of the Royal Irish Academy, 54, sect. A, 25–35.

    Google Scholar 

  • — [1953]Symposium: The Principle of Individuation I,Aristotelian Society, Supp. vol. 27, 69–82.

    Google Scholar 

  • LUSCHEI, EUGENE C. [1962]The Logical Systems of Lesniewski, North-Holland Publ. Co.

  • MACHOVER, M. [1966]Contextual Determinancy in Leśniewski's Grammar,SL, 19, 47–57.

    Google Scholar 

  • RICKEY, V. FREDERICK [1972]Axiomatic Inscriptional Syntax, Part I: General Syntax,NDJFL, 13, 1–33.

    Google Scholar 

  • — [1973]Axiomatic Inscriptional Syntax, Part II: The Syntax of Protothetic,NDJFL, 14, 1–52.

    Google Scholar 

  • — [1975]Creative Definitions in Propositional Calculi,NDJFL, 16, 273–294.

    Google Scholar 

  • SCHARLE, THOMAS W. [1971]Completeness of Many-Valued Protothetic,JSL, 36, 363–364.

    Google Scholar 

  • SINISI, VITO F. [1976]Leśniewski's Analysis of Russell's Antinomy,NDJFL, 17, 19–34.

    Google Scholar 

  • SŁUPECKI, JERZY [1953]St. Leśniewski's Protothetics,SL, 1, 44–112.

    Google Scholar 

  • — [1955]S. Leśniewski's Calculus of Names,SL, 3, 7–73.

    Google Scholar 

  • SOBOCIŃSKI, BOLESŁAW [1934]O kolejnych uproszczeniach aksjomatyki “ontologji” prof. St. Leśniewskiego,Fragmenty Filozoficzne, 143–160.

  • SOBOCIŃSKI, BOLESŁAW [1949]An Investigation of Protothetic, Cahiers de l'Institut d'Etudes Polonaises en Belgique, no, 5, Brussels.

  • — [1950]L'analyse de l'antinomie Russellienne par Leśniewski,Methodos, 1, no. 1, 94–107; no. 2, 220–228; no. 3, 308–316; 2, 237–257.

    Google Scholar 

  • — [1953]Z badań nad aksjomatyką protothetyki Stanislawa Leśniewskiego,Rocznik, 4, 18–20.

    Google Scholar 

  • — [1954]Studies in Leśniewski's Mereology,Rocznik, 5, 34–48.

    Google Scholar 

  • — [1955]On Well Constructed Axiom Systems,Rocznik, 6, 54–65.

    Google Scholar 

  • — [1960]On the Single Axioms of Protothetic I, II, III,NDJFL, 1, 52–73; 2, 110–126; 2, 129–148.

    Google Scholar 

  • — [1971a]Lattice-Theoretical and Mereological Forms of Hauber's Law,NDJFL, 12, 81–85.

    Google Scholar 

  • — [1971b]Atomistic Mereology I,NDJFL, 12, 89–103.

    Google Scholar 

  • — [1971c]Atomistic Mereology II,NDJFL, 12, 203–213.

    Google Scholar 

  • — [1971d]A Note on an Axiom-System of Atomistic Mereology,NDJFL, 12, 249–251.

    Google Scholar 

  • SULLIVAN, THEODORE F. [1971b]Affine Geometry Having a Solid as Primitive,NDJFL, 12, 1–61.

    Google Scholar 

  • — [1972a]The Name Solid as Primitive in Projective Geometry,NDJFL, 13, 95–97.

    Google Scholar 

  • — [1973b]The Geometry of Solids in Hilbert Spaces,NDJFL, 14, 575–580.

    Google Scholar 

  • — [1973c]Tarski's Definition of Point in Banach Spaces,Journal of Geometry, 3, 179–189.

    Article  Google Scholar 

  • TARSKI, ALRFED [1923]O wyrazie pierwotnym logistyki (On the primitive term of Logistic),PF, 26, 68–89.

    Google Scholar 

  • TARSKI, ALRFED [1929]Les fondements de la geometric des corps, Księga Pamiątkowa Pierwszego Polskiego Zjazdu Matematycznego. supplement toAnnales de la Societé Polonaise de Mathématique, Kraków, 29–33.

  • WELSH, PAUL J., JR. [1971]Primitivity in Mereology Ph. D. dissertation, University of Notre Dame.

Download references

Author information

Authors and Affiliations

  1. Bowling Green State University, 43403, Bowling Green, Ohio, USA

    V. Frederick Rickey

Authors
  1. V. Frederick Rickey
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dedicated to my teacher Professor Boleslaw Sobociński on his seventieth birthday

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

Allatum est die 1 Junii 1976

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rickey, V.F. A survey of Leśniewski's logic. Stud Logica 36, 407–426 (1977). https://doi.org/10.1007/BF02120674

Download citation

  • Issue Date:

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

Keywords

Search

Navigation