. , -
,
:
. -
, -
. , ,
,
. (
,
.) ,
, , -
,
. ( -
, , ,
.)
,
-
:
-
, -
.
* 8 , ,
, , -
. -
, .
200
, ,
-
.
,
: k ,
k - -. -
/
( -
) -
,
. ,
(. . 15 t? 28),
. -
-
*". -
.
- -
,
,
, 1. -
, -
-
,
{ ), -
. ,
, .
1,
, -
|
|
. 28, , -
, , -
, -
. -
-
,
1 . 1
<5 . 28 (. *11),
( -
). , ,
, -
( ),
, ,
, ι.
201
.
-
^ -
. ,
, -
, -
, -
,
.
, -
-
.
,
( -
),
. -
, -
-
. -
-
( . [70,
. 71]).
,
,
. ,
,
, ,
-
.
-
, -
-
- 1. -
, -
. , -
() -
-
0 1, -
3/4. ( , -
, , -
, .)
202
, -
-
|
|
0, 3/4. -
1/ -
,
n .
-
, -
-
.
, , -
-
(
) -
* 10.
* 10 -
, -
,
( , -
, [70, . *1, ]).
, -
. -,
,
, ,
.
.
. -,
, ,
, -
. -
.
,
-
,
.
, . -
[78, . 2672841 ,
,
.
4 '[. 274 .]
. :
^
,
, ,
, .
, -
203
, , -
.
,
,
, ( -
-
, -
),
,
, , , -
, , -
.
, -
:
,
.
, , ,
-
? , -
, (
),
|
|
... , :
-
. [] -
[ ], -
,
, . ,
(-
, ).
, -
, ,
, . ,
(
) , -
. , -
: , , -
-
, , -
.
204
, -
...? [37, . 58] .
, ,
, ,
,
, ,
, -
.
, ,
,
( -
), -
(. [70, .
6568]). ,
,
, -
. , ,
1 *. ,
,
-
. -
, , -
. -
, -
, , -
-
,
, , -
, -
[74, . 186]. , -
, ,
, -
,
, -
.
11 -
. 12 . [74, . 169],
[57]. -
(., -
, i[81, . 225; 82, . 141, 398]).
205
il!
,
, ,
|
|
. ,
, , -
, ,
~
(
), -
.
,
, -
. -
, ,
, , -
.
- -
, ,
.
-
,
. 10 . ,
-,
, -,
, -
. -, , -
, , -
, .
, , ,
-
, " 1 "",#13
81.
. , -
. -
?
-
,
* 13 -
, , -
(. . 10).
206
(
-
, ,
) 14.
, -
, :
?
, ,
, -
, ,
. , -
, -
.
, , -
,
.
, ,
, , -
* 15. , -
14 ,
, -
( , -
),
. .
, -
.
* 1938 , ,
,
, , -
(. [70, . *ϗ*V),
, , .
-
. [70, . *1, 9 (VII) ].
* 15 p(S, e)r,
: -
/,
, , (-
, :
,
). -
(. . 84), :
Pt(S)=r ( k ), -
: ( -
|
|
207
-
. , -
-
, .
, , -
, , --
,
. :
?
? ( , -
. . 1.)
,
, . -
, -
, -
, -
, a priori.
,
, ,
. ,
. -
,
,
.
) . -
pk(S)=r (1) -
p(S, e) = (2)
, -
( -
). modus ponens,
, .
, ,
-
(1) (2) , ,
(1) (2), .
- , , ,
.
,
, pt(t, )
t , -
(. [70, . *VII *VIII]). -
, , .
, , tk
, -
(
) ,
, .
208
,
, -
.
, ^
.
, -
. , -
, -
,
,
. -
, -
[34, . 290] 16. , -
,
. ,
, -
-
, -
.
U -
,
, -
-
, -
. ,
.
82. :
, -
,
?
16 -
[36]. ,
,
1938 , . -
,
, 1931 -
,