.


:




:

































 

 

 

 





" ", .. " ". , , ( 1963 ) ,[447] , , 1945 Journal of Symbolic Logic. , , , , . 1979 ,[448] " ", , .

, , , . . , , ( - ) . , , , , .

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

, , , , , . , , , . , , . , ; , , .

. , , "à", "K". . "à " ", ", "K " ", "; " " "àK ". " , " :

àK . ( )

, , , , , , , . , . , , .

K . (I)

K( Ù ) (K Ù K ). (II)

1 9.3, , . - , . , , - , , , "" , . (II) . () " ", , . - . , 2, "" (. 9.3).

, - ( ), . :

Ù ~K .

, :

àK( Ù ~K ).

( II) :

à(K Ù K~K ).

, K~K 1 ( I) , (K~K ~K ), :

à(K Ù ~K ).

", " ! , , :

~( Ù ~K )

:

K .

: , () , , ! . , , . , , , .

? . ( ) . , : (1) , ; (2) .

, . , , . , . , ~( Ù ~K ) K , . , , , ( , ). , . , , . -, , ~( Ù ~K ), , . . , K , : ~K ~ . , , . - . , , - , , , , ? , . , , . , - , , . , , , - ad hoc, , , , . . , , .

, - () , . , . , , ""[449]. , , (K A) . :

àK , .

, Ù ~K . , , K( Ù ~K ) , Ù ~K . , , : -, , , ; -, , , , , , (, " "), , . . , " ", , , . , , , , , , , . , , : " , , . " , , .

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





:


: 2015-08-18; !; : 1533 |


:

:

: , .
==> ...

1340 - | 943 -


© 2015-2024 lektsii.org - -

: 0.014 .