Stanislaw Leśniewski

Stanisław Leśniewski (1886-1939) fue un lógico, matemático y filósofo polaco, figura destacada de la Escuela de Leópolis-Varsovia. Su nombre está ligado sobre todo a la invención de la mereología, una teoría de las relaciones entre partes y todos, y a un conjunto de sistemas lógicos formales que pretendían ofrecer una base rigurosa para las matemáticas y el razonamiento.

Nació en Serpukhov, cerca de Moscú, en el seno de una familia que se trasladaba con frecuencia por el trabajo de su padre, ingeniero ferroviario del Imperio ruso. Cursó el bachillerato en Irkutsk. Entre 1909 y 1910 asistió en Múnich a las lecciones de Hans Cornelius y, más tarde, a las de Wacław Sierpiński en Leópolis. Su tesis doctoral, de 1912, criticaba en parte la tesis de Brentano según la cual toda proposición categórica se reduce a una existencial. En 1919 obtuvo la cátedra de Filosofía de las Matemáticas en la Universidad de Varsovia. Durante la guerra polaco-soviética colaboró en el desciframiento de códigos enemigos para el Estado Mayor polaco.

Su aportación principal fue la construcción de tres sistemas formales anidados: la prototética, la ontología (o cálculo de nombres) y la mereología (o cálculo de individuos). Leśniewski era un nominalista radical que rechazaba la teoría axiomática de conjuntos, a la que oponía la noción de conjunto mereológico, irreducible a sus elementos. Sus escritos, de estilo enigmático y notación muy particular, tuvieron escasa difusión directa; su pensamiento se conoce sobre todo gracias a los apuntes de sus alumnos. Aunque Alfred Tarski fue su único discípulo doctoral, influyó profundamente en toda una generación de lógicos polacos. Murió en 1939, poco antes de la invasión alemana, y gran parte de sus manuscritos se perdió.