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