Jan Łukasiewicz

Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher. He is best known for creating Polish notation and Łukasiewicz logic. His work focused on philosophical logic, mathematical logic, and the history of logic.

Łukasiewicz thought in new ways about traditional propositional logic, the principle of non-contradiction, and the law of excluded middle. He developed one of the earliest systems of many-valued logic. His ideas about Aristotelian logic are still important today, especially in how we understand Aristotle's syllogistic.

In the early 1970s, the work of John Corcoran and Timothy Smiley helped bring Łukasiewicz's ideas back into focus. Their research influenced modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009. Because of his big impact on logic, Łukasiewicz is seen as one of the most important historians of logic.

Life

Jan Łukasiewicz was born in 1878 in Lemberg, which was part of Austria-Hungary and is now Lviv, Ukraine. He was the only child of Paweł Łukasiewicz, an army captain, and Leopoldina Holtzer. His family followed the Roman Catholic tradition.

He studied philosophy and mathematics at Lemberg University, where he was taught by Kazimierz Twardowski. In 1902, he earned his Doctor of Philosophy degree with support from Emperor Franz Joseph I of Austria. After teaching privately for three years, he continued his studies in Berlin and Louvain.

Łukasiewicz became a lecturer at Lemberg University and later a professor at the University of Warsaw. He served as Poland's Minister of Religious Denominations and Public Education, helping to create a new Polish curriculum focused on logic and math. In 1928, he married Regina Barwińska.

During the Second World War, Łukasiewicz worked at an underground university in Warsaw. After the war, he moved to Dublin, Ireland, where he taught at the Royal Irish Academy. His book Elements of Mathematical Logic was published in English in 1963. He passed away in Dublin in 1956 and was later buried in Warsaw in 2022.

Work

Jan Łukasiewicz made important contributions to logic, a part of philosophy that studies how we think and reason. He created new ways to understand how ideas connect and built one of the first systems of logic that used more than just true or false answers.

He also invented a special way to write logic problems without using parentheses, called Polish notation. This idea later helped computer scientists develop better ways for computers to handle information. His work influenced many areas, from mathematics to computer design.

Recognition

In 2008, the Polish Information Processing Society started giving out the Jan Łukasiewicz Award to honor the most creative Polish IT companies.

From 1999 to 2004, a building at UCD's Department of Computer Science was named the Łukasiewicz Building. Later, all campus buildings were renamed to match the subjects they were used for.

His ideas about three-valued logic helped create Kleene's special logic and a way to connect ideas about real-life experiences, math, and logic.

Chronology

Jan Łukasiewicz was born in 1878 in Lemberg, which is now called Lviv. He studied with Kazimierz Twardowski in Lemberg from 1890 to 1902 and earned his doctorate in mathematics and philosophy from the University of Lemberg in 1902 with the highest distinction.

In 1906, he completed his habilitation thesis and became a lecturer. In 1910, he wrote essays about important ideas in logic. In 1917, he developed a new way to think about logic called three-valued propositional calculus. In 1919, he served as Poland’s Minister of Education. From 1920 to 1939, he was a professor at Warsaw University and helped start the Lwów–Warsaw school of logic with Stanisław Leśniewski. In 1944, he moved to Germany for safety, then lived in Belgium from 1946 onward, where he held a position at the Royal Irish Academy in Dublin. He wrote his autobiography in 1953 and passed away in Dublin in 1956.

Selected works

Books

Jan Łukasiewicz wrote many important books and papers about logic. Some of his books include Elements of Mathematical Logic and Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. His works have been published in many languages and are still studied today.

Papers

Łukasiewicz also published many research papers. Some of his famous papers are "On Induction as Inversion of Deduction," "On the Principle of the Excluded Middle," and "On Three-valued Logic." These papers explore different ways to think about logic and reasoning. Many of his papers are collected in the book Selected Works.