Leśniewski’s Systems Protothetic
Book information
Description
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.
Similar books
Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
2014 · PDF
Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
2014 · EPUB
Course of Mathematical Logic. Volume 1: Relation and Logical Formula
1973 · PDF
Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
1983 · PDF
Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic
1984 · PDF
Metamathematics of Fuzzy Logic
1998 · PDF
Automated Model Building
2004 · PDF
Automated Model Building
2004 · PDF