> > . .2
<<
>>
<< >>

( . ) , , ( ) ( ). . , , , , , , . , , , . . , () . , , . , , , . , 2 X 2 = 5 ( ), ( ).

. . , - , () , ( , , ) () . , , , . ., , . . , , , , , , , , . . , ( ) , , , , . . , .

- , , , , ., . . . ( ) ( ) () , , . . . . .

. , , . . . . (18481925), .-. . (18911970) . . ׸ (. 1903), ( , , ., ) , , () ( , , ), (). . . , , , . , , , , ( ); , - , - ; . .

, (., : , ). , , . ., , (., , , ). , , , , , . . . , , , , , (, ); () (. ). , -. : , , () () . . , - , , . - , , . . (18721971), . (. ), ( ), , . . , : .

. . (. 1902), . , , , , . . , (, , ) . , . , ( .) . . ( ).

. , , , , () , , - . , ( ). (), , , ; . . , , , (), , . ., , (, ) ( ). , , . . ø - . , , , (., ) . , ( ) , (. ), , . . . , ø , ; (, , ) ; , .

- , ( ), . ( ,

, ) ( ) , . , , , : . , , . ( , ) . . . ( , . ) ; . ( ) , . . , (, ). , , (, ) , , ( ) () . , , , , , . . . . . . . . - ( ), ( ) , ( ) . (, ) : . , . . . . 54 55. . , ., . .

, . (, , , . . .), , . . .

.: . . . .: . ., 1965; . ., . . . .: . ., 1967; Tarski A. Logic, semantics, metamathematics. Oxford, 1956; P. . . . ., 1959 [. . 357 360]; ׸ . . . ., . 1. ., 1960; Beth . W. Extension and intension. .: Logic and language. Dordrecht, 1962; ripke S. A. Semantical analysis of modal logic I. Normal propositional calculi. Zeitschrift fiir mathematische Logic und Griindlagen der Mathema-tik, 1963, B. 9. 1. . . , . . .

<< >>