?ukasiewicz, Jan

(b. Lvov, Austrian Galicia [now Ukrainian S.S.R.], 21 December 1878 ; d.Dublin, Ireland, 13 February 1956)

mathematical logic.

Lukasiewicz’ father, Paul, was a captain in the Austrian army: his mother, the former Leopoldine Holtzer, was the daughter of an Austrian civil servant. The family was Roman Catholic, and the language spoken at hone was Polish. Young ?ukasiewicz studied mathematics and philosophy at the University of Lvov, earning his doctorate sub auspiciis wiperatoris, a rare honor (1902). At the same institution he received his Habilitation (1906) and lectured in logic and philosophy, as Privatdozent until 1911, then as extraordinary professor. In 1915 ?ukasiewicz accepted an invitation to lecture at the University of Warsaw, then in German-occupied territory.

Between the world wars, as a citizen of independent Poland, ?ukasiewicz was minister of education (1919), professor at the University of Warsaw (1920-1939), twice rector of that institution, an active member of scientific societies, and the recipient of several honors. He and Stanislaw Le?niewski founded the Warsaw school of logic, which A. Tarski helped make world famous. Viewing mathematical logic as an instrument of inquiry into the foundations of mathematics and the methodology of empirical science, ?ukasiewicz succeeded in making it a required subject for mathematics and science students in Polish universities. His lucid lectures attracted students of the humanities as well.

The sufferings endured by ?ukasiewicz and his wife (the former Regina Barwinska) during World War II are poignantly recalled in an autobiographical note. (See Soboci?ski’s “In Memoriam,” cited below.) In 1946 ?ukasiewicz, then an exile in Belgium, accepted a professorship at the Royal Irish Academy, Dublin, where he remained until his death.

After some early essays on the principles of noncontradiction and excluded middle (1910), ?ukasiewicz arrived by 1917 at the conception of a three-valued propositional calculus. His subsequent researches on many-valued logics is regarded by some as his greatest contribution. He viewed these “non-Aristotelian” logics as representing possible new ways of thinking, and he experimented with interpreting them in modal terms and in probability terms. The nonstandard systems he developed have value independently of the philosophy that inspired them or of tile usefulness of those interpretations. ?ukasiewicz created the elegant “?ukasiewicz system” for two-valued propositional logic and the parenthesis-free “Polish notation.”

The metalogic (a term he coined on the model of Hilbert’s terminology) of propositional calculi, notably the theory of their syntactic and semanticcompleteness, owes much to ?ukasiewicz and his school. He regarded these studies as a prelude to analogous investigations for the rest of logic, which were then carried out by Tarski.

Using modern formal techniques, ?ukasiewicz reconstructed and reevaluated ancient and medieval logic. Through his work in this area, we have changed our view of the history of logic.

During his last years in Ireland, ?ukasiewicz published important studies on modal and intuitionistic logic, and he again made logical history with a detailed and novel study of Aristotle’s syllogistic. Essentially he interpreted syllogisms in Aristotle to be theorems of logic, not rules of derivations.

BIBLIOGRAPHY

I. Original Works. Most of ?ukasiewicz’ contributions were first presented in short notes, often in Polish, or in his university lectures. A list of all, or almost all, of his publications is appended to Andrzej Mostowski’s “L’oeuvre scientifique de Jan ?ukasiewicz clans le domaine de la logique mathématique,” in Fundanrenta mathernaticae, 44 (1957), 1-11. His following writings present important results systematically : Elementy logiki mathernatycznej (“Elements of Mathematical Logic” Warsaw, 1929; 2nd ed., 1958), translated by Olgierd Wojtasiewicz as Elements of Mathematical Logic (New York, 1963); “Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls,” in Comptes rendus des séances de la Société des sciences et des lettres de Varsorie, CI. III, 23 (1930), 51-77, written with Alfred Tarski ; “Untersuchungen über den Aussagenkalkül,” ibid., 30-50; “Zur Geschichte der Aussagenlogik,” in Erkenntnis, 5 (1935-1936), 111-131; “A System of Modal Logic,” in Journal of Computing Systems,1 (1953), 111-149 ; and Aristotle’s Syllogistic From the Stand-Point of Modern Formal Logic, 2nd ed. (Oxford, 1957).

II. Secondary Literature. The following two articles jointly constitute a valuable survey of ?ukasiewicz’ lifework as a logician, philosopher, and historian of logic: L. Borkowski and J. Slupecki, “The Logical Works of Jan ?ukasiewicz,” in Studia logica,8 (1958), 7-56; and Tadeusz Kotarbi?ski, “Jan ?ukasiewicz’s works on the History of Logic,” ibid., 57-62. Shorter general treatments of ?ukasiewicz’s work are the Mostowski article cited above; Boleslaw Soboci?ski, “In Memoriam Jan ?ukasiewicz,” in Philosophical Studies (Maynooth, Ireland), 6 (1956), 3-49, which contains an autobiographical note, “Curriculum vitae of Jan ?ukasiewicz,“and a bibliography ; and Heinrich Scholz, “In Memoriam Jan ?ukasiewicz,“in Archiv fiir mathernatische Logik and Grundlagenforschung, 3 (1957), 3-18, which contains an excellent summary of the technical aspects of ?ukasiewicz’ contributions.

?ukasiewicz’ exegesis of Aristotle’s syllogistic is disputed in Arthur N. Prior, “?ukasiewicz’s Symbolic Logic,“in Australasian Journal of Philosophy,30 (1952). 33-46, and is discussed in Gunther Patzig, Die Aristote-I tech e Syllogistik: Logisch-philologische Untersuchimgen Uber das Bitch A der “Ersten Analytiken” (Göttingen, 1959); English trans. by J. Barnes, Aristotle’s Theory of the Syllogism: A Logico-philological Study of Book A of the Prior Analytics(Dordrecht, 1968), passim, esp. 196-202.

For a general evaluation of ?ukasiewicz’ philosophical and logical ideas, see Henryk Skolimowsky, Polish Analytical Philosophy: A Survey and a Comparison with British Analytical Philosophy (New York, 1967), 56-72.

George Goe