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