. .
. .
. ( ..) .
. ."
.
, ; , ( ) , . , . . , - , , , . .
, , , , , " ": , , , - , . , , , . , , , , . , , " ", .. . , , " ", . : " , , , , .. . [...] ; - , . [...] , , : , copul' , , , , "[231].
|
|
, .. , , , - - , , , , - , , . , , " " , , .. . , . impliciter "" "". , " " , " Î b". , .
, . " , ". , , , , . , , , .. , ". , , .. ; . : " [...] , , , [...], , , , "[232]. , . , () . " " , . , , .
|
|
, , , "", "", "", "", , , , , , . "" "". ( ), , .. . "Dfd" = Dfn ""; () : , , - , - ..
, "" "", . - . , ( - ) , ; , , - , . , -, - , : "", "", "", "".
, , - , ; , , " ", ""; , , , , - , , "", "", " "; , , , "".
, , , . " ". , , . ( " " - - , , .) " ", " " " ", .. , " , , .. . , , . " , "" "*" , - , "" "*" , "" "*" "
() , , . , , , , , .. " ". , . : ", , " " " "; " - 1, 2, 3,..., n" ; "[233]).
|
|
, - , . , , . ( , ). , " , , , "[234]. , , , - , , , , impliciter , .
, , . I , , , , , . ( , ). , , " - . , , .
II : , - , , , . , , , ; , - , , , , , , . , , , . , , - , , . , , : "' , , "" , , . , , , , - , .
|
|
, . , , , . , . , : - , "", , - , , , , - , ". , "" " apriori " :
1) , "" ;
2) ;
3) .
, : 1) < b>. , b , , . 2) "" , , . "" , . . "" , , . " ". , "" , , "" . : , , "", - , , b.. "" < b> <"B" . >, , : "A" b ("B") c ("C").... . "" . 3) , " ". " " , "" "Î", , , . < a Î "A"> () $(), - <"A" Î a >, - , , "". , , ; , "Î", , . , implicite "" , "" , .. , , <A >, <a b>, <A b>, <b A>. , , , , "" , . , , .
|
|
, "" "", "" . "" , " ".[235] , , , . , , . , , , , , , .., , , . , ; "" .