Stanisław Leśniewski (30 de marzo de 1886 – 13 de mayo de 1939) fue un matemático , filósofo y lógico polaco .
Nació el 28 de marzo de 1886 en Serpukhov , cerca de Moscú , de padre Izydor, un ingeniero que trabajaba en la construcción del Ferrocarril Transiberiano , y de madre Helena ( de soltera Palczewska). [1] Leśniewski fue a una escuela secundaria en Irkutsk . Posteriormente asistió a conferencias de Hans Cornelius en la Universidad Ludwig Maximilian de Munich [2] y a conferencias de Wacław Sierpiński en la Universidad de Lviv . [3]
Leśniewski perteneció a la primera generación de la Escuela de lógica de Lwów-Varsovia fundada por Kazimierz Twardowski . Junto con Alfred Tarski y Jan Łukasiewicz , formó un trío que hizo de la Universidad de Varsovia , durante el período entre guerras , quizás el centro de investigación de lógica formal más importante del mundo . [4] A pesar de eso, el creciente antisemitismo de Leśniewski provocó más tarde el deterioro de la relación con Tarski. [5]
Su principal contribución fue la construcción de tres sistemas formales anidados , a los que dio los nombres de origen griego de prototético, ontología y mereología . [6] A veces se utiliza ("Cálculo de nombres" en lugar de ontología, un término ampliamente empleado en metafísica en un sentido muy diferente). Una buena presentación de estos sistemas en un libro de texto es la de Simons (1987), quien los compara y contrasta con las variantes de mereología , más populares hoy en día, que descienden del cálculo de individuos de Leonard y Goodman. Simons aclara algo que es muy difícil de determinar leyendo a Leśniewski y sus estudiantes, a saber, que la mereología polaca es una teoría de primer orden equivalente a lo que ahora se llama mereología extensional clásica (elección de módulo de lenguaje).
Si bien publicó una buena cantidad de trabajos (Leśniewski, 1992, son sus obras completas traducidas al inglés), algunos de ellos en alemán, el idioma principal para las matemáticas de su época, sus escritos tuvieron un impacto limitado debido a su estilo enigmático y altamente notación idiosincrásica. Leśniewski también fue un nominalista radical : rechazó la teoría de conjuntos axiomática en un momento en que esa teoría estaba en pleno florecimiento. Señaló la paradoja de Russell y cosas similares en apoyo de su rechazo, e ideó sus tres sistemas formales como una alternativa concreta a la teoría de conjuntos. Aunque Alfred Tarski fue su único alumno de doctorado, Leśniewski influyó fuertemente en toda una generación de lógicos y matemáticos polacos a través de su enseñanza en la Universidad de Varsovia. Es principalmente gracias a los escritos de sus alumnos (por ejemplo, Srzednicki y Rickey 1984) que se conoce el pensamiento de Leśniewski. [7]
Durante la guerra polaco-soviética de 1919-21, Leśniewski sirvió a la causa de la independencia de Polonia descifrando los cifrados rusos soviéticos para la Oficina de cifrado del Estado Mayor polaco . [8]
Leśniewski murió repentinamente de cáncer, poco antes de la invasión alemana de Polonia , que provocó la destrucción de su Nachlass . Fue enterrado en el cementerio Powązki de Varsovia . [9]
