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: Examples of use:```You are like 3 (three) apioforms.What even is an apioform?Alright, apioforms.Ideatic chronoapioforms in meta-ubqvian space.That idea is isomorphic to 34 apioforms!games and other programs that are apioformic to run on linux or openbds.It graphs apioform concentration (including retroactively) over time.anyway "lyric make macron" would make a fine sequel to beware apioforms and "fixing ewo" yesapioforms are form-suffixed apios```
gollark: > Derived from the Latin "apis" (bee) and "forma" (figure), "apioform" can be used as an insult, compliment, random placeholder, or for any purpose whatsoever. Mostly used in the context of esoteric programming languages, somehow. The word can be expanded by inserting or prepending prefixes such as "cryo", "pyro", "chrono", "contra" or "meta", e.g. "cryoapiocontraform", to convey additional meaning. An older form was "apiohazard", for hazardous apioforms, but this has fallen out of use.
gollark: An apioform is most accurately described as an apioform with apioformic characteristics.
gollark: Anime but in the category of endofunctors WHEN?
gollark: Oh dëär.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.