Stanislaw Lesniewski | Biography

Stanislaw Lesniewski cofounded the Warsaw school of logic and served as one of its top representatives. Along with a student,, and colleague , he formed a triangle of expertise that made the University of Warsaw the world center for research in formal logic in the 1920s and 1930s. Lesniewski's main contributions to mathematical logic comprise three distinct yet interrelated systems that he dubbed protothetic, ontology, and mereology. Together, these systems provide a logical foundation for all branches of classical mathematics.

Born in Serpukhov, Russia on March 30, 1886, Lesniewski was the son of a communications engineer who served as one of the chief builders of the trans-Siberian railroad. Beginning in 1896, the boy attended school in Trojskosawski, near the Mongolian border, which was near where his father was working. In 1899, Lesniewski began studying at a school in Irkutsk, leaving in 1904 to take classes here and there in continental Europe, but mainly in Germany. He achieved his doctoral degree, a philosophical treatise that focused on the analysis of existential , in 1912 at the University of Lviv (then in Austria, now in Ukraine).

Lesniewski's first important work, on the theory of collective , appeared in 1916. At that time he also began teaching his first course in mathematical logic at the University of Lviv. Until this time, Lesniewski's career had been tending toward an interest in philosophy, but this changed when he read Lukasiewicz's book On the Principle of Contradiction in Aristotle. Lesniewski became an impassioned student of logic when he perceived that the antimonies (paradoxes) in mathematics and logic discussed in the book were a dire threat to the foundations of deductive science. His desire to eliminate this threat eventually yielded the contributions for which Lesniewski is still remembered.

From 1916 to 1927, Lesniewski engaged in intensive research, although he did not publish much during this creative period. One work, Foundations of the General Theory of Sets, appeared in 1916. In 1917, Lesniewski took a teaching post at the Warsaw Gymnasium, but in 1919 he followed Lukasiewicz to the University of Warsaw and began working as professor of mathematical philosophy. Their dynamism attracted many gifted students from all over the world.

Beginning in 1927, Lesniewski finally started publishing some of his work, although reluctantly because, as a perfectionist, he did not feel the manuscripts were ready for the world to see. Part of the problem, he felt, was that everyday language was inadequate for the discussion of ontological issues. This was the primary motivation for Lesniewski's focused search for a new kind of language that would be suitable for science. In the early part of the decade, he had started experimenting with using symbolic language instead of natural language for this purpose. Eventually, in order to explain his protothetic, ontology, and mereology systems, Lesniewski came up with a general theory of semantic groups that was similar to the "meaning categories" of his contemporary, .

Lesniewski's systems of logic came under close scrutiny later in his life as he began to publish more of his research. The basis of his most famous logistic theory, protothetic (from the Greek protos, or "first"), is still considered the most complete theory on the relationships among propositions, statements that affirm or deny something so they can then be characterized as true or false. The second part, ontology (from the Greek on, or "being), concerns the logic of names. When combined with protothetic, ontology yields all the theorems of logical and syllogistic ("if-then") algebra, in addition to the logic of relations and sets. The last component, mereology (from the Greek meros, or "part"), is a general theory of the relationship between a whole and its parts. Lesniewski developed these separate yet complementary systems of logic using a precision and clarity that forever raised the bar for standards of mathematical rigor, as well as establishing the Warsaw school of logic as the world's most advanced.

Lesniewski was given a full professorship at the University of Warsaw in 1936, after which he spent several months of that year touring the scientific centers of Europe. He died suddenly of thyroid cancer on May 13, 1939 in Warsaw just as the Warsaw school was reaching the height of its influence. Virtually all of Lesniewski's manuscripts, including those that he never published, were destroyed during World War II. Fortunately, Tarski through his own research did much to publicize Lesniewski's work after the elder man's death.