Stanisław Leśniewski summary

Written and fact-checked by The Editors of Encyclopaedia Britannica

Below is the article summary. For the full article, see Stanisław Leśniewski.

Stanisław Leśniewski, or Stanisław Leshniewski, (born March 30, 1886, Serpukhov, Russia—died May 13, 1939, Warsaw), Polish logician and mathematician. As a professor at the University of Warsaw (1919–39), he became a cofounder and leading representative of the Warsaw school of logic. His distinctive contribution was the construction of three interrelated formal systems, to which he gave the Greek-derived names of protothetic, ontology, and mereology.

foundations of mathematics Summary

Foundations of mathematics, the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its completeness and its consistency. Because mathematics has served as a model for rational inquiry in the West and is used extensively in the

logic Summary

Logic, the study of correct reasoning, especially as it involves the drawing of inferences. This article discusses the basic elements and problems of contemporary logic and provides an overview of its different fields. For treatment of the historical development of logic, see logic, history of. For

philosophy of mathematics Summary

Philosophy of mathematics, branch of philosophy that is concerned with two major questions: one concerning the meanings of ordinary mathematical sentences and the other concerning the issue of whether abstract objects exist. The first is a straightforward question of interpretation: What is the

mathematics Summary

Mathematics, the science of structure, order, and relation that has evolved from elemental practices of counting, measuring, and describing the shapes of objects. It deals with logical reasoning and quantitative calculation, and its development has involved an increasing degree of idealization and