, , , - , . , , . , "" " -" . : " " ", , , , " " , . , , . , "" . , , , , , , "" ". ([1929], S.78) , , . , "[...] , , , , - - ". ([1927], S.166) " " , "" . : " ". (S.167)
, , ; , , , . , , . , , . , , (, ), .
|
|
. [1985] , , ; , , - . . " " " ". , . " " " " . , , . "" . , - .
, , , , .. . "" "-" . " ". [1910] " " " , "", " , "". ([1927], S,169) , , , , . , , " " . , , , ., : " , , " " ". ([1927], S.160)
: " , , "", , , . , " ", , , , , ". ([1927], S.170) "├: p. É. p Ú q", " ". : p , "p q" . , , : ├: p, p É q, p Ú q, . , . , , , , ├ , . : 1) "p" , "p", .. "├.p" ? 2) "p" , "├.p" ? 3) - "├.p", , ?
|
|
, . A. , "├" , ", ", "├.p" - , ", p". , "p" , "├.p" , ", p", , "p". "├.p". B. , ", , ", "├.p" : ", , p". "p" - , "├.p" . . , , ", , "; ( ), - "p". , , , "p". "├.p", , . C. "├.p" , "p", "├.p" , . .. "p". "├.p", . , , , .
|
|
, , . A, , , "├.p" , ", p", ; , " ". B C , , , , , , , , , , , .
. " ": ".p É q.=.ù pÚq." "q. É.pÚr" (1) ù q. Ú.pÚ r. ? - . , "ù p" "-p" "p ". , "p" , "p " , "p" "p " (). "p " "p", , "<p> "; , .. "<p>" "p" , , . "" . , , "p " "<p> " . (1) , "ù q. Ú.pÚ r":
(2) -q. Ú.pÚ r,
(3) "q" . Ú.pÚ r.
"pÚq", "p q ". "p " , , "p ", "<p> ". (2) (3) "p" "q" "pÚq" , , , , "q " "-q "; 17 "q. É.pÚ r" .
, : " . 1914 . , .. " ", "ù p", "pÚq", "pÉq" .. "-p", "p q", " p, q" .., , - - , - , , , "" ". ([1927], S.181)
|
|
, 1927 . 1917-1918 . . : " p, q" , " <p> , <q> " - . , - ; . () " " , .
, "", " ". . , , ", ". , " ". ", " , , , . ( , ) , . "" " ".
, " " : -, , -, .
. :
. . http:philosophy.ru\library\lukasiewicz\apologist.html
. . http://www.philosophy.ru/library/lukasiewicz/logistyk.html
. . http://www.philosophy.ru/library/lukasiewicz/onauce.html
. . http://www.philosophy.ru/library/lukasiewicz/tvor_nau.html