Leśniewski's Systems Protothetic

ISBN-13: 9780792345046 / Angielski / Twarda / 1998 / 310 str.

Jan T. Srzednicki; J. Srzednicki; Z. Stachniak

Opis

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.

Spis treści

Editor's Foreword. I. Nominalism in Poland; P.M. Simons. II. A Survey of Lesniewski's Logic; F.V. Rickey. III. On the Primitive Term of Logistic; A. Tarski. IV. An Investigation of Protothetic; B. Sobocinski. V. St. Lesniewski's Protothetics; J. Slupecki. VI. On the Single Axioms of Protothetic; B. Sobocinski. VII. Axiomatic Inscriptional Syntax. Part II: The Syntax of Protothetic; F.V. Rickey. VIII. Investigations in Protothetic; A. Le Blanc. Protothetic Bibliography.