.


:




:

































 

 

 

 





, ?

. .

, 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) . , .

, , "" ""? . , , - . , , .

, , : , ( , .). , " " ., " ", . , , , , - .

, , , , .

 

, , (" " " "), , . , , , .

, , , . , -, . , , , . , , .

, .





:


: 2016-10-30; !; : 497 |


:

:

, ,
==> ...

1682 - | 1594 -


© 2015-2024 lektsii.org - -

: 0.039 .