Stanislaw Lesniewski [photograph]

Stanislaw Lesniewski [photograph]

Stanisław Leśniewski (1886–1939) was a Polish logician who is regarded, together with Jan Łukasiewicz, as the founder of the Polish school of logic. He was the originator of an unorthodox system of the foundations of mathematics, based on three formal systems: Protothetic, a logic of propositions and their functions; Ontology: a logic of names and functors of arbitrary order; and Mereology, a general theory of part and whole. He lectured on logic and mathematics at the University of Warsaw from 1919 until his death in 1939, and was the supervisor of Alfred Tarski's doctoral dissertation. Arthur Prior was introduced to his logic system of Protothetic through the work of Bochenski and Łukasiewicz. Several of the papers that Prior wrote in the early 1950s are based on the analysis of Lesniewski's Protothetic.

The Private Archive of Jacek Jadacki, Warsaw

1920 and 1935

Jacek Jadacki

Copyright Jacek Jadacki. Used with permission. All rights reserved

AP231

JPEG

AP238

b/w photograph