Leśniewski’s Logic and its Relation to Classical and Free Logics

  • Peter M. Simons

Abstract

Understanding the relationship between the logical system of Stanisław Leśniewski and those of the Frege-Russell tradition is made difficult by a number of factors, some of them circumstantial, some substantial. The circumstantial ones include the fact that Leśniewski died in 1939, having published only a small fraction of his work, and his manuscripts were destroyed in the Nazi occupation of Poland. What survives is often compressed almost to the point of unintelligibility. His punctilious insistence on utmost rigour and his preference for an interesting but idiosyncratic notation isolated him from all but his students and a few contemporaries. While of those surviving some have, with their own pupils, reconstructed many of Leśniewski’s achievements and pushed his work forward, they have tended not to spare much time for publicising Leśniewski’s work to a wider audience. There exists to date no mtroductury logic textbook (outside Japan!) which devotes so much as a chapter to presenting even Leśniewski’s basic ideas. On the substantial side, many of his opinions were then, and surprisingly many still are, uncompromisingly, even inconveniently radical.

Keywords

Classical Logic Logical System Definite Description Syntactic Category Singular Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Church, A., 1940, A Formulation of the Simple Theory of Types, JSL, 5:56–68.Google Scholar
  2. Church, A., 1956, “Introduction to Mathematical Logic,” Princeton UP, Princeton.Google Scholar
  3. Dambska, I., 1978, François Brentano et la pensée philosophique en Pologne: Casimir Twardowski et son école, Grazer Phil. Studien, 5:117–130.CrossRefGoogle Scholar
  4. Davis, C. C., 1975, An Investigation Concerning the Hilbert-Sierpiński Logical Form of the Axiom of Choice, NDJFL, 16:145–184.Google Scholar
  5. Küng, G., 1977, The Meaning of the Quantifiers in the Logic of Leśniewski, Studia Logica, 26:309–322.CrossRefGoogle Scholar
  6. Kiing, G., 1977a, Nominalistische Logik heute, Allg. Zeitschr, f. Phil., 2:29–52.Google Scholar
  7. Küng, G. and Canty, J. T., 1970, Substitutional Quantification and Leśniewskian Quantifiers, Theoria, 36:165–182.CrossRefGoogle Scholar
  8. Lambert, K. and Scharle, T., 1967, A Translation Theorem for Two Systems of Free Logic, Logique et analyse, 10:328–341.Google Scholar
  9. Lejewski, C., 1958, On Leśniewski’s Ontology, Ratio, 1:150–176.Google Scholar
  10. Lejewski, C., 1967, A Theory of Non-reflexive Identity and its Ontological Ramifications, in: “Grundfragen der Wissenschaften und ihre Wurzeln in der Metaphysik,” P. Weingartner, ed., Pustet, Salzburg.Google Scholar
  11. Lejewski, C., 1967a, Leśniewski, Stanisław, in: “Encyclopedia of Philosophy,” P. Edwards, ed., Macmillan, New York, Vol.4:441–443.Google Scholar
  12. Luschei, E. C., 1962, “The Logical Systems of Leśniewski,” North-Holland, Ams terdam.Google Scholar
  13. Quine, W. V. O., 1969, “Ontological Relativity and Other Essays,” Columbia UP, New York.Google Scholar
  14. Sharvy, R., 1980, A More General Theory of Definite Descriptions, Phil. Review, 89:607–624.CrossRefGoogle Scholar
  15. Simons, P. M., 1982, On Understanding Leśniewski, Hist. and Phil. of Logic, 3:165–191.CrossRefGoogle Scholar
  16. Simons, P. M., 1982a, Plural Reference and Set Theory, in.: “Parts and Moments,” B. Smith, ed., Philosophia, Munich.Google Scholar
  17. Simons, P. M., 1983, Class, Mass and Mereology, Hist. and Phil. of Logic, 4:157–180.CrossRefGoogle Scholar
  18. Simons, P. M., 198., “Parts. A Study in Ontology,” forthcoming.Google Scholar
  19. Sobociński, B., 1967, Successive Simplifications of the Axiom-system of Leśniewski’s Ontology, in: “Polish Logic 1920–1939,” S. McCall, ed., Oxford UP, Oxford.Google Scholar
  20. Van Fraassen, B. C. and Lambert, K., 1967, On Free Description Theory, Zeitsehr. f. math. Logik u. Grundlagen d. Mathematik, 13:225–240.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1985

Authors and Affiliations

  • Peter M. Simons
    • 1
  1. 1.Department of PhilosophyUniversity of SalzburgSalzburgAustria

Personalised recommendations