Leśniewski’s Systems

  • Jan Wolenski
Part of the Synthese Library book series (SYLI, volume 198)


Leśniewski’s name has often been mentioned in earlier chapters of this book. This reader can see, however, that Leśniewski took no direct part in the research conducted in the Warsaw School and discussed in Chapters V and VI. The equivalential sentential calculus was the only exception. Leśniewski’s logical production formed in a sense a separate trend in the Warsaw School. It should be noted that Leśniewski expressly repudiated his earlier opinions, that is those dating from 1911–6.1 But he was not convinced that the shape of mathematical logic in the version to be found in Principia Mathematica was the correct one. His cutting himself off from the ‘grammatical’ style in logic and doubts about the precision of the standard approach to logic led Leśniewski to search for a system of logic that would satisfy two general requirements: it should serve as the foundation for mathematics and should be constructed in a manner free of any ambiguities.


Type Theory Semantic Category Deductive System Primitive Term Elementary Ontology 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1989

Authors and Affiliations

  • Jan Wolenski
    • 1
  1. 1.The Jagiellonian UniversityKrakówPoland

Personalised recommendations