Nationality Polish Known for Polish notation | Alma mater Lwow University Name Jan Lukasiewicz | |
 | ||
Born December 21, 1878 Lwow, Galicia, Austria-Hungary Died February 13, 1956(1956-02-13) (aged 77)
Dublin, Ireland Occupation philosopher and logician, professor | ||
Jan Lukasiewicz ([ˈjan wukaˈɕevʲitʂ]; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwow, which, before the Polish partitions, was in Poland, Galicia, then Austria-Hungary. His work centred on analytical philosophy, mathematical logic, and history of logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle. Modern work on Aristotle's logic builds on the tradition started in 1951 with the establishment by Lukasiewicz of a revolutionary paradigm. The Lukasiewicz approach was reinvigorated in the early 1970s in a series of papers by John Corcoran and Timothy Smiley—which inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009. Lukasiewicz is still regarded as one of the most important historians of logic.
Contents
Life
He grew up in Lwow and was the only child of Pawel Lukasiewicz, a captain in the Austrian army, and Leopoldina (nee Holtzer), the daughter of a civil servant. His family was Roman Catholic.
He finished his gymnasium studies in philology and in 1897 went on to Lwow University, which, before the Polish partitions was in Poland, where he studied philosophy and mathematics. In philosophy he was a pupil of Kazimierz Twardowski.
In 1902, he received a Doctor of Philosophy degree under the patronage of emperor Franz Joseph I of Austria who gave him a special doctor ring with diamonds.
He spent three years as a private teacher, and in 1905 he received a scholarship to complete his philosophical studies at the University of Berlin and the University of Louvain in Belgium.
Lukasiewicz continued studying for his habilitation qualification and in 1906 submitted his thesis to the University of Lwow. In 1906 he was appointed a lecturer at the University of Lwow where he was eventually appointed Extraordinary Professor by Emperor Franz Joseph I. He taught there until the First World War.
In 1915 he was invited to lecture as a full professor at the University of Warsaw which had re-opened after being closed down by the Tsarist government in the 19th century.
In 1919 Lukasiewicz left the university to serve as Polish Minister of Religious Denominations and Public Education in the Paderewski government until 1920. Lukasiewicz led the development of a Polish curriculum replacing the Russian, German and Austrian curricula previously used in partitioned Poland. The Lukasiewicz curriculum emphasized the early acquisition of logical and mathematical concepts.
In 1928 he married Regina Barwinska.
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 under German occupation. He had been a rector of the university twice. In this period Lukasiewicz and Stanislaw Lesniewski founded the Lwow–Warsaw school of logic which was later made internationally famous by Alfred Tarski who had been Lesniewski's student.
At the beginning of World War II he worked at the Warsaw Underground University as part of the secret system of education in Poland during World War II.
He and his wife wanted to move to Switzerland but couldn't get permission from the German authorities. Instead, in the summer of 1944, they left Poland with the help of Heinrich Scholz and spent the last few months of the war in Munster, Germany hoping to somehow go on further, perhaps to Switzerland.
Following the war, he emigrated to Ireland and worked at University College Dublin (UCD) until his death.
Work
A number of axiomatizations of classical propositional logic are due to Lukasiewicz. A particularly elegant axiomatization features a mere three axioms and is still invoked down to the present day. He was a pioneer investigator of multi-valued logics; his three-valued propositional calculus, introduced in 1917, was the first explicitly axiomatized non-classical logical calculus. He wrote on the philosophy of science, and his approach to the making of scientific theories was similar to the thinking of Karl Popper.
Lukasiewicz invented the Polish notation (named after his nationality) for the logical connectives around 1920. There is a quotation from his paper, Remarks on Nicod's Axiom and on "Generalizing Deduction", page 180;
"I came upon the idea of a parenthesis-free notation in 1924. I used that notation for the first time in my article Lukasiewicz(1), p. 610, footnote."
The reference cited by Lukasiewicz above is apparently a lithographed report in Polish. The referring paper by Lukasiewicz Remarks on Nicod's Axiom and on "Generalizing Deduction", originally published in Polish in 1931, was later reviewed by H. A. Pogorzelski in the Journal of Symbolic Logic in 1965.
In Lukasiewicz 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 and that he had employed his notation in his logical papers since 1929. He then goes on to cite, as an example, a 1930 paper he wrote with Alfred Tarski on the sentential calculus.
This notation is the root of the idea of the recursive stack, a last-in, first-out computer memory store proposed by several researchers including Turing, Bauer and Hamblin, and first implemented in 1957. In 1960, Lukasiewicz notation concepts and stacks were used as the basis of the Burroughs B5000 computer designed by Robert S. Barton and his team at Burroughs Corporation in Pasadena, California. The concepts also led to the design of the English Electric multi-programmed KDF9 computer system of 1963, which had two such hardware register stacks. A similar concept underlies the reverse Polish notation (RPN, a postfix notation) of the Friden EC-130 calculator and its successors, many Hewlett Packard calculators, the Forth programming language, or the PostScript page description language.
Recognition
In 2008 the Polish Information Processing Society established the Jan Lukasiewicz Award, to be presented to the most innovative Polish IT companies.
From 1999 to 2004, the Department of Computer Science building at UCD was called the Lukasiewicz Building, until all campus buildings were renamed after the disciplines they housed.