, 20 , ( (Putnam 1975)) , , 2 . ; , , 2 [39].
: , . ‑ , , 2 , , , . , 20. , , : , , , , .
, , . : , ? , ? , , 20, XYZ, , , , . , , 95 5 , , , , , ; , , , , , , , , , ( ). , , , , . , [40].
, , , ; , , , , [41], , , , . , , . , : . , , , , , , , , , , .
|
|
( , , . , , , , , , , ; , , , , , . , : ? ? , .
, , . . . , ‑ . : , , , . , , , , ; .)
, , , . , : 20 , 20 . ( ), , XYZ, 20, ; . , , 20 .
, , , . . , , . ( ) 2 , , 20 .
|
|
, , dthat ( ), dthat , (Kaplan 1979). : ( ), , ( 2 λ), .
( , , . , . ., , X , X. . , , , ‑ ‑. , , , , ‑ ‑. ‑ ‑, , , .)
, /: W R , - . , , , , , . XYZ , XYZ , , 2 .
(Kaplan 1989) . w , , w . , XYZ , 2 , . w , , , w. XYZ , . , , , , [42], , .
, , (Quine 1969) , . , , , : ( ) . ( (Lewis 1979); , .) , , , , , [43]. , .
|
|
, , , , : . ( .) , , , . : dthat ( , ) [44]. ‑ . . , , , .
, ,
/: W > R.
, , . ,
F: W* W > ,
W* , a W . , , , . , ,
F v : W->R
V W*, , F v (w) = F(v, w). , 20, F a 20 . 20, F a . , XYZ, F&, , XYZ .
F , . F . /: W* R , /: w >-> F(w, /), / w , . , . F a : w F(a, w ), a . . , :
|
|
/() = F a (a) = F(a, ).
F, F a , / , , . . , , , w w , (, , , , , , ). : D: RxW R , ‑ , . F a , D(f(a), ), dthat , f.
. , , , : , . ( , ). .
, , , . (, ) . : ; . , , , , , , , , .
, . , ; . .
, , , . , . , . , , , 2 λ. , : , .
. . , , . , S , S , . , XYZ, XYZ . , , , .
(Evans 1979) , 20. (Davies and Humberstone 1980) , . , , . . ; .
|
|
, , . ‑ , , , , , . , , ; , . , ‑ , , ‑ .
, . , , . , ( ) , : , 20, , 2 ‑ . , : .
, , . , , . ( (Stalnaker 1978). , , .) , , , , . , , . .
. () , ( ). , ( , , ). , .
20. 20 , , 20; ( , ). , 20 , . , , .
. , . , . , , , , : , XYZ , , XYZ, . , ; .
, , , . , [45].
, . (Chalmers 1994). , , . , : , , , , , , , , . ( ).
, , , ( , ), ( ). , , : , , .
, , , : , , , , ( , , , ). , , . [46].