Ebook: Leśniewski’s Systems Protothetic
- Tags: Logic, Mathematical Logic and Foundations
- Series: Nijhoff International Philosophy Series 54
- Year: 1998
- Publisher: Springer Netherlands
- Edition: 1
- Language: English
- pdf
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.
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.
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:
Front Matter....Pages i-xvi
Nominalism in Poland....Pages 1-22
A Survey of Le?niewski’s Logic....Pages 23-41
On the Primitive Term of Logistic....Pages 43-68
An Investigation of Protothetic....Pages 69-83
St. Le?niewski’s Protothetics....Pages 85-152
On the Single Axioms of Protothetic....Pages 153-216
Axiomatic Inscriptional Syntax Part II: The Syntax of Protothetic....Pages 217-288
Investigations in Protothetic....Pages 289-298
Back Matter....Pages 299-310
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:
Front Matter....Pages i-xvi
Nominalism in Poland....Pages 1-22
A Survey of Le?niewski’s Logic....Pages 23-41
On the Primitive Term of Logistic....Pages 43-68
An Investigation of Protothetic....Pages 69-83
St. Le?niewski’s Protothetics....Pages 85-152
On the Single Axioms of Protothetic....Pages 153-216
Axiomatic Inscriptional Syntax Part II: The Syntax of Protothetic....Pages 217-288
Investigations in Protothetic....Pages 289-298
Back Matter....Pages 299-310
....