" " . " " , . , / , , , , . , , () .
, . , , 1950 . , , , , .. , , , , , , , , , .
, . . , , . , , , [358]. . , .
, . , , , . , .
, ( ) , . , , ( ) . , , .. " ..." " , ...", " ", , , .
|
|
, . , , , . , . , , . . , . , . , , , . , , , . , , .
. , , . , ; . , . , - .
, " " ( ), - , , , . , ; , , , , , , , , .. .
|
|
, , . :
1. , , " ", , , , "" " " , . , , . , , . , .. .
2. , , , " " " ". "" ( ) " ", , . () , , , , .
, ( ) . , " ", , " ", " "; . , , , , , .
, -, . ; , . , . -, , ( ). -, , ( , ). . , .. . ( , " "), , .
-, , . , , , , ( ) ( , ), , .
|
|
, . ; , . , -, - , . , , , ( ), .
(" ") . : ($ ) F (x) , , F (). , , , , . , . , , , . , , , , .
, .
:
T .
T (is committed to) F.
, F.
T , .. , .
, . , , : T F F , .
, , , . " T F ", F , , T "($ ) F ". :
|
|
T .
T ($ ) F.
, F.
. , , T . , [359]. , .
(1) .
(2) ($ ) (x )
, (2) . , ,
(3) ($ ) N(x = 9)
( N ),
(4) N(9 = 9)
,
(5) 9 = & ~N( = 9)
(3) ( " " ) (4) (5) . (3) - (5) [360].
. : . ( ) . , () . ($ ) F (x) , , F. , , .
: . , . ($ ) F (x) , , F (x) . ($ ) , , . . ; , , ( ) . , , , , . , , , , . , .
: , (1) , ,
(6) .
. (6) , , , , , (1). ,
(7) .
, , , . " ". , (1) , , (7). , , , (2) - , , , () . , (1) (2) , . , (1) (2) , , . , , () , , .
|
|
, (1) (2) . (3) - (5), [361], (3) . , .
S , , S . S. ,
1 70 , 1 70 .
.
, ,
H (B, 1-70) & H (V, 1-70)
($ x) [ H (B, x) & H (V, x)]
, , " " ($ x) [ H (B,x) & H (V, x)], , , , - . , , , . , , , , , . . , , , , . , , .
[362], . , , , . , , , , ( , ) , .
, . (' --- ') , , , , [363]. , , , . , . , , .
T- (biconditionals) . , , , (T) : , '' definiens, , '' (T) , , . , T-, : , , , , '' definiens T-. , , definiens. T-, (T). ( ) T- definiens. , , . , : , , , , .
. T- . . , , . , T-. , T-, T- . T- ' ', , .
, , . , , , , '($)) ((2+2=4))' . ')' , . , , , , , . : " " , , . , , , [364]. : . , , ? , , ?
: , . , , per se. , ; . , , .
, , . '($ x) Fx ', F. , , , ? , , . , , , , . , , , , . ?
- . . , , , . , , [365].
' Y ' , , , . Y u,
{ y: u = y } Y & u = u.
, u
($ Z) (u Y & u = u).
($ Z) (Z Y)
, , , Y.
, . , { x: Fxy } y, , y. , , , ' Z ' '(Z) FZ ', , .
- . , ( ). , , . , , .
[366] , , , . : , [367]. , .
, , , . , , , , , . . , . , , " ". , : " ", .. " ( ) ". " " " ".
, [368], , , , . , , " , "[369]; ' '. , c, , , ( ). , , , , , , - . , ; , (credibility) , .. . , "", " " (, "") . , .
(warranted assertibility) . [370]. , , , , , , , , . : , , '' '' . '' ( , ' ') " " , '' " " . , , , , ex nihilo, , ' '.
, , , , , , ( ). , , , ( , ) , (, , ), , .