, ? . " {.I, .114} [292, .105].
, , , , - , .
" ", ., , , - ( , ). , " , , ... , , , - . ..." [299, . 420 421].
. , ( ), , , " ; , , , " [73, . 107].
, ., , , . , " " , . , . , . - , , . , "". , , , . , .
, , [242],
, , , :
(iA) =df iA [(iA){([ A (* a)]) t }].
. , "", , , ... . , , , , (, , !) , , .
|
|
, , , . , . : " , , !".
, , , - , , . , ... - . , , , , . , , , , , -, .
, , , , , , . , - , , , .
: " , ". .
3.2.3. . , , (. atributio ): () , . .
iA Þ [(a *) iA ].................................................................. (3.13)
[ iA (* a)] Þ [(a *) iA ].................................................... (3.14)
(3.14) , -. - , .
, (3.13) , " ", . , " ", .. " ", , , , .. [(La *) iA ], - , . , , ("" , "" ) .: {2 2 b } [8, . 5557].
. , , , , , , , .., , modus vivendi , ( : , " " [144, . 197],
|
|
, ). , , : .
3.2.4. . , , :
iA Þ [ iA (* a)].................................................................. (3.15)
[(a *) iA ] Þ [ iA (* a)]...................................................... (3.16)
, ( ) - . .
, , , . .
(3.15) , - : [ iA (* a)]. , .. , t. [ t (* a)][ t (a)] . [ iA (* a)][ iA (a)] , :
iA [ iA (a)].................................................................... (3.17)
(). , : . ( [290] ).
iA [ (iA)]..................................................................... (3.18)
, " " , , , (3.15) (3.18). .
. (3.18) , , , . , .
, [288], . , [332] , , , , , . : , , , . , - , .
, , , , :
[ [ A (* a)](* ia) ] ia'.................................................... (3.19)
[ [ a (* a)](* iA) ] i '.................................................... (3.20)
|
|
[ [ A (* a)](ia) ] Þ ia '........................................................ (3.21)
[ [ a (* a)](iA) ] Þ i '....................................................... (3.22)
: , , ,
.
, , , : , . , , , , .. .
, . (3.19 3.22) , , (3.18). : ii (* i A) ii (i '). , , .
, , . ( ). , , . .
325 , "" . , (, , !): " !" . : " - , : ?". , , , ,
, . - , .
. " , " , . . ( ), , , , , , . , , , .
. , , , . (, , ?), , , , , , , .
|
|
, " ", , , . , . , , .
, , , , . , , , , ., . , , , , , , , .
, (. [289]): "" , , , , , .
3.2.5. . (3.4) , , .
" " , . , , , -, , " " , , , - " ", . , , , : , , , (, -, ) , ? ? ?
, , , , "" . - , - , " " . .. [128]
, .
" "?
"" " ", , . , , [248, . 57], .. , , , , , , (" "). "" , , , , , , .
, , , , , :
|
|
t, i Þ [(i) { (([ (* i)]) t) N } ].
" " , .
, " ". , , , - . , ( , , ) :
i Þ {[ (i){([ (* i)]) iia } ] [ (i){ ( ([ (* i)]) iia ' ) N } ]} (3.23)
, - - , .
, . , , " ", " ".
, , : -, ( ) - , , -, ( - , ).
, -, , , . , , - . , - , . :
[ iA (* a)] Þ {[ (i){ ( [ i (* a)] ) iia } ]
[ (i){ ( ([ i (*a)]) iia ' ) N } ]}...................................................... (3.24)
. - , , . - , , , , , , .. , , ?
, . , - , . , . , ,
, .
, , , -, . [247] - , , . , , "" , " " , , " " , , . ( , , , ? - ? - , , ). , , , . "" , " " ó.
, , . , , , , , "" , - . , , , , . , , - , , "" . , :
[(a *) iA ] Þ [ ([ a (* a)]) iA ]?
[247] (. D1D3 [234, . 171]),
iA Þ[ iA (* a)], (3.15). , , , , , - . , , , .
. RC-1 [234, . 173] . : i Þ[ i (* a)]. RE-2 [234, . 174] -, : Þ[ (* a)]. C3.2 [233, . 170] :
{ Þ[ (* a)] } { [(a *) iA ] Þ [ ([ (* a)]*) iA ]}
, , (" - - "), modus ponens [234, . 172] , , :
[(a *) iA ] Þ [ (i) { ([ ii (* a)]) i } ]
[ (i) { (( [ ii '(* a)] ) i) N } ].......................................................... (3.25)
, (3.24), , "" "" .
(3.25) , , , ,
, , , , , . , . - , "", "", "" ..?