書誌事項

Leśniewski's systems : protothetic

Jan T.J. Srzednicki, general editor, and Zbigniew Stachniak, volume editor

(Nijhoff international philosophy series, v. 54)

Kluwer Academic Publishers, c1998

タイトル別名

Leśniewski's systems protothetic

大学図書館所蔵 件 / 6

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

  • 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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ