The Full Wiki

Jan Łukasiewicz: Wikis

Advertisements
  
  

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

Jan Łukasiewicz (Polish pronunciation: [ˈjan wukaˈɕɛvʲitʂ]) (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, Galicia, Austria-Hungary (now Lviv, Ukraine). His work centred on analytical philosophy and mathematical logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle.

Contents

Life and work

A number of axiomatizations of classical propositional logic are owed to Łukasiewicz. 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.

Łukasiewicz invented the Polish notation (named after his nationality) for the logical connectives around 1920. 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. This design led to 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.

At the beginning of World War II he worked at the secret Warsaw Underground University (Tajny Uniwersytet Warszawski). However at the end of the war he found refuge in Nazi Germany, in the village of Hembsen, where he was brought for his own safety due to accusations of collaboration with the Germans. Following the war he emigrated to Ireland and worked at the University of Dublin until his death.

Recognition

In 2008 the Polish Information Processing Society established the Jan Łukasiewicz Award, to be presented to the most innovative Polish IT companies.[1]

Chronology

See also

Further reading

  • Łukasiewicz, Jan (1957). Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press.  Reprinted by Garland Publishing in 1987. ISBN 0824069242
  • Łukasiewicz, Jan (1958) (in Polish). Elementy logiki matematycznej.. Warsaw, Państwowe Wydawnictwo Naukowe. OCLC 11322101. 
  • Łukasiewicz, Jan (1964). Elements of Mathematical Logic. Translated from Polish by Olgierd Wojtasiewicz.. New York, Macmillan. OCLC 671498. 
  • Łukasiewicz, Jan (1970). Ludwik Borkowski. ed. Selected Works. North-Holland Pub. Co.. ISBN 0720422523. OCLC 115237. 
  • Seddon, Frederick (1996). Aristotle & Łukasiewicz on the Principle of Contradiction. Ames, Iowa: Modern Logic Pub.. ISBN 1884905048. OCLC 37533856. 
  • Wolenski, Jan (1994). Philosophical Logic in Poland. Kluwer Academic Publishers. ISBN 0792322932. OCLC 27938071. 

External links


Cite error: There are <ref> tags on this page, but the references will not show without a <references/> tag.

Advertisements

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message