Jerzy Słupecki

Jerzy Słupecki (1904–1987) was a Polish mathematician and logician.

Jerzy Słupecki

Life

He attended the seminar of, and wrote a 1938 doctorate under, Jan Łukasiewicz.[1][2]

During WWII he was active in Żegota.[3]

In 1963, when at Wroclaw University, where he had been since 1945, he became editor of Studia Logica.[4][5]

Works

Słupecki showed how the many-valued logics of Łukasiewicz could be included in the theory of Post systems, and gave a functionally complete version of the three-valued logic.[6] In the logic of categorical sentences, he found a rule that made the theory decidable;[7] his work on Aristotle's logic, from 1948, was later reprinted in French.[8]

He also continued the work of Stanisław Leśniewski, and wrote on his system ("protothetics") in 1953, in Studia Logica.[9][10] A survey, "The Logical Works of Jerzy Slupecki", appeared in Studia Logica XLVIII (1989), by Jan Woleński and Jan Zygmunt.[11]

He published:

  • Z zagadnień logiki i filozofii: pisma wybrane (1961, editor), selected works of Jan Łukasiewicz[12]
  • Elements of Mathematical Logic and Set Theory (1967)[13]

Notes
  1. Roman Murawski (27 August 2014). The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland. Springer. p. 63. ISBN 978-3-0348-0831-6.
  2. Andrew McFarland; Joanna McFarland; James Smith (11 August 2014). Alfred Tarski: Early Work in Poland—Geometry and Teaching. Springer. p. 198. ISBN 978-1-4939-1474-6.
  3. Woleński, Jan; Zygmunt, Jan (1989). "Jerzy Słupecki (1904-1987): Life and Work". Studia Logica: An International Journal for Symbolic Logic. 48 (4): 401–411. ISSN 0039-3215.
  4. Vincent F. Hendricks; Jacek Malinowski (9 March 2013). Trends in Logic: 50 Years of Studia Logica. Springer Science & Business Media. p. 23. ISBN 978-94-017-3598-8.
  5. Sandra Lapointe; Jan Wolenski; Mathieu Marion; Wioletta Miskiewicz (19 May 2009). The Golden Age of Polish Philosophy: Kazimierz Twardowski's Philosophical Legacy. Springer Science & Business Media. p. 9. ISBN 978-90-481-2401-5.
  6. Alonzo Church (1996). Introduction to Mathematical Logic. Princeton University Press. p. 162. ISBN 0-691-02906-7.
  7. Liliana Albertazzi (2004). Aristote au XIXe siècle (in French). Presses Univ. Septentrion. p. 403. ISBN 978-2-85939-864-4.
  8. Roger Pouivet; Manuel Rebuschi (2006). La philosophie en Pologne: 1918-1939 (in French). Vrin. p. 179. ISBN 978-2-7116-1824-8.
  9. Dov M. Gabbay; John Woods (16 June 2009). Logic from Russell to Church. Elsevier. p. 318. ISBN 978-0-08-088547-6.
  10. Alonzo Church (1996). Introduction to Mathematical Logic. Princeton University Press. p. 153. ISBN 0-691-02906-7.
  11. K. Mulligan; K. Kijania-PLacek; T. Placek; Katarzyna Kijania-Placek (26 January 2016). The History and Philosophy of Polish Logic: Essays in Honour of Jan Woleński. Palgrave Macmillan UK. ISBN 978-1-137-03089-4.
  12. Jan Łukasiewicz (1961). Z zagadnień logiki i filozofii: pisma wybrane. Państwowe Wydawn. Naukowe.
  13. Jerzy Słupecki; Ludwik Borkowski (1967). Elements of mathematical logic and set theory. Pergamon Press.
gollark: > nginx 1.14
gollark: Perhaps even just make your thing overly dependent on particular quirks of one version of the library.
gollark: There's that one hardened Linux company which does that, IIRC.
gollark: Oh, for paid enterprisey/expensive software: provide instructions and all, but immediately cancel your contract and blacklist them forever if they actually try to do anything to it.
gollark: Well, just document it as "attain our private cryptographic key, attach signature to library", simple.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.