-,
i i.
.
, . , .
.. , 261.
(). -1 -4 (. :[229], [238], [235], [234], [233, . 212-247]). , , : [127], [212], [215], [216], [238], [243] . , , . -4. , . , . .
, , , .
* , , -, .. , ,
. , , , .. . , , .
* , , . :
t ;
a ;
A .
t, a A (). t ( ), a A . , " " , , i " - ".
* - . (: i i) , , ( : i ), ( , ). - , ii, - , , i .
|
|
* , , , , . "
", .. , . . , , . :
a " () ".
(t) a " ".
() " - ".
* : (, , ) , ("") ("") , , , , . , " " ( (A) t, ), " , " [() t ], . ( ) . , , , "" , , - , , .
, , -, , () , (j). - .
* . , " " t (a), , " - " t (* a). . . , :
[ t ()] " , ";
[t(*a)] " , ".
, . , . " , ", , , , ; - , , : (a)[ t (* a)] " , - ". ( - , , ).
|
|
* , , .
, , -, ( , , , ), . -, , , () , (); , , .
-, , , . . " ", : " ..., ... ". , : " , - ". , , " Þ ", "", "", : " ", "
" .. ( - , ). , (, , ..), , " > ". , , "", "", , , , .. - . "", .. " É ".
, : [(iA) t ](iA *) a. : " , , ".
, , , , , . , , , . ", " - . , . . , (t ia)(t,ia) , , , .
, , . , , , [235, C. 197198] . , t, a, A, : t', T ¢, Lt . -4
|
|
. :
t' , t.
T ¢ , t.
Lt ( " t ").
-2 L . . ' (- , , ), , , i' -2, , c -: "- , ".
, . , , t,a(A) . ( ), : { t,a }(A). .
. , , "". , , : " =df " " " " ".
( 1) :
(i A) =df ([ a (* i A)]) t (2.1)
, , , , () .
, , , .
2 () :
(iA) = df t ([ (iA *) a ]) (2.2)
: , - .
, , , .
2.2.1. . , . , . , , , , , , , . . , , (, , ) .
"" . [257, .14], , , ", , , " " , ". [256, .13-14]. , "" "" , ( ) " " idem per idem.
|
|
"", "", "" .. "" , "" .
. , , " "? , "" "". ( ), , ? "" , , .
, .
, (. relevant "", " ", " "), .. , , , ( , ) . , , , , . , .
( , .) , . " Rel " "" - . (2.1), mutatis mutandis (2.2).
([ iA (* iiA, iiiA)]) Rel =df ( [ iA (* iiA, iiiA)] ){ [ iA (* iiA iiiA)]
{([ (* iiA)]) t ([ a (* iiiA)]) t } } (2.3)
: " ,
: , (.. )". ( ).
, . , , . ""? .
" " , , . , , : iiA iiiA, [(iiiA) iiA' ], .. " , ".
, , , , ( "" , . " Ad " " Adaequatus " ""):
|
|
([ iA (* iiA, iiiA)]) d =df ( [ iA (* iiA, iiiA)] ){ [ iA (* iiA
iiiA)] {([ (* iiA)]) t ([ a (* [ (iiiA) iiA' ])]) t } }............. (2.4)
: " ( ) , : , , , ".
: "" , , .
, .
, , . , , , , . (, , , - . , idem per idem: ).
(2.4) , : ( ) . -, , , . , , , .
, , , , : , , , , , , , .
, , (.. ) , . , : " " . ( , , ; -), .
? , , , .. , , , , , , , , , " "?
( ), : , . : , . , ( , , , , , .). ?
, . , , " " " ", .. ( , ; , , , , ..), ( "", - ).
" " , - , , , , , .. , ( " "), , .. , ..
, . , ,
"" . . [235, . 154175], .
"" . , , , , , , . , , ", " ( : " / , ,/ "), , . , ( ), ..
. , ("... , , , " [80, . 445]), , : , , distincte percipio [80, . 445]. .
[23] (: "", "", " "; , , ). , , , . , : , , < 2, 1 > < 387500, 380489 >, "" , . "" <, >,
<, >. , : , . .
, "" , ( -, ), , . , (), ( , , ):
1) , , - ? : ?
2) - ? ( , .. -);
3) , , (, , , , , "")?
4) -: - , , ? : - , ?
, , . . ( , . , , [23].
, 5, ).
. : (. praedicatum) , (2.1) , (2.2) ; R (. relatio) , (2.1), , , (2.2) ; m (. materia ""), , . indistinct "" ( distinctus "") retro -.
, , iA, , , -, , .. : ([ ii (* iA)]) t. -, , , , , - ( !) , t (.. , t¢).
, t', , , , , " ", .. , , ( , ..) t, , , t (, ..). () " " [235, . 78], : t . , :
(iA) R-indistinct =df (iA) { { iA ([ iia (* iA)]) t }
{ iia ([ iia (* iA)]) t } } (2.5)
:
(iA) retro-R-indistinct =df (iA) { { iA ([ iia (* iA)]) t }
{ t ([ iia' (* iA)]) t } } (2.6)
(iA) m-indistinct =df (iA) { { iA ([ iia (* iA)]) t }
{ iA ([ iia' (* iA)]) t } } (2.7)
(iA) retro-m-indistinct =df (iA) { { iA ([ iia (* iA)]) t }
{ iia ([ a (* iA ')]) t } } (2.8)
. , [23] ( unice). .
, , . , . , , , , . . : (2.10), .
(iA) R-unice =df (iA) { { iA ([ iia (* iA)]) t }
{ iia ([ iia (* iA)]) Lt (2.9)
(iA) retro-R-unice =df (iA) { { iA ([ iia (* iA)]) t }
{ t ([ iiL a (* iA)]) t } } (2.10)
(iA) m-unice =df (iA) { { iA ([ iia (* iA)]) t }
{ iA ([ iiL a (* iA)]) Lt } } (2.11)
(iA) retro-m-unice =df (iA) { { iA ([ iia (* iA)]) t }
{ iia ([ iia (* iLA)]) t } } (2.12)
( ), "" "".
(2.4) , , , (2.8) , . , , . , "-" . (2.12), .
, (2.8) , ( , , ), "". . , " " "", : " , , , -, " [186, .129].
, , , , , , , "", . , , , , . ,
, . , , , , , , , , , . " ", .. , (, , , , ).
, , . - , , , , , , , .
, , , . , - , . , , , , , , , .
3.