來源：互聯(lián)網(wǎng)
盧卡西維茨，波蘭的邏輯學(xué)家，代表作品是《論三值邏輯》。
基本簡介
波蘭邏輯學(xué)家J.盧卡西維茨認為，命題不止有兩個值，不只是真或假。對于“明年12月31日正午我將在華沙”這類命題，在說出它的當時，它既不真也不假，而是可能。這也就是說，命題可以有三值，推而廣之，還可以有四值，五值。因此，對每一自然數(shù)n，有n值，以至于無窮多值。研究這類命題之間邏輯關(guān)系的理論，即為多值邏輯。
多值邏輯建立于20世紀20年代初，由盧卡西維茨和美國邏輯學(xué)家E.L.波斯特創(chuàng)建。盧卡西維茨在其1920年發(fā)表的《論三值邏輯》一文中，建立了一個三值邏輯系統(tǒng)。波斯特在其1921年發(fā)表的《初等命題的一般理論》一文中，建立了任意有窮多個值的邏輯系統(tǒng)。該系統(tǒng)對于任意的自然數(shù) n>2，序列 t1,…,tn的每一項都可以取作命題的值，其中t1為真值,tn為假值。20～50年代，許多邏輯學(xué)家建立了 n值命題演算與謂詞演算的公理系統(tǒng)，并探討了它們的一致性和完全性問題，同時也研究了多值命題演算與埲值命題演算的子系統(tǒng)問題。多值邏輯在60年代獲得了新的推廣，從多值的線序域推廣到多值的偏序域，建立了格值邏輯。70年代后，多值邏輯被用于計算機科學(xué)和人工智能等方面。
參考資料 >