, , , , , , . . , , , , , . : , , , . : , , , .., , , . , , . , , , ( ) , .
, , , , . , , . . , , ; , () , . . , , , , , , .
. , . , , . , . , , , , , , , - , . , , , . , , , .
|
|
, . . , , , , , , , . , . , , . . , , , , , . , . , , . 30- , , , . ... . , , : , , , ; , . , . "
30- , . ; , , . (1942) (1943). : - , , , , . , , , . , , , , . , , , , . , , , .
|
|
, , . , . , , , , . - , . , . , . , . , , , . , , , , , .
. , , , : , . , : , , .. , . , , , , . , , . , , , ; . , , , . , , . (, ..); , . , , , . , , , , , , .
|
|
. , , , , , , .. , , , , , , .. , , , . , , , , .. , , , .
(object language), , (metalanguage), . , L1, L2 , . L1 , L2 . , , L1 L2, L1 ( L2). , , , . ; , , , . , ; , , , , ..
. . , , , . , , , , , , . , , (explication). , , , ; (explicandum), (explicatum). : , , , . , .
|
|
, , , . :
(1) ;
(2) ;
(3) ;
(4) .
, , , , , , .. , , , .. . , - , , . . , . .
.
(1) , , , , , .
(2) , , , , , .
(3) , , , , .
(4) , , .
, , , , , .. , , , , . , , , ; , , . : , , , , , , . , , , , , , .
. u , , , , ψ. u ( ud , ), , , , , ut , , , , ut.
, . ψ. : , , , Y, , Y . , Y , Y, , . , , , , Y, , , Y, , , Y, , Y .
|
|
. (utterance) , , , . , , , . , , , .. , . , , . , , , , , ; .
, , (meaningful) . . , , , . , (spoken utterance), ; , (written utterance), , ; , .. .
- -. . , , . - (sign- event), - (sign- design). , , , , .., ; .
1. s; s .
2. s signs; s .
(1) s (many letters s), (2) s (the letter s), , s; , s . (1) , , , ; . (2), , , , , , s , S. , , . - , , -, -, - .. (1), - , , -, -, - .. (2).
: , . , , , , , , - , .. . , : , , , ; . , , Rhein , Rhein; , (rot) , , , , .. . , , . , . , , , , . , , , . , , , () .
, , , , , , , . , , . , , , . , , (rules of formation) . , , , . , , , . , , . .
, , , . .
. , , , , . . , , (designation), .. , . , , , , , , , . , , , . , , , , .
. , , , . ; . , ; . , , , ; . . S S, , S S. ; .
, , . . . ( ) , , , , , .. , . , , , , .
, . , , : , . . , , . , , , . , igloo , , igloo () igloo . . , , , , . , ( ); , , . ; . , , , , . , , . , , . , , .
-. , .. . , , . . , , . . , , .
. (declarative sentences), , . . , .. , ( ), . , , ; , (), , , , ..
. , . . , , , .
- (individual constants),
- 1- (predicates of degree I)
- 2- (predicates of degree 2 and higher),
- (individuals),
- (properties)
- (relations).
, , (sentence), (proposition); . , (functors), (functions) ( : prod, temp; prod (m, n) m n, temp (x) x). , , , , (entity).
; . , , , . (.. ), - n, , , n + 1. I ( ) ; n (n - ) n - , .. , n .
... = Df - - -; : ... - - -. = Df º = . ... , - - - .
.
- , , (, R(, b), b = );
- , , ( ) (, ~(), Ú »);
- , (, ($ )()).
() (...) ($ ) (...) (l ) (... ...), (), ($ ) (l ) (operator) (, -, ); ... (operand), . , , (bound), , ; (free). (open), ; (closed). ( , ; , ). (expressional function); , , n, n. , , , , (sententional function).
, , , , , , , , .. . , , . (truth-tables). , . , , .. , , , , .
. ( ) , , , . . . , , , , , , . : . . , . , : Mon crayon est noir (A1). , A1 , : . , , . A1 ; , A1 , , , , . A1 , , A1, .. , , A1 .
- ? .
, . , , . . , , .
, . .
, , , , , . , , , , , .
, S1, : , 1, 2, 3, 1 2 ( ). S1 (). :
1. 1 (1) , .
2. 1 (2) , - .
3. 1 (3) , .
4. 2 (1) , .
5. 2 (2) , - .
6. 2 (3) , .
S1 S2, ; , , :
1. 1 .
2. 2 -.
3. 3 .
4. 1 .
5. 2 .
6. i (j) , j i (.. , , j, , i).
S1 S2 , (, ) . , , ; S1 , S2 .
, : , (rules of formation), (rules of designation) , , (rules of truth). S S; S; S. S S ; , . S , S, . , : 1 S S = Df A1 S. ( , , . . S; , . . , ).
. , ; . , , , , , , ; , . . , ; , ; .
. , , , .. . i , , , , , , i , , (yields) " " ... , , i .... D7-A.
D7-A. i ( ) Âj = Df , F , F i, Ãk Âj, ( ) Ãk, i.
, Âj . Ã1 . , - verum D. , D7-A, , , D7-A. F verum, Ã1, : Ã1 (verum) , . , D , D, D7-A, verum D .
D7-A ; , , , , , , , . S . , .
D7-. i ( ) S = Df i , F , F i, Ãk S , ( ) Ãk.
, S, , Der Mond ist rund. Ã2 . . Ã2 . , D2 һ , D2 S . D7-, F һ, , Ã2. Ã2 , . D2 һ, D2 , һ S.
, , , , , .. , , .
, (Ã1); Ã1 (Ã2); Ã1 (Ã3). Ã2 , Ã1; Ã2 , Ã1, , Ã1, . , Ã 3 ; , .
, . , D7-A, ( , 1919 ); , . 1926 . . . 1923 "" : , , , , ~ [172]. , D7- ( һ). , ; , , , . [Wahrheitsbegriff] .
. , , . . , . , .
. (the relation of designation), , . (signs) , ; (designata). , , , . , , : (entity), , . , , , , , , , , . , [173].
, , , S ? . , , S. , , S , , . - (, ), , . , u v S Dess (u, v) Des (u, v) , , .
, . , ( ) - , , , ; - , - . , .. . , () ; . -, ( ) . , , , . -, . . , . ; , , .
, , , . , , ( , ) (thing) (unit-class) (.. {}). , , . , . , , ( , ..) .
, S, , , , , ( ). , ; , (, Pferd, drei ), , (horse, three ). , Dess ( S), , . .
D12-B. pri S = Df pri (ui, uk), ui ( ) um S ( , pri) uk um , .
pri , , .. , , . , pri; , , . , , , pr, . , , .. uk . :
1. , ;
2. , -, , , .
, . , DesG ( , .. )