, ?
. .
, XIV, 8.
, , , , , " ", - : "... . . ". ( - , , "... , ") [2, .41, 250]. [116] .
, . , , "" , "
, " [323, . 252], ( " " ..), , , " ":
1) , " , "". ( , , , , - );
2) : " , , , ";
3) : " , , ";
4) , " , ";
5) : ", , , , , . " [323, P. 307315].
""? , , ?
"" "" . , .. : " , " [143, . 40].
|
|
"" , , , , , , "" .
: , , ( : " ", " ", " ", " " ..), . , . , , , , , .
, ( , [143], [156]), , : , ( ), "" (""), , , , , ..
, ( ) , , , , : . , " ", . , - , .
""? : - , (, ; , ). [(a *)] t ] " - ".
"- " ,
, : - (, , ), (, ), , - -. : [(([ a (* a)])*) t ].
. , , , () , . , , . , , ("", "") (), , , , . , , .
|
|
, , , , . (., : [257, . 194195]). , , , - , , ( , , ..).
, , ( ) ( , ), ( Þ, , , ""):
[ (( [ ia (* iia)] ) *) t ] Þ [ (( [ a (*[(A) iia ])] ) *) t ],
.. - , , .
, ( )
, .. , , , "". , , , :
...... Þ...... { iia [ a (* [(A) iia ]) ]
-, - , ( ), - (, "" "" [248]), - ("", : , , , , ?).
- - , , , , , , , , , , .. , .
(ia *) t (ia) t . (([ (* ia)])*) t ([ (* ia)]) t. , "" (1), modus ponens, , , .
, . " , .., . " [156, . 93].
, . , - . :
|
|
:
,
.
, .
... ( ..)
" ", , - " ", - ("") " ". , , , . , , , .., , : , , .
, , . " ( ), , , " [143, . 41].
, . , , , , . ("") "". , XVIXVII ., principia essendi principia cognoscendi , , :
([ ([ ia (* iia)]*) t ]) =df (t) { t ([ ia (* iia)]) t
{ iia [ a (*[(A) a ])]} }................................... (3.1)
, , , . , . [169, . 9199], , , , , , , , , . , (), . ?
, , , , ( ), , . , "", "-" (" "? "- "?). , , , , .
. , , - . , , , . , , , , , , . "" , , .. , . , , . , , . ( , , " " ,
|
|
[235, . 229-231]). - .
" ": ? , , , "" . , , - , ( , ): , . ? , , . [2] . , , , , , .
, . , , .. - , . , ( ), :
t, iA Þ [ (iA){([ a (* iA)]) t } ].
, (1). . , , , , , ( ) . , , " ". " " .. .
, " ", , , , - ( ) - (2.5) (2.8).
, , , " " , , , . , , , , , .
" " , . , : -. , , , ( ""), , .
, , . , , , : "" "" ? , .
|
|
, . "" . , -, , , , , , : . .
. , ( ), ,
(3.1), " ":
( [([ (* ia)]*) t ] ) = df (t) { t
([ t (* ia)]) t { ia [ t (*[(A) ia ])]} }..................................... (3.2)
(2.5) (2.6), , , R , (2.10). "" , , , , , : ", , , , , , , " {2 10-14} [8, . 55].
, , , , . , , , , , , " " {981 b 28}[9, . 67]. , , , . ( "" ) , , , , (.:{997 ab } [9, . 103104]). , ., : " - , . , , " [267, . 329]. , .
" ". , . , ,
- . (3.1) :
([([ (* i)]*) t ]) =df (t) { t
([ ixt' (* )]) t { i [ iX t' (*[(A) ])]} }..................... (3.3)
, "" . , , , , , , , , ..
, (3.3) . , .
, , "" ""? . , , - . , , .
, , : , ( , .). , " " ., " ", . , , , , - .
, , , , .
, , (" " " "), , . , , , .
, , , . , -, . , , , . , , .
, .