| 卢卡西维茨 Jan tukasiewicz1878—1956 一译“乌卡西维奇”。波兰逻辑学家、哲学家。历任里沃夫大学、华沙大学教授，并为波兰科学院院士。第二次世界大战前离开华沙，1946年应聘赴都柏林任爱尔兰皇家学院数理逻辑教授，迄至逝世。主要从事古希腊逻辑与命题逻辑研究。1907年发表《逻辑学与心理学》。1910年发表《论亚里士多德的矛盾原理》，指出在亚里士多德著作中有本体论的、逻辑的和心理学的三种不同形式的矛盾律。1927年的《论斯多亚学派逻辑》和1935年的《论命题逻辑的历史》提出了现在公认的对斯多亚逻辑的正确解释。1951年问世的《亚里士多德的三段论》，是当代对亚里士多德关于三段论学说原理进行考证和用现代公理化方法进行研究的第一部有影响的著作。在命题逻辑方面，1930年与塔尔斯基合作发表《命题演算研究》一文。1929年开始使用不带括号而又不致有任何混乱的符号体系，这种记号法对计算机使用非常方便，被称为“波兰符号法”。在命题演算(他称为“演绎理论”)中按弗雷格方式以蕴涵(C)和否定(N)为原始词项，称“C-N系统”，有三个彼此独立的公理：CCpqCCqrCpr(即(p→q)→((q→r)→(p→r)))，CCNppp(即(p→p)→p)，Cp -CNpq(即p→(p→q))。对公理系统的一致性、完全性、独立性等元逻辑问题亦有贡献。1920年发表《论三值逻辑》，标志了对多值逻辑正式研究的开始。晚年从事模态逻辑研究，除发表《一个模态逻辑系统》一文外，还刊印了《亚里士多德的三段论》第2版(1957)，其中增加了3章论述亚里士多德的模态逻辑部分的内容。 |