Lesnevski, Stanislav
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 26 de abril de 2020; las comprobaciones requieren 2 ediciones .| Stanislav Lesnevski | |
|---|---|
| Stanislaw Leśniewski | |
| Nombrar al nacer | Polaco Stanislaw Kazimierz Leśniewski |
| Fecha de nacimiento | 30 de marzo de 1886 |
| Lugar de nacimiento | Serpukhov , Gobernación de Moscú , Imperio Ruso [1] |
| Fecha de muerte | 13 de mayo de 1939 (53 años) |
| Un lugar de muerte | Varsovia , Polonia |
| País | Imperio ruso |
| Titulo academico | Doctor |
| alma mater | |
| Principales Intereses | matemáticas |
| Influenciadores | Kazimir Tvardovsky |
| Influenciado | Alfredo Tarski |
| Archivos multimedia en Wikimedia Commons | |
Stanisław Leśniewski [5] ( polaco: Stanisław Leśniewski ; 30 de marzo de 1886 , Serpukhov - 13 de mayo de 1939 , Varsovia ) fue un matemático y filósofo polaco. En matemáticas, se especializó en lógica matemática. Uno de los principales representantes de la escuela Lvov-Varsovia .
Biografía
Nacido en la familia de Isidor Lesniewski, un ingeniero ferroviario polaco. La familia se mudó de acuerdo con la geografía de la construcción de ferrocarriles, por lo que S. Lesnevsky pasó sus años escolares en Irkutsk .
Estudió en las universidades de Berlín , Leipzig , Munich (donde asistió a conferencias del filósofo Hans Cornelius), Heidelberg . En la Universidad de Lviv, estudió principalmente filosofía y también asistió a conferencias de los matemáticos Józef Puzyna y Václav Sierpinski . En 1912 obtuvo el título de Doctor en Filosofía en la Universidad de Lviv (bajo la supervisión de K. Tvardovsky ).
En 1913 era profesor en la Escuela de Varsovia. Con el estallido de la Primera Guerra Mundial, regresa a Rusia, en 1914-1918. enseñó en una escuela secundaria polaca en Moscú . Durante estos años publicó su teoría formal, llamada "mereología".
En 1919-1939. Profesor de Filosofía de las Matemáticas en la Universidad de Varsovia. En 1919, junto con Jan Lukasiewicz , fundó la Escuela de Lógica de Varsovia.
Teoría lógica
Compartiendo el antipsicologismo y la actitud analítica general de Lukasiewicz , L. rechazó las tendencias platónicas y la idea del pluralismo lógico, inclinándose hacia el nominalismo de orientación materialista y la interpretación clásica (bivalente) de la lógica. Investigación lógica L. guiada por ideas ontológicas y metamatemáticas. Trató de construir una teoría lógica universal capaz de librar al nominalismo de sus típicas paradojas; además, tal teoría iba a formar la base de la teoría nominalista de los conjuntos. L. construyó tres partes de esta teoría: "protothetics" - una generalización del cálculo proposicional de proposiciones a través de la introducción de cuantificadores para variables proposicionales; "ontología" - una teoría formal que determina el significado del enlace "es"; "Mereología" - una teoría formal que determina las características de la relación de la parte y el todo. Además, esbozó pero no completó la "cronología", una teoría formal de las declaraciones temporales y la "estereología", una teoría formal de las declaraciones espaciales. El sistema lógico de L. está libre de las antinomias de la teoría clásica de conjuntos, pero, a diferencia de la teoría de tipos de Russell - Whitehead , se basa en el concepto de categorías semánticas, que explica la sintaxis de un lenguaje natural. Las ideas lógicas de L. fueron asimiladas por el concepto filosófico y metodológico de " reísmo ", desarrollado por Kotarbinsky . Junto con él, L. criticó la "hipostatización" de los conceptos, que conduce a la ontologización de los objetos lógicos y matemáticos. El análogo sintáctico de su teoría de las categorías semánticas ha encontrado aplicación en la lingüística. Algunas de las ideas de los lógicos antiguos y medievales ( Aristóteles , Anselmo , Boecio , Ockham y otros) encuentran expresión natural en la lógica de L.. Esto nos permite considerar las ideas lógicas de L. una valiosa herramienta no solo para la investigación lógico-mematemática, sino también histórico-filosófica.
Obras seleccionadas
- Lesnevsky S. I. Razonamiento lógico: I. Experiencia de fundamentación de la ley ontológica de la contradicción. II. Sobre el análisis de las oraciones existenciales. - San Petersburgo. : [tipo de. A. Smolinsky], 1913. - 91 p. - (Traducción de: // Przeglad filozofiezny. - 1912. - No. 2; 1911. - No. 3).
- Lesnevsky S. Sobre los fundamentos de las matemáticas (capítulo 9). En el libro. : Filosofía y lógica de la escuela Lvov-Varsovia. M, 1999. Serie "Filosofía Científica".
- Podstawy ogolnej teorii mnogosei. Moscú, 1916;
- Documentos lógicos recopilados. Varsovia, Dordrecht. 1988.
Notas
- ↑ Ahora, un centro regional en la región de Moscú , Rusia .
- ↑ https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209 - págs. 209-210.
- ↑ 1 2 https://books.google.cat/books?id=ueZfDwAAQBAJ&pg=PA209
- ↑ 1 2 https://books.google.cat/books?id=0bK8BAAAQBAJ&pg=PA5
- ↑ En la literatura y bibliografía rusas, se usa la ortografía del apellido sin un signo suave: "Lesnevsky".
Literatura
- Agapov E. P. S. La contribución de Lesnevsky a la formación de la semántica: Resumen de la tesis. dis. … cand. filosofía Ciencias. - M. , 1984. - 24 p.
- V. L. Vasyukov. Lesnevsky // Nueva Enciclopedia Filosófica : en 4 volúmenes / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
- Solonin Yu. N. Investigación lógica Arte. Lesnevsky: Autor. dis. … cand. filosofía Ciencias. - L. , 1970. - 20 p.
- Sobocinski, B. "L'analyse de l'antinomie russellienne par Leśniewski", Methodos 1, 1949, p. 94-107, pág. 220-228, pág. 308-316 y Métodos 2, 1950, p. 237-257.
- Luschei, Eugene, 1962. Los sistemas lógicos de Lesniewski. Ámsterdam: Holanda Septentrional.
- Trentman, John. 1966. "La ontología de Lesniewski y algunos lógicos medievales". Revista de Notre Dame de Lógica Formal no. 7:361-364.
- Canty, John Thomas. 1969. "Explicaciones terminológicas de Lesniewski como conceptos recursivos". Revista de Notre Dame de Lógica Formal no. 10:337-369.
- Miéville, Denis, 1984. "Un développement Des systèmes logiques de Stanislas Lesniewski", Peter Lang, Estudios universitarios europeos.
- Simons, Peter M. 1982. "Sobre la comprensión de Lesniewski". Historia y Filosofía de la Lógica núm. 3:165-191.
- Hola, Henry. 1984. "Frege, Leśniewski y la semántica de la información sobre la resolución de antinomias". En Foundations: Logic, Language, and Mathematics, editado por Leblanc, Hugues, Mendelson, Elliott y Orenstein, Alex, 51-72. Dordrecht: Kluwer.
- Lejewski, C. "Sobre la ontología de Leśniewski", Ratio 2, 1958, p. 150-176
- Betty, Arianna. 2004. "El mentiroso temprano de Lesniewski, Tarski y el lenguaje natural". Anales de lógica pura y aplicada no. 127:267-287.
- Betty, Arianna. 2009. "Los sistemas de Leśniewski y el modelo aristotélico de ciencia". En La edad de oro de la filosofía polaca. El legado filosófico de Kazimierz Twardowski, 93-111. Dordrecht: Springer.
- Urbaniak, Rafal, 2013. Sistemas de lógica y fundamentos de las matemáticas de Leśniewski, Dordrecht: Springer.
Enlaces
- Volensky Ya. Lesnevsky (Lesnewsky) Stanislav . Diccionario filosófico . Consultado: 4 de marzo de 2012.
- O'Connor JJ, Robertson EF Stanislaw Lesniewski . Facultad de Matemáticas y Estadística; Universidad de St Andrews, Escocia (29 de julio de 2011). Consultado el 4 de marzo de 2012. Archivado desde el original el 14 de mayo de 2012. (Inglés)
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||