Jan Łukasiewicz
Jan Łukasiewicz  

20thcentury philosophy  
Region  Western philosophy

Analytical philosophy  
Main interests  Philosophical logic, mathematical logic and history of logic 
Notable ideas  Polish notation Łukasiewicz logic Łukasiewicz–Moisil algebra Reductive reasoning 
Jan Łukasiewicz (Polish:
The Łukasiewicz approach was reinvigorated in the early 1970s in a series of papers by John Corcoran and Timothy Smiley that inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009.^{[4]} Łukasiewicz is regarded as one of the most important historians of logic.
Life
He was born in
He finished his
In 1902, he received a Doctor of Philosophy degree under the patronage of Emperor Franz Joseph I of Austria, who gave him a special doctoral ring with diamonds.^{[6]}
He spent three years as a private teacher, and in 1905, he received a scholarship to complete his philosophy studies at the
Łukasiewicz continued studying for his
In 1915, he was invited to lecture as a full professor at the University of Warsaw, which the German occupation authorities had reopened after it had been closed down by the Tsarist government in the 19th century.^{[6]}
In 1919, Łukasiewicz left the university to serve as Polish Minister of Religious Denominations and Public Education in Paderewski's government until 1920. Łukasiewicz led the development of a Polish curriculum replacing the Russian, German and Austrian curricula that had been used in partitioned Poland. The Łukasiewicz curriculum emphasized the early acquisition of logical and mathematical concepts.^{[citation needed]}
In 1928, he married Regina Barwińska.^{[6]}
He remained a professor at the University of Warsaw from 1920 until 1939, when the family house was destroyed by German bombs, and the university was closed by the German occupation. He had been a rector of the university twice during which Łukasiewicz and
During the start of the
In February 1946, at the invitation of Irish political leader Éamon de Valera (himself a mathematician by profession), Łukasiewicz and his wife relocated to Dublin, where they remained until his death there a decade later. In Ireland, he briefly served as Professor of Mathematical Logic at the Royal Irish Academy (a position created for him). His duties involved giving frequent public lectures.^{[7]}
During this period, his book Elements of Mathematical Logic was published in English by Macmillan (1963, translated from Polish by Olgierd Wojtasiewicz).
Jan Łukasiewicz died on 13 February 1956. He was buried in Mount Jerome Cemetery, in Dublin. At the urging of the Armenian community in Poland, his remains were repatriated to Poland 66 years later. He was reburied on 22 November 2022 in Warsaw's Old Powązki Cemetery.^{[8]}
From October to December 2022, the Royal Irish Academy in Dublin hosted an exhibition on his life and work.^{[9]}
Łukasiewicz's papers (post1945) are held by the University of Manchester Library.
Work
A number of axiomatizations of
Łukasiewicz invented the Polish notation (named after his nationality) for the logical connectives around 1920. A quotation from a paper by Jan Łukasiewicz in 1931^{[10]}^{: 367, Footnote 3) }^{[11]}^{: 180, Footnote 3) } states how the notation was invented:
I came upon the idea of a parenthesisfree notation in 1924. I used that notation for the first time in my article Łukasiewicz (1), p. 610, footnote.
The reference cited by Łukasiewicz, i.e., Łukasiewicz (1),^{[12]} is apparently a lithographed report in Polish. The referring paper^{[10]} by Łukasiewicz was reviewed by Henry A. Pogorzelski in the Journal of Symbolic Logic in 1965.^{[13]}
In Łukasiewicz's 1951 book, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, he mentions that the principle of his notation was to write the functors before the arguments to avoid brackets (i.e., parentheses) and that he had employed his notation in his logical papers since 1929.^{[3]}^{: 78 } He then goes on to cite, as an example, a 1930 paper he wrote with Alfred Tarski on the sentential calculus.^{[14]}
This notation is the root of the idea of the
Recognition
In 2008 the Polish Information Processing Society established the Jan Łukasiewicz Award, to be presented to the most innovative Polish IT companies.^{[15]}
From 1999 to 2004, the Department of Computer Science building at UCD was called the Łukasiewicz Building, until all campus buildings were renamed after the disciplines they housed.
His model of
Chronology
 1878 born in Lemberg(now Lviv)
 1890–1902 studies with Kazimierz Twardowski in Lemberg (Lwów, L'viv)
 1902 doctorate (mathematics and philosophy), University of Lemberg with the highest distinction possible
 1906 habilitation thesis completed, University of Lemberg
 1906 becomes a lecturer
 1910 essays on the principle of noncontradiction and the excluded middle
 1911 extraordinary professor at Lemberg
 1915 invited to the newly reopened University of Warsaw
 1916 new Kingdom of Poland declared
 1917 develops threevalued propositional calculus
 1919 Polish Minister of Education
 1920–1939 professor at Lwów–Warsaw school of logic (see also Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
 1928 marries Regina Barwińska
 1944 flees to Germany and settles in Hembsen, in the Nethegau, where he was brought for his own safety.
 1946 exile in Belgium
 1946 held a chair at the Royal Irish Academy in Dublin.
 1953 writes autobiography
 1956 dies in Dublin
Selected works
Books
 Łukasiewicz, Jan (1951). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press. 2nd Edition, enlarged, 1957. Reprinted by Garland Publishing in 1987. ISBN 0824069242
 Łukasiewicz, Jan (1928). Elementy logiki matematycznej (in Polish). .
 Łukasiewicz, Jan (1964) [1963]. Elements of Mathematical Logic. Translated from Polish by Olgierd Wojtasiewicz. New York, Macmillan. .
 Łukasiewicz, Jan (1970). Ludwik Borkowski (ed.). Selected Works. NorthHolland Pub. Co. OCLC 115237.
 Łukasiewicz, Jan (1998). Jacek Jadacki (ed.). Logika i metafizyka. Miscellanea (in Polish). .
Papers
 1903 "On Induction as Inversion of Deduction"
 1906 "Analysis and Construction of the Concept of Cause"
 1910 "On Aristotle's Principle of Contradiction"
 1913 "On the Reversibility of the Relation of Ground and Consequence"
 1920 "On Threevalued Logic"
 1921 "Twovalued Logic"
 1922 "A Numerical Interpretation of the Theory of Propositions"
 1928 "Concerning the Method in Philosophy"
 1929 "Elements of Mathematical Logic"
 1929 "On Importance and Requirements of Mathematical Logic"
 1930 "Philosophical Remarks on ManyValued Systems of Propositional Logic"
 1930 "Investigations into the Sentential Calculus" ["Untersuchungen über den Aussagenkalkül"], with Alfred Tarski
 1931 "Comments on Nicod's Axiom and the 'Generalizing Deduction'"
 1934 "On Science"
 1934 "Importance of Logical Analysis for Knowledge"
 1934 "Outlines of the History of the Propositional Logic"
 1936 "Logistic and Philosophy"
 1937 "In Defense of the Logistic"
 1938 "On Descartes's Philosophy"
 1943 "The Shortest Axiom of the Implicational Calculus of Propositions"
 1951 "On Variable Functors of Propositional Arguments"
 1952 "On the Intuitionistic Theory of Deduction"
 1953 "A System of Modal Logic"
 1954 "On a Controversial Problem of Aristotle's Modal Syllogistic"
See also
 History of philosophy in Poland
 List of Poles
 Logical operators
 Truth function
 27114 Lukasiewicz
References
 ^ "Home from home – An Irishman’s Diary on Polish logician, mathematician and philosopher Jan Lukasiewicz" by Oliver O’Hanlon, The Irish Times, 20190408
 ^ Jan Łukasiewicz on Porta Polonica
 ^ ISBN 0824069242.)
 ISBN 9780199250417." in the Notre Dame Philosophical Reviews, 2010.02.02 Archived 20110615 at the Wayback Machine.
 ^ Jan Łukasiewicz at the Mathematics Genealogy Project
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} "Jan Łukasiewicz". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2021.
 ^ Jan Łukasiewicz Stanford Encyclopedia of Philosophy
 ^ at the Old Powązki Cemetery, Prof. Jan Łukasiewicz Polskie Radio 24, 22112022
 ^ Jan Łukasiewicz, Professor of Mathematical Logic at the Royal Irish Academy Archived 20240116 at the Wayback Machine 07 November 2022, Royal Irish Academy
 ^ ^{a} ^{b} Łukasiewicz, Jan (1931). "Uwagi o aksjomacie Nicoda i 'dedukcji uogólniającej'" [Comments on Nicod's Axiom and on 'Generalizing Deduction']. Księga pamiątkowa Polskiego Towarzystwa Filozoficznego We Lwowie, 12. II. 190412. II. 1929 (in Polish). Lwów: Wydawnictwo Polskie Towarzystwo Filozoficzne. pp. 366–383.
 ^ Łukasiewicz, Jan (1970). "Comments on Nicod's Axiom and on 'Generalizing Deduction'". In Borkowski, L. (ed.). Selected Works. Amsterdam and London/Warszawa: NorthHolland Publishing Company/Polish Scientific Publishers. pp. 179–196.
 ^ Łukasiewicz, Jan (1929). "O znaczeniu i potrzebach logiki matematycznej". Nauka Polska (in Polish). 10: 604–620.
 ^ Pogorzelski, H. A., "Reviewed work(s): Remarks on Nicod's Axiom and on "Generalizing Deduction" by Jan Łukasiewicz; Jerzy Słupecki; Państwowe Wydawnictwo Naukowe", The Journal of Symbolic Logic, Vol. 30, No. 3 (September 1965), pp. 376–377. This paper by Jan Łukasiewicz was republished in Warsaw in 1961 in a volume edited by Jerzy Słupecki. It had been published originally in 1931 in Polish.
 ^ Łukasiewicz, Jan; Tarski, Alfred, "Untersuchungen über den Aussagenkalkül" ["Investigations into the sentential calculus"], Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Vol. 23 (1930) Cl. III, pp. 31–32. This paper can be found translated into English in Chapter IV "Investigations into the Sentential Calculus", pp.3959, in Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, translated into English by J. H. Woodger, Oxford University Press, 1956; 2nd edition, Hackett Publishing Company, 1983
 ^ "2009 International Multiconference on Computer Science and Information Technology (IMCSIT)", conference report
 ^ Zi, Jan (2019), Models of 6valued measures: 6kinds of information, Kindle Direct Publishing Science
Further reading
 "Curriculum Vitae of Jan Łukasiewicz", Rome, Italy: Metalogicon journal, (1994) VII, 2 (July–December issue).
 Craig, Edward (general editor), "Article: Jan Łukasiewicz", Routledge Encyclopedia of Philosophy, 1998, Volume 5, pp. 860–863.
 Borkowski, Ludwik ; Słupecki, Jerzy, "The Logical Works of J. Łukasiewicz", Studia Logica 8 (1958), 7–56. JSTOR 20013604. (51 pages)
 Kotarbiński, Tadeusz, "Jan Łukasiewicz's Works on the History of Logic", Studia Logica 8 (1958), 57–63 JSTOR 20013605. (7 pages)
 Kwiatkowski, Tadeusz, "Jan Łukasiewicz – A historian of logic", Organon 16–17 (1980–1981), 169–188.
 Łukasiewicz, Jan; Heine, Holger R. (2021). The Principle of Contradiction in Aristotle: A Critical Study. Honolulu, Hawaii: Topos Productions. ISBN 9781943354061.
 Marshall Jr., David, "Łukasiewicz, Leibniz and the arithmetization of the syllogism", Notre Dame Journal of Formal Logic 18 (2) (1977), 235–242.
 Seddon, Frederick (1996). Aristotle & Łukasiewicz on the Principle of Contradiction. Ames, Iowa: Modern Logic Pub. .
 .
 Woleński, Jan (1994). "Jan Łukasiewicz on the Liar Paradox, Logical Consequence, Truth and Induction". Modern Logic (4): 394–400.
External links
 Simons, Peter. "Jan Lukasiewicz". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
 O'Connor, John J.; Robertson, Edmund F., "Jan Łukasiewicz", MacTutor History of Mathematics Archive, University of St Andrews
 Łukasiewicz entry at Polish Philosophy Page, ed. by Francesco Coniglione (University of Catania)
 Jan Łukasiewicz at the Mathematics Genealogy Project