卢卡西维茨
【生卒】：1878—1956 【介绍】： 波兰逻辑学家。非古典逻辑系统、三值逻辑的奠基人。1920年，卢氏提出了三值逻辑的命题演算系统，为多值逻辑开创了新纪元，使亚里士多德以来的二值古典逻辑体系有了突破，向著非古典的方向开辟了新途径，为模态逻辑、模糊逻辑、直觉主义逻辑、相关逻辑的建立与发展提供了条件。卢氏在研究亚氏的著作中，发现了命题的值除了真、假之外，还有不真不假的第三值，即中值。他用了逻辑联结词的“否定”、“合取”、“蕴涵”、“析取”等一系列的符号，建立了三值逻辑的符号系统，由此导出了命题的永真式(或称重言式)。另外，卢氏在演绎推理的公理系统方面，也有建树。 |