Jan Łukasiewicz,波兰数学家和哲学家(生于 1878 年)

Jan Łukasiewicz(波兰语:[ˈjan wukaˈɕɛvit͡ʂ];1878 年 12 月 21 日 - 1956 年 2 月 13 日)是波兰逻辑学家和哲学家,以波兰符号和 Łukasiewicz 逻辑而闻名。他出生在奥匈帝国加利西亚王国(现乌克兰利沃夫)的城市伦贝格。他的工作集中在哲学逻辑、数理逻辑和逻辑史。他对传统命题逻辑、不矛盾原则和排中律进行了创新思考,提供了最早的多值逻辑体系之一。当代对亚里士多德逻辑的研究也建立在 Łukasiewicz 的创新作品的基础上,他将现代逻辑的方法应用于亚里士多德三段论的形式化。 Łukasiewicz 方法在 1970 年代初期在 John Corcoran 和 Timothy Smiley 的一系列论文中得到了复兴,这些论文为现代翻译提供了参考1989 年 Robin Smith 和 2009 年 Gisela Striker 的先验分析。Łukasiewicz 被认为是最重要的逻辑历史学家之一。