盧卡西維茨,波蘭的邏輯學家,代表作品是《論三值邏輯》。
基本介紹
- 中文名:盧卡西維茨
- 國籍:波蘭
- 職業:邏輯學家
- 代表作品:《論三值邏輯》
盧卡西維茨,波蘭的邏輯學家,代表作品是《論三值邏輯》。
盧卡西維茨,波蘭的邏輯學家,代表作品是《論三值邏輯》。波蘭邏輯學家J.盧卡西維茨認為,命題不止有兩個值,不只是真或假。對於“明年12月31日正午我將在華沙”這類命題,在說出它的當時,它既不真也不假,而是可能。這也就是說,...
伊格納西·盧卡西維茨(Ignacy Łukasiewicz) 波蘭藥劑師、化學家、科希丘什科起義的戰士及國際原油蒸餾研究的先驅,煤油燈的發明者。人物簡介 盧卡西維茨於1822年3月8日出生於Zaduszniki。因為參與地下組織的反對占領波蘭奧地利的活動於1846...
多值邏輯建立於20世紀20年代初,由盧卡西維茨和美國邏輯學家E.L.波斯特創建。在60年代獲得了新的推廣,從多值的線序域推廣到多值的偏序域,建立了格值邏輯。70年代後,多值邏輯被用於計算機科學和人工智慧等方面。多值邏輯和經典邏輯...
超協調邏輯是非經典邏輯的一個重要分支。它是能夠容納矛盾但是從矛盾卻不能推出一切的邏輯理論。超協調邏輯國內又有譯為弗協調邏輯、不協調邏輯、次協調邏輯、矛盾邏輯、悖論邏輯等。據盧卡西維茨(Lukasiewicz)的研究結果表明,亞里士多德(...
波蘭表示是表達式的前綴或後綴表示,是波蘭邏輯學家盧卡西維茨(Jan Lukasiewicz,1878-1956)於1951年提出的一種邏輯運算無括弧的記號形式。特點 優點在於表達式的求值不再受算符的優先規則所支配,也不使用諸如括弧那樣成對的定界符。使...
盧卡西維茨把自己的三值邏輯推廣到三值以上,甚至無窮多值的情況,這些值用0~1之間的實數來表示。E·L·波斯特建立的是一個任意有窮多個值的邏輯系統,該系統對於任意的自然數n>2,序列t1,…,tn的每一項都可以取作命題的值,其中...
《亞里士多德的三段論》是1995年商務印書館出版的圖書,作者是盧卡西維茨李先Kun。本書主要講述了亞里士多德邏輯學的三段論等有關內容。內容簡介 本作者的目的是用現代數理邏輯的觀點解釋亞里士多德邏輯最重要的部分——三段論理論。本書...
《亞里士多德的三段論》是1981年商務印書館出版的圖書,作者是盧卡西維茨。內容簡介 伊格納茨·盧卡西維茨(1878—1956),波蘭著名邏輯學家,多值邏輯創立者之一,畢生從事古希臘邏輯、命題邏輯和模態邏輯的研究。本書的目的是用現代數理...