TitleLeลniewski's Systems Protothetic [electronic resource] / edited by Jan T. J. Srzednicki, Zbigniew Stachniak
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 1998
Connect tohttp://dx.doi.org/10.1007/978-94-011-5736-0
Descript XVI, 310 p. online resource

SUMMARY

Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology. His research started in 1914 with studies on the general theory of sets (later named ̀Mereology'). Ontology followed between 1919 and 1921, and was the next step towards an integrated system. In order to combine these two systematically he constructed Protothetic - the system of ̀first principles'. Together they amount to what Z. Jordan called ̀... most thorough, original, and philosophically significant attempt to provide a logically secure foundation for the whole of mathematics'. The volume collects many of the most significant commentaries on, and contributions to, Protothetic. A Protothetic Bibliography is included


CONTENT

I.Nominalism in Poland -- II. A Survey of Le?niewski's Logic -- III. On the Primitive Term of Logistic -- IV. An Investigation of Protothetic -- V. St. Le?niewski's Protothetics -- VI. On the Single Axioms of Protothetic -- VII. Axiomatic Inscriptional Syntax.Part II: The Syntax of Protothetic -- VIII. Investigations in Protothetic -- Protothetic Bibliography -- Author Index


SUBJECT

  1. Philosophy
  2. Logic
  3. Mathematical logic
  4. Philosophy
  5. Logic
  6. Mathematical Logic and Foundations