Lukasevich, Jan

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 18 de enero de 2022; la verificación requiere 1 edición .
Jan Lukasiewicz
Jan Lukasiewicz
Fecha de nacimiento 21 de diciembre de 1878( 1878-12-21 )
Lugar de nacimiento
Fecha de muerte 13 de noviembre de 1956 (77 años)( 13/11/1956 )
Un lugar de muerte
País Imperio Austro-Húngaro  → República PolacaRepública de Irlanda

Esfera científica lógica , matemáticas
Lugar de trabajo
alma mater
Titulo academico Doctor
consejero científico Kazimir Tvardovsky [1]
Estudiantes Alfred Tarski y Mordechai Weisberg [d]
Premios y premios
Logotipo de Wikiquote Citas en Wikiquote
 Archivos multimedia en Wikimedia Commons

Jan Lukasiewicz ( polaco Jan Łukasiewicz ; 21 de diciembre de 1878 , Lviv  - 13 de noviembre de 1956 , Dublín ) - Lógico y matemático polaco , miembro de la Academia de Ciencias de Polonia (1937), uno de los principales representantes de la escuela Lviv-Varsovia .

En 1919 se desempeñó como Ministro de Denominaciones Religiosas y Educación.

Doctor Honorario de la Universidad de Varsovia (1924) [2] .

Desde 1945 es profesor en la Real Academia Irlandesa de Dublín .

Trabajó en el campo de los problemas lógicos de inducción y causalidad y fundamentos lógicos de la teoría de la probabilidad . Construyó el primer sistema de lógica multivaluada y, con su ayuda, el sistema de lógica modal. Desarrolló un lenguaje original para formalizar expresiones lógicas (la llamada notación polaca, que sirvió de base para la más famosa notación polaca inversa ). Filosóficamente, es un positivista .

La lógica polivalente de Lukasiewicz

Lukasiewicz desarrolló el primer sistema de lógica polivalente , la lógica proposicional de tres valores  ( 1920). Como tercer significado lógico del enunciado, se introdujo el significado expresado por las palabras "probablemente", "neutro". Se puede decir que cada enunciado en el sistema de Lukasiewicz es verdadero (1), falso (0) o neutral (1/2). Esto se hizo posible debido al hecho de que Lukasevich fue uno de los primeros, independientemente del lógico ruso N. A. Vasilyev. , planteó la tesis sobre la posibilidad de construir cálculo lógico, en el que no se aplica el principio de consistencia. Sobre la base de la lógica de tres valores, Lukasiewicz construyó un sistema de lógica modal, en el que, junto con el estudio de las operaciones lógicas en declaraciones asertivas (enunciados y negaciones), los llamados enunciados modales (enunciados y negaciones fuertes y débiles) son estudiados.

En 1954 , Lukasiewicz desarrolló un sistema lógico de cuatro valores, y luego, sistemas lógicos de valores infinitos (valores n), en los que el conjunto de valores de verdad es contablemente infinito o tiene el poder de un continuo (conjunto). Los números racionales del segmento (0, 1) actúan como valores de verdad . Los modelos de lógica de valores infinitos de Lukasiewicz son álgebras desarrolladas por él.

Publicaciones

En polaco:

En ruso:

En inglés:

Véase también

Notas

  1. Genealogía matemática  (inglés) - 1997.
  2. Uniwersytet Warszawski

Literatura