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
Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic. His work centred on philosophical logic, mathematical logic and history of logi ...
.
During WWII he was active in
Żegota.
In 1963, when at
Wroclaw University, where he had been since 1945, he became editor of ''
Studia Logica
''Studia Logica'' (full name: ''Studia Logica, An International Journal for Symbolic Logic'') is a scientific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all sc ...
''.
Works
Słupecki showed how the
many-valued logic
Many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's Term logic, logical calculus, there were only two possible values (i.e., "true" and ...
s of Łukasiewicz could be included in the theory of
Post systems, and gave a
functionally complete
In logic, a functionally complete set of logical connectives or Boolean operators is one that can be used to express all possible truth tables by combining members of the set into a Boolean expression.. ("Complete set of logical connectives").. ( ...
version of the
three-valued logic
In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating ''true'', ''false'', and some third value ...
. In the logic of
categorical sentences, he found a rule that made the theory decidable; his work on Aristotle's logic, from 1948, was later reprinted in French.
He also continued the work of
Stanisław Leśniewski
Stanisław Leśniewski (; 30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. A professor of mathematics at the University of Warsaw, he was a leading representative of the Lwów–Warsaw School of Logic and is k ...
, and wrote on his system ("protothetics") in 1953, in ''Studia Logica''. A survey, "The Logical Works of Jerzy Slupecki", appeared in ''Studia Logica'' XLVIII (1989), by Jan Woleński and Jan Zygmunt.
He published:
*''Z zagadnień logiki i filozofii: pisma wybrane'' (1961, editor), selected works of Jan Łukasiewicz
*''Elements of Mathematical Logic and Set Theory'' (1967)
Notes
External links
Selection from Jan Woleński and Jan Zygmunt, "Jerzy Słupecki (1904–1987): Life and Work", Studia Logica 48 (1989), 401–411
{{DEFAULTSORT:Slupecki, Jerzy
1904 births
1981 deaths
Polish mathematicians
Polish logicians
Academic staff of the University of Wrocław
Żegota members
20th-century Polish philosophers