. . , . . . . . . , . , . .
- -
(19051997), . . . , . , . , . 1934 ., , , , -, . 1955 1973 . - ( ). .
. (1950) , . , 1. , . , , . , , , ? , .
, , , . , . , , . .
. , , :
|
|
1. , .
2. , .
3. , .
4. .
5. , .
6. , , 2.
, : , , . , , . , , ', , ; , . , , 3.
, . , . . -- (1962).
, . ( ) "" , . . - - . : , .
, , , 4.
, , , , . , -
|
|
, , , .
, , , . , . , , , , , , , , . 1937. , .
1969 . , , , , , , . , , : , .
1939 . , , . , , . , , -. , : , , , . .... , . , . ( Hempel, Helmer, Oppenheim) 2λ5.
, , , , , , , . , , , . . ,
, . , , , .., , , . . <...> , , , ; , 6. .
, . , , , , . .
|
|
, , , , . , , , , . , , , , ; - , , , ; , , . , , . , , , . , , , 7.
, , . , . .
. : , () , () , .
. , , , . . , , . , . ().
, , . , , , , . , , , ; , , .
|
|
:
) , ;
) , ;
) , . , , . , , . , . . , , , - , . , , . , , ; , .
i
, , , . -, . -, . , , , , , . , , .. , , , .
, . , , , , , .. . , , , , , , , . , .
, -, , , . , , .
, , . , , . , , , , . , -
, , .. . , , . .
|
|
, . , -, , ; -, .
, ?, ?. . . , , . , . , ?
. , , , , . : , . ? : / ? ? . , ? , . , . :
;
, 8.
, , : ; .
. , .
. ,
, , , .
, , . . . , . , , , . .
. , , : , , , -, . <...> . , , , 9.
- , , . . , , , . , , - ; ; , , 10. . , , , . .
- . ,
, . 92 .
(19061978), , , , . , , , . 1931 . . : , .
, , : , , . . , , .
. . , . -, , , , ". , , . , 12.
. , , . , PrincipaMathematica, , , . , , . , , 13.
. , . , , , ,
. , 14.
, , , , . , , , . , .
1 .. . ., 1998. . 7-30.
- .: ., . --: // . 1973. 1.
3 .. . . . 9.
4 . . 16.
5 . , 14.
6 . . 25.
7 . . 26-27. 3 . . 90-91.
9 . . 103.
10 . . 111.
11 . . .. 1973. . 73.
12 . . 326, 308.
13 ., . . ., 1970.
14 . . // . 1984. 12. . 125.