Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Lesniewski, Stanislaw --- Philosophy, Polish --- Whole and parts (Philosophy) --- Ontology --- Logic, Symbolic and mathematical --- Philosophie polonaise --- Tout et parties (Philosophie) --- Ontologie --- Logique symbolique et mathématique --- Lesniewski, Stanislaw, --- Leśniewski, Stanisław, --- Logique symbolique et mathématique --- Leśniewski, Stanisław, - 1886-1939

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Logic, symbolic and mathematical --- Leśniewski, Stanisław, --- Logic, Symbolic and mathematical. --- Leśniewski, Stanisław, --- Logic. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Lesniewski, Stanisław --- Leśniewski, S. --- Leśniewski, Stanisław, --- Leśniewski, Stanisław, - 1886-1939