"", .
[279]. " , .. , "[280]. , , , ( ""). , , , . "", , ( ) , ( ). , , , , , " " , , , , . , , , . , , , .
, , . , . , , , . , : " , , , , , , , , , , , , , ". , : " ( ) "[281]. , ( ), , , ; , , . , , , -, , , , "".
" " ? , , , , , , , . , , , , : " " " , ". (, ) . " ". , " " . , , " " " " :
|
|
() .
, "" : "" , (), "", [282].
(, , " " , , " " ). "" "" (satisfies) "". ( " O " , O, [ u, v ] " x , y " u , v).
(satisfaction): , " "[283] ( " "). " ", " " . , , . , .., , , , . ( , ). .
, , .. , , : , , . () , .
|
|
, , , , , , . , , " " " " " ", , , .. , , , , , .
, . , ; , , , , . , , , " ", " " " ". : , . , , , , .
" " . , , . . , , ? "" " ", "" ? , "" , ( ), (, , , ). , , ( ) (.. ()).
, , " " , , . , . , , , " ". , , , " " " ". , , ; , , , : [284].
|
|
.
( - ) , , . , , , , . , .
" " , .
, ., .", ., ., . , [285] [286]. .
1930- (.. " ") ( ) , , . , , . . : " "" """[287]. , "", . , , , "" , . , () , ; , . , : , , , , . , , , - . L, , (primitive denotation) L , . , , .
; , , . , ; , , .. ; . L () , , . 1 L 2 ,
|
|
(i) 1 2;
(ii) 2 .
, , - . , , . , , , , . , , .
, L, " "[288]. , , . , , , " ", , , - , , .. "" , , , . , , , ; , , , , , "Schnee" "Schnee ist weiss" .
, . , , , , " ( ) "[289]. "" . , , , [290] " ", , , . , Gedanken , , . , , ; . , "" , "" , . . : , . , , , , . , . - ,
(Q = " xk " k, k - S ).
, "", :
(Q = " xk xj " k j, k - S j - S).
. - , . :
|
|
(1) (s)[s ] ( ) , ;
(2) "" ;
(3) -.
: , . , , , "" . , , .
, , , ( ) . , . , , , , .. , ( ) , , , [291]. , , , "" ( " x y " , , ) , [292]. [293], , .
, .. , , , , - . , IF- .
( /) , . , , .. , ( , -) , ( , , ). , . , ; .
.
( ) , . , ( ) . , , (, ), (, ). . , , () , , , , "" () "" (). .
. , , , .
. , . (S) S . -, (, ) W , .. . -, S , W S. , . S? : S S . , . , . , , , , : , . , , , ; () , , . , . , , (valuation), (values). , - , v. , 1, 2,..., i..., . ( ) , . : , ($ i)S[ i ] v , v i S[ i ]. , v (" i)S[ i ] , v i, S[ i ]. . R (i, j) v < v (i), v (j)>Î v (R). .
, , . ( ), . , . , . . "" , , .. .
, ( )[294]. , , . , , . ; , . .
, , , (, , , " ", ). " " : , . , , , , , , , " " . .
, , , " ", . , . , , (, , ) . , , , , . : , . , " " , . . , , . .
, . , , . , , , . , , , .. , . , , . , , , , . , ( ) , . ( ), , , .. , . - , . , .
, , : , ; . ,
(1) " $ S[ , ],
. , (1). , : () . , , :
" $
(2) S[ , , z, u ]
" z $ u
, y x, u z, . (.
(2") " $ " z $ u S[ , , z, u ]
u z, x y.)
. , (2) ,
(3) " " z ($ / " z) ($ u / " ) S[ , , z, u ],
/ .
( , ) , "-" " " (independence-friendly IF) . , , .
, IF- , , IF- , . , IF- . , . IF- , , . . , , , .
IF- , . , , , , , , , , . , , , , , .
, , . , , : , , - , , . . , " " , - , " " " ", : " " " " , " ". , " " , .. ( ) , , , . , " " , , ", " , . , .
, [295], , , . , : ( ) , . -, , [296]: , ( 18 19 " ...") , .
- , , , , . , , , , . , . , , : , , , .