, . : , , , . , -, , "Schnee ist weiss"[391] , . , . , , , , , ( ) . , , , , . , , , , . , , , , , . , , .
, , - (, ), - ( ) , " " . , . : ( , ), / , , - - ?
-, , . , , , OM hashem, , . "" "" "". , " " ; , , , " - , "[392]. , (" ", ) , .. ?
|
|
. , , , ( ""), . , , , , "". : , (" ") , ("") , " " . , , " s , p ", s , p . , , ", " , , , , ( , ) . , , (, , ) , . , , . , " s , p ",
s , p ".
" " , - s p, , ). - , , ""Schnee ist weiss" , ".
, , . , , . , T- , " T" , , . , , , . , , , : T-, , . , T .
|
|
, , L. , , , , . , , , .
, " ". , , , . , , , , , , : . , , , , . , , "", " ", " " , , , " -", " ". , (consistent) , . , , , . , , , , , .
, , , --L, , . , (satisfaction) (""), , , , . , ( ), ( ). , " p q " " p " " q "; , , , , " x y ", < , >. , ( , ) , (, , ). , .
|
|
, . "", "", "", " ". , , , , "T", , " p " ( L) - p. , " " "" "" "T". " " ( ), .
- . , L , s L " s , ", " s " s, " " s (, , s , , L )[393]. , (-) , . L : - " " , , s , . T- [394]. , T-.
, , , , [395].
|
|
, , ,
- ;
- , , . , " " " ", " ", , , , , "".
, , , . , , .. , , , . , , ( ) , , , , . , , . , , , - , : L, , .
, T- :
" " ( , ) () p t, , p t, t.
. , , , , [396]. "", "" ; . , : , ", p ". , . " , ", : , , , . : , ( ) , ( ) . T- , , ( ), , , , .
.
- , ? , , , , - , .
- , T- ?
- , , T- , , , ?
, , . : , , (, , ) " " "Es regnet", , , [397].
|
|
, .. , , : , , - " ". , . , : "Ich glaube das es regnet", - .
, T- , , , , , " " : , " s " " , s ", , . , "La neige est blanche", " "; : "La neige est blanche" -, . ? , , , , , . , , , , , , -, , , , -. ( , ), , "Es regnet". , , :
- ,
- , "Es regnet"
- .
(evidence) T-
"Es regnet" , x t, x t .
, ( ) , , . . . , , .., , , " , ..." : , , , - , .
, : T- ? , , T- " " , " " 2+2=4. , , , . , , . , , . T- , . T- , . , , . ; (, ) , (, ) . , , .
, . , , , , . , T- , . , , ( ) , . , , . , , , T- . , , T-.
T- , , , . , , , , , .
, , , , . , - , . , , - , , [398]. , , , " " . , - "" , . , ( -) , , " , ". , , , : S L, " S P " -.
, , , , , , ad hoc, , .. , . : , .. : - ?
, , L , s L . , , , , , , . . , , , .. , .
, , . - - , , , . : .
, , , ", " (), .. , T- , , , , "" "" . , , , "" "T", , , , .. "/T" . "" "T" , , , -, , T , .
: T- , .. , ? T- : ? ?
, , , L[399]. , T- , T- , . . - , , -[400], . T- A (1) (2), (3) (4).
(1) " "
(2) "T " T
(3) " " T
(4) "T "
A , , T , T-, (3), . (3) , :
(a) : " ";
(b) , " " ( (a) );
() , " " T ( );
(d) : "T " ( (b), (), )[401].
() , T-. , , , ( , ) T- . , ( ) , , (3).
, (3) (d), , : (3) , (1)? ( , " " ) , , T- , . , ( ) () , , , . , , , . , , , , , . , . , -; , , - .
, T- , , . , , " , ..." , , (1) , (3) . , (1) (3) ( ) , . (1) (3) , (1) (3) .
, , ", ", , , (1) (3) , " , b", , , , - . " , b" , " " , . , () , , , , , "" . , , (, : " L , , ...")[402]. , , " , b", , , . , , , (3) - (1). , , , (1), (3). (1) (3) .
, , " , b" . , (3) (1). , , "x y" "x P".
:
) , " , b", , (3) , (1), ( ) .
) , " , b" , , , (3) , (1).
, , , :
) T-;
) , T-.
, T-: T-, , , , .. , ( ) .
, IF- : - , . : , , , , , , , . , , , , , . , , :
, ;
, , , , , , .
, . . , , , . , , : , , - ..
, , . ( ) T , T- , , . T-, , , . , T- ""Schnee ist weiss" , ". " " , , , , . : T- , , , . ( ), , , , , , , , T.
: , , , . , , , ( ) T-.