stringtranslate.com

Stanislaw Lesniewski

Stanisław Leśniewski (30 de marzo de 1886 - 13 de mayo de 1939) fue un matemático , filósofo y lógico polaco .

Vida

Nació el 28 de marzo de 1886 en Serpujov , cerca de Moscú , hijo de Izydor, un ingeniero que trabajaba en la construcción del Ferrocarril Transiberiano , y Helena ( de soltera Palczewska). [1] Leśniewski fue a una escuela secundaria en Irkutsk . Más tarde asistió a las conferencias de Hans Cornelius en la Universidad Ludwig Maximilian de Múnich [2] y a las 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 de entreguerras , quizás el centro de investigación más importante del mundo en lógica formal . [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 derivados del griego de prototética, 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 libro de texto de estos sistemas es la de Simons (1987), quien los compara y contrasta con las variantes de la 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 (módulo de elección del lenguaje).

Aunque 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 de las matemáticas en su época, sus escritos tuvieron un impacto limitado debido a su estilo enigmático y su notación altamente idiosincrásica. Leśniewski también fue un nominalista radical : rechazó la teoría axiomática de conjuntos en un momento en que esa teoría estaba en pleno auge. Señaló la paradoja de Russell y otras 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 estudiantes (por ejemplo, Srzednicki y Rickey 1984) que el pensamiento de Leśniewski es conocido. [7]

Durante la guerra polaco-soviética de 1919-21, Leśniewski sirvió a la causa de la independencia de Polonia descifrando los códigos rusos soviéticos para la Oficina de Cifrados del Estado Mayor Polaco . [8]

Leśniewski murió repentinamente de cáncer, poco antes de la invasión alemana de Polonia , lo que provocó la destrucción de su Nachlass . Fue enterrado en el cementerio Powązki de Varsovia . [9]

Obras

Biblioteca de la Universidad de Varsovia : en la entrada (vista desde atrás) hay estatuas con columnas de los filósofos de la Escuela de Lwów-Varsovia ( de derecha a izquierda ) Kazimierz Twardowski , Jan Łukasiewicz , Alfred Tarski , Stanisław Leśniewski.

Véase también

Referencias

  1. ^ "Stanisław Leśniewski" . Consultado el 20 de marzo de 2020 .
  2. ^ "Stanisław Leśniewski - logik radykalny" . Consultado el 20 de marzo de 2020 .
  3. ^ "Stanisław Leśniewski" . Consultado el 20 de marzo de 2020 .
  4. ^ "Naissance du mathématicien Polonais Stanisław Leśniewski 30 de marzo de 1886" . Consultado el 20 de marzo de 2020 .
  5. ^ "Enciclopedia de Filosofía de Stanford".
  6. ^ "Stanislaw Lesniewski" . Consultado el 20 de marzo de 2020 .
  7. ^ "Systemy dedukcyjne Leśniewskiego - podstawy filozofii i matematyki" (PDF) . Consultado el 20 de marzo de 2020 .
  8. ^ "Wojna wywiadów" . Consultado el 20 de marzo de 2020 .
  9. ^ "Warszawskie Zabytkowe Pomniki Nagrobne" . Consultado el 20 de marzo de 2020 .

Enlaces externos