. , , , . . , , , . , . , , . , , . () . "" ( , - 2.0121). "" .
, " ", , , , . , . , , . - , , . " " -
, , . , , : " " " ?", , , , ( . [Ross 1941, 1986, Stenius 1960, 1996]). "" , - . , "", , , : " , : , , , , , , " [Anscombe 1960: 78].
3.202 , ,
.
3.203 . .
("" , "").
bedeuten Bedeutung, . "Ueber Sinn und Bedeutung" [ 1977], , - Sinn (), ( ) . : , . , (, ), . -, , - . .
|
|
, , , : . . -, , , "" () , . , , . , . ---- , "" - . , , . . , ( ) .
, , , , , , .
, , (Satzsache, ) (Satz, ).
3.323 ,
- -
- ,
-,
.
""- , ; ""- , ""; "" ; , , .
( " "- , - , .)
, "" ( ), , ( ). , " " - - , , , , , , (, , , ).
, , " ", . (3.203) : "" , "". , " " - . , , (. 3.321). , - , ( ), , - , . . - , - , , 3.322 " ".
|
|
3.324 ,
.
, . , , . , qui pro quo, (. [ 1996]). - - .
, , , -. - .
( , , .)
- , , . "" ( . ), "" - . , , - , . , " " [ 1936] " " [ 1959] , - "" , , , , .
3.332 , ( "Theory of Types").
" " . " ": " . : ", , ". ,
, , , , . , , , . , , . , ; - , .. ad infinitum. , : " , ". . , , , . " [ 1993: 25-26].
|
|
, " " , , , , .
3.333 , , . , , F (fx) ; : "F (F (fx))", F F , 0 (fx), (0 (fx)). "F", .
, "F ()" "(30): F (0u) 0u = Fu". .
, () (, ) , , , "X - " "". , . , , . , ? . "" .. :
" " - " () ""? , . F (f). , , , , , . , , , . , ,
, ; , , - , (. 3.32.-3.323. - . .). , "F" , , , . , , . , , . , , , , , . , . , , , , . , , , , . " [Mounce 1981: 55-56].
" " , , , , , , . , : , , - .