卢卡西维茨，波兰的逻辑学家，代表作品是《论三值逻辑》。 基本简介
波兰逻辑学家J.卢卡西维茨认为，命题不止有两个值，不只是真或假。对于“明年12月31日正午我将在华沙”这类命题，在说出它的当时，它既不真也不假，而是可能。这也就是说，命题可以有三值，推而广之，还可以有四值，五值。因此，对每一自然数n，有n值，以至于无穷多值。研究这类命题之间逻辑关系的理论，即为多值逻辑。 多值逻辑建立于20世纪20年代初，由卢卡西维茨和美国逻辑学家E.L.波斯特创建。卢卡西维茨在其1920年发表的《论三值逻辑》一文中，建立了一个三值逻辑系统。波斯特在其1921年发表的《初等命题的一般理论》一文中，建立了任意有穷多个值的逻辑系统。该系统对于任意的自然数 n>2，序列 t1,…,tn的每一项都可以取作命题的值，其中t1为真值,tn为假值。20～50年代，许多逻辑学家建立了 n值命题演算与谓词演算的公理系统，并探讨了它们的一致性和完全性问题，同时也研究了多值命题演算与埲值命题演算的子系统问题。多值逻辑在60年代获得了新的推广，从多值的线序域推广到多值的偏序域，建立了格值逻辑。70年代后，多值逻辑被用于计算机科学和人工智能等方面。