Jerzy Słupecki
{{Short description|Polish mathematician and logician}}
Jerzy Słupecki (1904–1987) was a Polish mathematician and logician.
Life
He attended the seminar of, and wrote a 1938 doctorate under, Jan Łukasiewicz.{{cite book|author=Roman Murawski|title=The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland|url=https://books.google.com/books?id=sLVeBAAAQBAJ&pg=PA63|date=27 August 2014|publisher=Springer|isbn=978-3-0348-0831-6|page=63}}{{cite book|author1=Andrew McFarland|author2=Joanna McFarland|author3=James Smith|title=Alfred Tarski: Early Work in Poland—Geometry and Teaching|url=https://books.google.com/books?id=olNDBAAAQBAJ&pg=PA198|date=11 August 2014|publisher=Springer|isbn=978-1-4939-1474-6|page=198}}
During WWII he was active in Żegota.{{Cite journal|last1=Woleński|first1=Jan|last2=Zygmunt|first2=Jan|date=1989|title=Jerzy Słupecki (1904-1987): Life and Work|url=http://www.jstor.org/stable/20015455|journal=Studia Logica |volume=48|issue=4|pages=401–411|doi=10.1007/BF00370196|jstor=20015455|s2cid=35722973|issn=0039-3215}}
In 1963, when at Wroclaw University, where he had been since 1945, he became editor of Studia Logica.{{cite book|author1=Vincent F. Hendricks|author2=Jacek Malinowski|title=Trends in Logic: 50 Years of Studia Logica|url=https://books.google.com/books?id=FajqCAAAQBAJ&pg=PA23|date=9 March 2013|publisher=Springer Science & Business Media|isbn=978-94-017-3598-8|page=23}}{{cite book |author1= Sandra Lapointe |author2= Jan Wolenski |author3= Mathieu Marion |author4= Wioletta Miskiewicz |title= The Golden Age of Polish Philosophy: Kazimierz Twardowski's Philosophical Legacy |url= https://books.google.com/books?id=5u84tl5ux0gC&pg=PA9|date=19 May 2009|publisher=Springer Science & Business Media|isbn=978-90-481-2401-5|page=9}}
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.{{cite book|author=Alonzo Church|title=Introduction to Mathematical Logic|url=https://books.google.com/books?id=JDLQOMKbdScC&pg=PA162|year=1996|publisher=Princeton University Press|isbn=0-691-02906-7|page=162}} In the logic of categorical sentences, he found a rule that made the theory decidable;{{cite book|author=Liliana Albertazzi|title=Aristote au XIXe siècle|url=https://books.google.com/books?id=zgikn27FkBUC&pg=PA403|year=2004|publisher=Presses Univ. Septentrion|isbn=978-2-85939-864-4|page=403|language=fr}} his work on Aristotle's logic, from 1948, was later reprinted in French.{{cite book|author1=Roger Pouivet|author2=Manuel Rebuschi|title=La philosophie en Pologne: 1918-1939|url=https://books.google.com/books?id=Rd4WUm5eXncC&pg=PA179|year=2006|publisher=Vrin|isbn=978-2-7116-1824-8|page=179|language=fr}}
He also continued the work of Stanisław Leśniewski, and wrote on his system ("protothetics") in 1953, in Studia Logica.{{cite book|author1=Dov M. Gabbay|author2=John Woods|title=Logic from Russell to Church|url=https://books.google.com/books?id=IMgg0Uc00I4C&pg=PA318|date=16 June 2009|publisher=Elsevier|isbn=978-0-08-088547-6|page=318}}{{cite book|author=Alonzo Church|title=Introduction to Mathematical Logic|url=https://books.google.com/books?id=JDLQOMKbdScC&pg=PA153|year=1996|publisher=Princeton University Press|isbn=0-691-02906-7|page=153}} A survey, "The Logical Works of Jerzy Slupecki", appeared in Studia Logica XLVIII (1989), by Jan Woleński and Jan Zygmunt.{{cite book|author1=K. Mulligan|author2=K. Kijania-PLacek|author3=T. Placek |author4= Katarzyna Kijania-Placek |title= The History and Philosophy of Polish Logic: Essays in Honour of Jan Woleński |url= https://books.google.com/books?id=T1eoBAAAQBAJ|date=26 January 2016|publisher=Palgrave Macmillan UK|isbn=978-1-137-03089-4}}
He published:
- Z zagadnień logiki i filozofii: pisma wybrane (1961, editor), selected works of Jan Łukasiewicz{{cite book|author=Jan Łukasiewicz|title=Z zagadnień logiki i filozofii: pisma wybrane|url=https://books.google.com/books?id=iyQnAQAAIAAJ|year=1961|publisher=Państwowe Wydawn. Naukowe}}
- Elements of Mathematical Logic and Set Theory (1967){{cite book|author1=Jerzy Słupecki|author2=Ludwik Borkowski|title=Elements of mathematical logic and set theory|url=https://archive.org/details/elementsofmathem00supe|url-access=registration|year=1967|publisher=Pergamon Press}}
Notes
{{reflist}}
External links
- [http://www.math.uni.opole.pl/biogr/Slupecki/html/research.html Selection from Jan Woleński and Jan Zygmunt, "Jerzy Słupecki (1904–1987): Life and Work", Studia Logica 48 (1989), 401–411]{{Dead link|date=October 2024 |bot=InternetArchiveBot |fix-attempted=yes }}
{{authority control}}
{{DEFAULTSORT:Slupecki, Jerzy}}
Category:Polish mathematicians