当前位置:首页 > 经典书库 > 逻辑百科辞典

卢卡西维次,J.

【生卒】:1878~1856

【介绍】:

波兰逻辑学家。生于波兰的利沃夫,1902年毕业于利沃夫大学,获哲学博士学位。曾任利沃夫大学教授,华沙大学教授,波兰教育部长,华沙省大学校长,都柏林爱尔兰皇家学院教授。曾获明斯特大学和都柏林特里尼蒂学院名誉学位,是克拉科夫的波兰科学院院士,利沃夫的文化科学学会会员,华沙的文化科学学会会员。主要论著有:《论亚里士多德的矛盾律》(1910)、《论亚里士多德的排中律》(1910)、《数理逻辑基础》(1928)、《二值命题演算的完全性证明》(1931)、《命题逻辑史》(1934)、《逻辑斯蒂和哲学》(1936),《亚里士多德的三段论》(1951)和《模态逻辑系统》(1953)。卢卡西维茨在数理逻辑和逻辑史领域取得重大研究成果。他深入地研究了命题演算公理系统,创造了一套没有括号、书写简便、使用准确的符号,被称为“波兰符号”。他第一次建立了多值逻辑系统,他对模态逻辑进行了独到的研究。他以数理逻辑为工具,重新研究评价了亚里士多德逻辑,把亚里士多德的三段论公理化;他还挖掘了斯多阿逻辑,论述了亚里士多德逻辑和斯多阿逻辑之间的关系,给逻辑史的研究带来一场革命。卢卡西维茨毕生从事逻辑的教学和研究,他培养出许多著名的逻辑学家(如A.塔尔斯基等)。他是波兰数理逻辑的创立者和主要指导者,是华沙学派的创立者之一,并且是该学派的核心人物。

上一篇:吕澂 下一篇:《刘子·审名》
分享到: