stringtranslate.com

Jerzy Słupecki

Jerzy Słupecki

Jerzy Słupecki (1904-1987) fue un matemático y lógico polaco.

Vida

Asistió al seminario de Jan Łukasiewicz y escribió su doctorado en 1938 bajo su dirección . [1] [2]

Durante la Segunda Guerra Mundial estuvo activo en Żegota . [3]

En 1963, cuando estaba en la Universidad de Wroclaw , donde había estado desde 1945, se convirtió en editor de Studia Logica . [4] [5]

Obras

Słupecki demostró cómo las lógicas polivalentes de Łukasiewicz podían incluirse en la teoría de los sistemas de Post , y dio una versión funcionalmente completa de la lógica trivalente . [6] En la lógica de oraciones categóricas , encontró una regla que hacía que la teoría fuera decidible; [7] su trabajo sobre la lógica de Aristóteles, de 1948, fue posteriormente reimpreso en francés. [8]

También continuó el trabajo de Stanisław Leśniewski , y escribió sobre su sistema ("prototética") en 1953, en Studia Logica . [9] [10] Una encuesta, "Los trabajos lógicos de Jerzy Slupecki", apareció en Studia Logica XLVIII (1989), por Jan Woleński y Jan Zygmunt. [11]

Publicó:

Notas

  1. ^ Roman Murawski (27 de agosto de 2014). La filosofía de las matemáticas y la lógica en los años 1920 y 1930 en Polonia. Springer. p. 63. ISBN 978-3-0348-0831-6.
  2. ^ Andrew McFarland; Joanna McFarland; James Smith (11 de agosto de 2014). Alfred Tarski: Early Work in Poland—Geometry and Teaching [Alfred Tarski: trabajos tempranos en Polonia: geometría y enseñanza]. Springer. pág. 198. ISBN 978-1-4939-1474-6.
  3. ^ Woleński, enero; Zygmunt, enero (1989). "Jerzy Słupecki (1904-1987): vida y obra". Estudios Lógica . 48 (4): 401–411. doi :10.1007/BF00370196. ISSN  0039-3215. JSTOR  20015455. S2CID  35722973.
  4. ^ Vincent F. Hendricks; Jacek Malinowski (9 de marzo de 2013). Tendencias en lógica: 50 años de Studia Logica. Springer Science & Business Media. pág. 23. ISBN 978-94-017-3598-8.
  5. ^ Sandra Lapointe; Jan Wolenski; Mathieu Marion; Wioletta Miskiewicz (19 de mayo de 2009). La edad de oro de la filosofía polaca: el legado filosófico de Kazimierz Twardowski. Springer Science & Business Media. pág. 9. ISBN 978-90-481-2401-5.
  6. ^ Alonzo Church (1996). Introducción a la lógica matemática. Princeton University Press. pág. 162. ISBN 0-691-02906-7.
  7. ^ Liliana Albertazzi (2004). Aristoté au XIXe siècle (en francés). Prensas Univ. Septentrión. pag. 403.ISBN​ 978-2-85939-864-4.
  8. ^ Roger Pouivet; Manuel Rebuschi (2006). La philosophie en Pologne: 1918-1939 (en francés). Vrin. pag. 179.ISBN​ 978-2-7116-1824-8.
  9. ^ Dov M. Gabbay; John Woods (16 de junio de 2009). Lógica desde Russell hasta Church. Elsevier. pág. 318. ISBN 978-0-08-088547-6.
  10. ^ Alonzo Church (1996). Introducción a la lógica matemática. Princeton University Press. pág. 153. ISBN 0-691-02906-7.
  11. ^ K. Mulligan; K. Kijania-PLacek; T. Placek; Katarzyna Kijania-Placek (26 de enero de 2016). La historia y la filosofía de la lógica polaca: ensayos en honor a Jan Woleński. Palgrave Macmillan Reino Unido. ISBN 978-1-137-03089-4.
  12. ^ Jan Łukasiewicz (1961). Z zagadnień logiki i filozofii: pisma wybrane. Państwowe Wydawn. Naukowé.
  13. ^ Jerzy Słupecki; Ludwik Borkowski (1967). Elementos de lógica matemática y teoría de conjuntos . Pergamon Press.

Enlaces externos