'

&

:
,
, /
, /
/ ,
, ...

:
, ..
:
, ...
,
/ , ..
..:

: 1991, 1.
MDF, :

,

.

'
&

,
'
.
1999-2000 .
:

. ,
, , , , , .
, ,
. .

.
.
, , .
, , .
, 396, 153 41, , .

 * .

I:
9-13

1.

13

2.
3.
4.
5.
6.
7. ,

21-23
23-26

8.

II:

14-15
15-18
18-19
19-21

1. , ,
2. ,
3. ,
4.
5.
6.
7.
8.
9.

27-33
33-37
38-42
42-47
47-51
. 52-54
54-59
59-60
. 60-66

10.

66-69

11. , ,
12.

70-74

13. ,

74-77
77-82

82-86
86-92

14.
15. To

92-95
95-97

16.
17. I -
18. II -

III:

.97-100

1.

....101

2. -

102-105

3.

106-108
108-112

4.

112-115
115-119
119-120

5.
6.

7.
121-125
8.
9.
125-127

127-130
10.

IV:

1.

131-133

2. : -

133-140

3.
4.

140-146

5.
6.

: /

146-155
155-158
158-166

I.

1.

, .
,
. , ,
.
:
. ,
,
; ,
, , . .
.
. , , , .
, , -

, . (640-546 ..),
. ,
4-3 ..,
13 ,
. , , .
, .

,
, , ....
.
'
3 ..
. , , , , . , ,
.
' ,
, .
,
,
, .
. , :


, ,
.

 , , . , .
. ,
,
, .
, ,
. ,
, , ,

.

, , . . :


.

. ' , , .
, , .
, :
, , . , ,
,
. ,

 , .
: .
, . ,
, . , , . ,
, , .
, , . ,
,
.
,
,
, . .
,
. , .
' ,
() .
, .
, .
, , ( ).
,
, . '
, ,
.

, ,

.

2.
, (322 ..).
,
, .
: , , , , .
() , :
, , , , , , , , , .
, , .
.

.
. . ,
,
.
.

3.
,
: ;
.
- : ,
.
, , , . () , , , , , . ,
, . .

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

.
()

()


()

,,, :

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

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

4.
, . . ,
( ) . ,
-

 . , "" : , ,
.
.
,
, , .


.
, . , "" ' .


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

. , :


,
"" "".
, :
(1) -
-

(2) -
-

(3) -
-

(4) -
-

,

. ,
,
, ,
,
, . ,
" " (1), (2) (3) .
"" , :
() :

(1)
, .
(2) .
.
, .
()
(3)

, .
(4)

, .

()
(5)

, .
(6)

, .

, .

, " ", "" "" .
, ...
"", . ... "",
"".

.

5.
, . ,
.
.
,
. -

 , . , .
( ),
.

6.
,
, .
. ,
.
.
/ , ' "".
, , . " " , "-. "
.
, , , :
:
.
;

 :
; .
; ... ;
,
.

,
. -
( ).
, . .
, .

, 280 205 .. , 705 , . : () ,

( , ).
:
() ,
..., ..., "".

.
(
).
()

 "" , ""
.
, Frege () 19 . , .
"" " ". "",
.
"" - "" . ,
"" "-".
"" (, ), "" (, ) "" (, ) "" ( ). ( ).
() ,
. " "
(, .) -
. ,
, :
,
.
.

7.

,

. -

 ,
. 1
..,
. (129-199) ,

, .
.
, .
.
, .
. - ( 805-873). 9
10 , . ( , 980-1037), ,
, .
, , , .
11 12 .
( , 1126-1198),

.
.
11 15

 " ". ,
, ( 480-524),

.
Peter Abelard (
, 1079-1142), .
,
.
14 .
, 15 ,

. , , ,
Port Royal.

8.
, "" "" "", Formal Logic ( ) Augustus De Morgan ( ,
1806-1871) Mathematical Analysis of Logic ( ) George Boole ( , 1815-1864),
1847. . Gottfried Leibniz ( , 1646-1716)
Bernard Bolzano ( , 1781-1848).
, "characteristica
universalis", .
,
. ,

 . ,
.
19 , "",
"" "" . , ,
Georg
Cantor ( , 1845-1918) - " ".

, John Venn ( , 1834-1923), Charles Peirce (
, 1839-1914) Ernst Schroder ( , 1841-1902).

.
, , .
, . ,
" ".
.
Bertrand Russell ( , 18721970) Gottlob Frege ( , 1848-1925),
.
Begriffsschrift ()
,
. , .
,
, .
,
Alfred Whitehead ( , 1861-1947), -

 Principia Mathematica ( ), " ".

" " , .

Richard Dedekind ( , 1 8 3 1 - 1 9 1 6 ) ,
Giuseppe Peano ( , 1858-1932) David Hilbert
( , 1862-1943). , , ,
.. .
" ",
.

.
Leopold Lowenheim ( , 1878-1957), Thoralf
Skolem ( , 1887-1963), ( , 19011983), Alonzo Church ( , 1903-1995), Kurt Godel
( , 1906-1978), Stephen Kleene ( , 19091994).
, ,
" "
" ". 1963 Paul Cohen
( ) " " " "
.


, Willard Quine (
, 1908-), Donald Davidson ( ,
1917-), Michael Dummett ( , 1925-) Saul Kripke
( , 1940-).

 , ,
, " " " ", " ", " ", " " ..

II.

1. , ,

. ,
:
()
,

.
(, ) .
, .
.

. ,
:
1.
2. ;
3. !
4. , !
, -

 .
. ,
.
.
. ,
. , , , , .
.
,
. ,
. , ,

. ,
,
.

, , . ,
; .
. .
.
:
1.

2.

3.


. .

 .
.
, ,
.


. , ,
, , , . ,
, , , , , ,
.
, ' . . , ,
. , , , . ,
.
.
, .
, . .
.
, ,
.

 . ,
,
, .
, , . ,

, .
.

,
.

.
;
1. 100 10.
2. .
3. .
4. .
5. 2 .

, , ,
.
.
.
.

 , . ,
.
,
.
'
. ;

( ); ,
. ,
,
/ .
'
,
. ;
;
, . ,
. , ,
. , , :
. . 2 .
, .

1. , ;
2. ;
3. ;
4. ;


1.
.
i.. ;
ii. .
iii. 109 + 153 .
i. 9 .
. .
i. .
ii. !
2. , .
' : ,
. , , .... ( ' 55, 3-6). .
: .
, ; ;
3.
.
.
.
:
. :
. : .
.
:
4. , , .
, , .


. : : . ;
5. , , :
.
;

2. ,

.
: ;.
. . : .
. : , ,
. , .
, .
.
, , . .
. , . , ... ... .

 .
.

. , .
,
: - - . ;

(1) .

(2)
(3) ,
... ...
(1)
. (1) .
.
.
(2) (3) . (1) . .
(2) (3) . ,
. (1) , .
(2) (3) . , .
(1) .
(2) (3) . -

 . (1)
, .
:
1

0

(1) (2) (3) .

... ... .
, , ,
.
, .
.
, .. ,
.

. ,
.
, , ,
.

 .
.
.
,
. ... ..., 1, :
2
... ...

; , , .
,
, . ,
,
. ,
.
, , . ,
4.2=8 . ,
,
, . ,

8.2=16. .


.

 3
1

10

11

12

13

14

15

16

'

, 16 ,
. ,
16 . 3, ,
.

1. ;
2. .
3. ;

1.
.
i. .
ii.
iii. .
i. ,
. .
i. .
2.
.
i. ...
ii. ... ...

3. ,

.
, , ,
.
. . , , , .
. . , : ,,, , 1, 2,
3, . , .
. : , ,
(, ) . ,
, .
:

:
.

, , , .

,

 .

.
. , : .
,
.
.
. ,
. ,
: ... ... ,
.

. , , ,
, .
:

... ...
,
.
, .
, .
. ,
. ,
.
.

, .
. , ...
...
. ,
:
,
... ...



,

(-

, )
.

,

.



, . ,

, .

, .
,

,
.

. , ,
: , , , .
-

, ,
.
, , .
,
. . .
, , . '

. , ,
... ... .
.

.
,

, ,
... ...,
.

, . ,
. ,
, ,
.

Leibniz

 ,
, .

, .
,


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

4.


.
.
, :
. :
(1)


.
:
(2)
(3) ,
.

,
. , ,
.
.
(1)
,
-:
- ,
- .
(1).
(1) . (1) .
(2) (3) :
(2) (3) . (1)
. .
(2) (3) .
. , (1)
. ,
, .
(2) (3) . , .

, (1) . ,
, .
(2) (3) . . (1)
, .
.
4
0

(1) (2) (3) . ,

. ...... .
, , .
, ,
, . ,
, , ... ...

.

.

.
(
, :

 ,
).
, :
5

8 3.
... ..., , ... ..., ...... .

......, , 5. . '
,

( )
, ,
.
...... .
, :
. , :
' .

......,
. , , 5.
:

,

, :
,
.

, , ........ ;




, .

.


:

1. ; ;
2. ;
3.
.

1.
.
i.......,
iii. ... ...,

ii. ... ...,

i. ... ...,

. ... ...,
;

vi. ... ....

2. : 10 9 +153
;
3. .
,
. . .

. :
.
;

5.
. :
; :
(1) .
:
(2)
.

:
(3)
(4)
. . ,


. ( , .
, -

Bolzano

:
).
,
.
, (2)
.
:
. (3) (4)
(2), . , (2).
(2) . , (2) .
(3) (4) :
(3) (4) .
(2). , .
(3) (4) . . ,

, (2), .
(3) , (4) . . ,
(2)
, .
(3) (4) . .
(2) . .

 6
(3)

(4)

(2)

(2)
(3) (4) . ...... .
... ... .
, , . , ,
,
, .

7

2 3
.

.
:
(

,
).
.

 ,
(2), (1), (3)
(4). (2)
(3) (4) .
...... .
. :
.
.

. ......
. ,
,
. , ,
.

:
8

10 3.
"", ,
.

, , .
......, ,

 7.
. , ,
, . -

' :

1. ; ;
2. ;
3. ;

1. :
. ;
2. : 10 9 +153
;
3.
i.
iii.

ii.

i.

;
4. .
;
.
;

6.
, , ,
.
. . , , , : ..., ...,
..., ... . .
, .
.
:
(1)
:
(2) ,
. ,
.


.
.
(2) . (1)
, .
(2) .
(1)
, .
...
(2).
.
. (1)
(2).
... -


. ,
. '
, .


. ,

. , -

, :
,

:

.
.

,
...

1. ; ;
2. ;
3. .

1.
i.... ...
ii. ....

7.

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

(2) ,

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

: , . , . ,
..., ... . . ..., ....
-

 ..., ....
(1) (2) . (3).
,
.
(1) (2) .
,
. ,
. ,
, (3)
, . .
(1) . ,
.

(3). . ;


. ,
. . , :
1000 ,

,
, . , ; , ;
. ,
, , .

Boole

 .
, ..., ... .
: ( ).
(3) : ,
. , .
,
, , ,
.
(3)
,
,
(4)
. (4)
,
. (3) . (1), , . ,
(1),
(3), . , .
(1) (2) . .
, (4) , . (3) .
(1) (2) .
. (4)

 , . (3) .
.
10
(1)

(2) (3)

..., ...
: .... .... .
.



, . .
11

..., ...,
,
, .

 . , .
, , . , , , .
,
..., ....
: ... ..., ...,
..., ... ..., ...
...
' ,

. ,
, .
, .
.
.

, .

1. ;
;
2. ;
3. ;

1. ,
10 9 +153
;

2. : , . ;
3. : , . ;
4. : , . ;

8.

, . ... .... ,
, :

, . , ,
, , .

.
(
.


.
:

12

,
... ...,
... ..., ... ...,
... ... . ' . , , ,

1. ;
2. .

1. :
; :
. ;
2.
. :
. ;

9.
:
1.

2.
3.
4. ,

3 ... 1 4
.., ... 1 2. 1,
2, .
, 1 2, .
.
,
. , .

5.
.
:
6.
7.
8.
, . , 5:
9. ,
.
10. ,
.
( 10
,
, ).
9 :
:
,
( , ).

 10 :
:
,

.

, 8

. ,
6 .
De Morgan

9 10 :
6 - - 7 - -
8.
, ,

:
9 10
. , , ,
( ).
,

, 9,

9;


. , . , 9

:
, .
.
, 9
10

 9 10

.

. , 5
.





,
. 1 , 2, 3 ,...
.

.
1. .
2. 1 ,

3. 1 2 ,
.
4. 1,2,3 .

. 3 . ,
,

( ) .
, , . .
. -

 , , ,
.
. ,
9

10 .
.

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

,
.

.

. .
.
,
, . ,
. ,

. , , -

. ,

.
,
.

.
.
1 . ,
2
.

, 3
. (
).
, 3

. 2

. [

] . ,
3

,
. [

,

].

, 2
. (

.


, .

1. ;

2. ;
3. ;

1. :

i.

ii.

iii.

iv.

vi.

ii.

viii.

2. ,
;

10.

T
,
, ( )
.
.

,
.

. , , 6
, 7 8 ,
, 9 .
6,7 8
-

 10 .

9
10. , ,
,
. (
). , .
,
,
,
. ,
, ,
,
. .
.
.
.

,,,
. :




,,:

i
,,:

( -

)
(-

,
13

.

14

 6 8

. , , 10
9 , .

, .
. 10
9 .
,
.

1. ;
2.

i. ;
ii. ;
iii. ;

1. :

2. ;
i. , 7 ,
10 9 +153 .
ii.
.
iii. :
.

11.
, ,

, .

,
, . , ,
, , .
.
, .
.
.

: (
) . , snow .
,
/ .
.

,
: .
.


. ,
( ) .
, snow ,
, .

 ,
, , .


, .
.

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

, . .
,
. -

. : " "
; : , :
2+2=5
2 2=3
3=2
1 2=1.
, , .
, .

 ,
. , .

. ,
. .
. .
(1) .
(2) .
(3) .
'
. (2) (1) . , . ,
, ( ).
.
(1).
.
.
(1) . :
(1) ,
:
(1) ,
(1)
. .
(1), (1)
(1).
(1):

(1') .
,
:
( 1 " ) .

(1) (1),
(1"), (1),
(2) . (2) (1) (1). (1) (2). . (2)
(1) (1), , (1). (1) '

(2)
. , , : , .

Dedekind

(2) :
(2')

( 2 " ) :
.
, ( 2 " ) , (2),
(3) . (1) (1).
(1) (1). (1) (1). (3)
:
(3') .

(3'), (3),

1. ;
2. ;

1. :

2. :
i. , .
ii. Eiffel
.
iii. .
iv. .
. , .
vi. .
vii. .

12.

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

 . (1) :
(1) ,
,
(1) ,
,
(1) ,
.

(1). (1) (1)
(1) , (1),
. ,
.
(1) :
(1') . , .


(1')
,
. ( ). , ( 1 ' ) , (1),
. .
,
, , . (1),
. , , .
(1) , . ,
(1).
, (1)
. ' -

 ,
(1 ).
2. .
(2) . , ,
.
(2)
, ,
,
.
( (2) .
(2) ,
(2) ,
(2) ,
(2) .
(2) :

, : : . , (2) (2),
.
(2) :
,
. (2)
(2) (2).
(2).
:
(2') :
. ()
,
.
(2) (2) , ( ). (2)

 (2) . , (2) (2) (2) (2) (2) (2):

(2'') : . ()
,
.
, ( 2 " ) (2)

, ,
.

1. :
i. ,
. ,
.
ii.

.
iii. .

13. ,

:
:
(1) ,

(2) .
(2)
(1) . -

 (2) (1). . .
15

Frege

, .
,
, .

.

:
(3) ,
:
(4) ,
.
(4) (3) .
(4) (3) . .
.
16

 , .
,
, .
.
:
17

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

1. , , , .

 .
.
2. . ,
. . , .
3.
, . .
( ). ,
.

,

1, .

, .
18
1

De Morgan

De Morgan

.


.
. -

 : . . ( ,
).
.
.

19

.
,
, .
,
, , . .

,
.

1. ;
2. ;
3. ;
4. ;

1. :

2. :
i.
.

ii. ,
.
iii. ,

.
iv. ,

.
. ,
.
vi. ,

.
vii. , .
,
3. :
i. ,
.
ii. ,
.

14.
,
,
. , ( .)
,


. .
,
, . , ,
, . ;
, , , :
1. ,
2. ,
3. ,
4. .
, , . .
, ,
. ,
. , -

2


.

. . , :
: .
: .
: .
: .
: .
: .

 ,
, . ,
.
.
,
, . .
, , .
, ,
. .
I. ,
.

, .

11 ,
.
, .

.
:
.
.
.
, , . .

:
.
.
.


,
:

 I ,

. ,
. ,
. 1, 2,
3,..., -1, , , 1,
1, 1 ,..., v-1, . 1, 2, 3 ,..., -1, ,
.
, 1, 2, 3, ..., -1, , , .
1, 2, 3 ,..., -1 , , :
1, 2, 3, ..., -1 ,
1, 2, 3, ..., -1 ,
1, 2, 3 ,..., -1,
1, 2, 3, ..., -1,
:

1. ;
2. ;

Peano

1. ;
i. ,
.
.
, .
.
.
ii. ,
, .
,
, .
, .
, , .
iii.

.

, .

.
,
.

15.

 I II
.

.
20
1

()

()

()

(
. ).

. ,

, 1
3, 4, 5. , . , ,
.
, , I II, :
.
, .
:
,
.
1, 2, 3, ...-1, , 1, 2,

3, ...-1, , . ' , , .
,
. ,
,
.
:
, .
.
, .

2
.

21
1

()

()

()

1 3

, 1. -

, .
1. Modus Ponens: ,
. :
.
2. Modus Tollens: , . :

.
Venn

3. : , ,
,

, .
:

.
4. :
, . : .
.
22
Modus Ponens

Modus Tollens

 3 .
.
, .
, ,
:

.

, (
).
20 21 1 , 2
3.
:
.

.
. :
1. (
)
2.
3. .
,


,
. : 1, 2, 3, ...-1,
,
.
, .

. (
). , . , , .

1. ;
2. ;
3. Modus Ponens.

1. :

2. .
i. , .
, .
, , ,
, .

 .
, '
.

16.

1, 2, 3 ,..., -1, , .
1, 2, 3 ,..., -1, ,
, , 1, 2, 3 ,..., -1, , :
1, 2, 3, , -1, ,

1, 2, 3, ..., -1,
,
,
1, 2, 3, ..., -1, , .
1, 2, 3 ..., -1, ,
1, 2, 3, ..., -1, .
, ,
1, 2, 3, ..., -1, , 1, 2, 3, ...,
-1, , .

. ,
, 22,
.

:
1.
.
2. ,
3.
.


,
'

. . :
:

1. .
2. .
3. .
4. .

5. .
6. .
7. .
8. .

9. .
10. .
11. .
12. .

13. .
14. .
15. .
16. .

17. .
18. .
19. .
20. .

:
()
() ,
,
.

 .
, .
.
.
.

. . :
, . . . .
:
, . . .
.
:

1. ,

2.

.
3.
.
4. ( 2, 3
)

4. (2,3 )

5. ( 1, 4 Modus

5. (1,4 Modus Ponens)

Ponens )
.

() . ,
.
.
.

1. ;
2. , ' ;

1. iii 1
14 .

17. *
.


. , , , -

 :
1. .
2.
.

:
, . . ,
, .
: , , .
. , , .
-

1. ,

.
2.
3. ( )
.
4. ( 1, 3 Modus
Ponens ) .

3. (
.)

5. ( 2, 4 -

5. (2,4,

.

. , ,
,
. -

. ( , 8
18).
. (
, 7 18).

1. ;

1. ii 1
14 .

18. II *

, , ,
.




. (,
).

, ,
.
.

 .
( )
.

:
2000 ,
. ,
. 2000 .
: ,
2000 , . . 2000 .

1.

2000 ,
.
2.

.
3. ( ) 2000 .

3. [

. (
).
].

4. ( 1, 3 Modus
Ponens )
.
5. ( 2 )

.

5. (2)

 ()
, ,
()
. ( 4 5). ,
.
.
, -

Modus Ponens.
Whitehead

. (

De Morgan , 6

18).
( ). ( ).

1. ;


1. i 1
14 .

 3 III.

1.

, -,
. . , 0 1 ( , .) . .
,
" " ""
. ,

.


. .

 .
(1) ,
(2) ,
(3) ,
(4)
. ,
, , (, , o .)
, (, ), ()
(
) . . .
, , . .
,
.
,
:

, ,
. , ,
" ", ...
. ,
, , : , , , .

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

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

, ,
, . :
1
2
3

:
() ,
()
() ,
.


.
. (
' , ).
(1), (2), (3) (4)
.

.
Russell

( )
-
,, - . .
.

(),
: . .
()
, . , ()
.
().
.
(),
: . , '
, ,
Eiffel, Eiffel .
, () .
, : .

 . (), (),
() , .
:
1, 2, 3,
"", "" "" ,
()
,
, .
:

, .
2,
(2), .

1.
;

1. :

i.

ii.

iii.

iv. .

3.

, , . ,
, :
(1) .
.
. :
(2)
.
(2)
(1), : . . ,


. ( , ,
).
(1)
(2)
, ,
.
.
. . , . , -

 : ... ....
, , : .
"" "",
: .
.
. ,
. ,
, ( ) .
,
. , (
) . ,
() ,
... ... ()..., .
"", "
"" "
". , :
... ......, . "". "", ""
:
(3) .
(3),
, ,
, "", "" ""
. (3)
(,,). , ,
, , ,,, ( ): (,,).
. ,


. , ,

. . ()
. ,
.

,
. , . (
).
, .
1,2, - , (1,2, . ) .

1. ;

1. :
i. ,
ii. ,
iii. ,
i. .

4.
:
, -

,
,
(1) .

(2) , .
( ) .
.

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

, (2)

: , , , , , , (-,-).
, . :
(3) .

. ""
( ),

. , ""
, , " " , (3)




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

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



(4)
(5) ,
(6)
.
,
(1), (2) (3), , .
. , .
(4) (5)
. (6) ,
"" .
.
(1), (2) (3)
. ,
,
.

. , ,
, .
(2)
,
.

, .

Tarski

1. ;
2. ;

1. ,
i. .
ii. .
iii. .
i. .

5.

, () ( 1 ,
2, ) . .
,
.
() ( 1 , 2 , ... ).
,
,

.
. ,

,
. ,
,

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

(2) ,
(2)
,
.
(3) , ,

(3') , .

(4)

(5): .

.
"" . ,
(1) ,
, . " " " "
, (4) (5) () () . , (3)

" " (3')

, (1)

, -

. , (3') (1),

() ( 1 , 2 ,
... ). ,



(1),
.
. 1, .
.
(6) .

(7) .
,
(6)

1,
.

(8)

(9) ,
.

, (8), .
.
.


(10)

(11) ,
.
:

1. :
i. . ii.
.
iii.
.

i.

6.

(1)
(2)
(3) Eiffel.
,
:
(4) ,
.
(5) ,
.
(6) , Eiffel.

" ". , .

 ... .... , ,
" " "". ,
,
. ,
"", " " "
Eiffel". ...
... ,
, (4), (5) (6)
(4), (5) (6)
:
, ...
,

, .
' .
.

, .
. ,
()

(,,)

.
, ,
, . .


. ,

 . , .
(,),
, - - .

.
... ...,

(7)

(8) ,
.

(9)

(10)

. , , .
' :
() / , ()
.
;

 . '

.
0,1,2,3,
... ... ...
....
(7)
(7') .
(8)
(8') ,
.
(9)
(9') .
(10)
(10')

(7') , (8')
.
(i) (ii)
, .

. ,
(9') (10') .


(11)

(12) ,
.

,
.

1. :
i. .
ii. .
iii. .
i. .

, ,
. , , ,

. -

,
-. ,
: (), (,), (), () . , . -. , ,
. ,
.
1, 2, 3, ... 1, 2, ... ...
.
1. - , (1,2...) () .

2. , ,

.
3. 1, 2, ,

4. 1, ,
1,
1, .
5.
.
3 .

,
,

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

( 2 4),
(

4),

- -
3) .
,

.

1.

8.
*
, , , .
.
,
(1) , .
(2)
(3) , .
,
, . , , , , ,
-.

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

.
.

. ,

 .
(1)
(1'): ,

(1"):
, .
,

. ( 1 " )
,
Skolem

.
. 0

.
.



. ,
. (5), (1),
(2). "" .

(): , .

(): , .
" "
" ".
(2) "". ()

 ,
().

(): .
, (2)
( 2 " ) : , ,
, , .
,

.
,

, (). ()
, .

,

,

(2'),
(2), .
:


.
. ,
,
,
, . , (2)

.
(3). (3) (3'):
.


,
(): .
.
. " " . ,
(). ,
() , ( ).

(): , ( ).
. : ... ... ..., .
"" , ""
"" . ""

, ,
, .

()

()

()

, ,
(3'), (3),

1. :

i.

ii. . .
iii. . (Benzamin
Franklin)
iv. . (Benzamin
Franklin)
.
.
i. .

9.


*

.
1. , , 18%.
... : , ... : B, ... 18%: .
: , ,
18%.
2. ,
... : , ... : , ... : .
: , , .
3. 4 .
... : , ... 4: , ...
: .
: ,
4, .

4. , , .
... : , ... : , ... : .
: :
, , .
5.
... :.
: : .
6. .
7. .
... : , ... : .
: :
.
8. .
: :
.
9. .
: : .
10. .
11. .
: :
.
12. .
:
.


.
-

1. :
i. .
.

ii. .
.
, .

10.
*
,
.
.

; ""; ;
; ; ;
. '
"". ,


.
:
(6): (),

 , ,

, , ,.
.
1

II

, ,
, , ,
, ,
. ,

. ,
,

, , ,

. ,
, ,
'
' .

... .

...
.

...
.

...
.

...
.

...
.

...
....
" " " ).
(1)

.
(2)

..
...

,
0,1,2,3,4,5,6,7,8,9.

2
4.
(1)
(2)
. (3)

 . (3)
-

. (4)
.

(4) -

(5) 2

. (5)

(6) 4 .

(6) .
(1)
. (2) .
(3) , . (
;)

. :
1. ( ),

2.
()

()
.

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

 , .
( )
.

.

. .
.

. ,
. ,

. .
.

.

IV.

1.

1.1.

. ,
,
, , .
.
, : ; ,
.
,
. , .

 . , ,
, "
, . - , -
. , .

.
. ,
, .
, .
'
, .
, .
, , , , .
. ,
. ,
,
.
.
, . ,
. . , .

1.2.


.

.
, .
.

.


.

, .

-
- .

2. :
-

2.1.
,

 .
. ,
. :
.
. : . ,
.
,
. , , , .
, .

. ,
,

"". , . ""
, .

. .
. ;
. .
. .
. .

. .
. .

:
. .
. , .
. .
.
;

2.2.
.

. . .
. , ,
.
.
.

.
. :
.
.

Lowenheim

 .
[] [] , .
[], [].
[],
[].

. ,
,
. , ,
.
,
,
. : "", "", "() ", "", "" . , "", "",
"'" . . ,
, . ,
,
.

.
:
. .
.
.
. ,

 . " ". :
. .
, .
" ".
:
. .
, .
, ; ' ,
. , , - - .
. , , .

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

137

 . . ,
.
. , .
.
.
.
.

. .
.
1. : .
()
.
() .
()
.
2. : .
() . ()
.
()

3. : .

() .
() .
()
.
4. : ,
.
() .
() , .
()
, .

2.3

.
"" ( ) ,
. .
. ,

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

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

.
.
. , .
. .
. , .
. .

- -
- - . .

3.7.

. , , .
, -

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

,,, . , , .
.
,
" ". B " " "". "
" "".

, .
:
) , .
) , .
:
) , .
) .
, :
) , .
) .

1)
2) ,
.

 "" "", ""

"".
,
, .
.
,
.

Hilbert

.
. .
. .
. .

3.2
.


. :
. .
()

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


.
. ,


. ,
, , : .

2
,
.

3.3

, , . ,
. ,

.
. .
:
. . ().
. . ()
. . ()

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

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

, .

3.4.
( )

. , . . :
,
, . ,
, -

 .
. , .
[] :

:
,
[],

[].

: , ,
[].
:

,
:

, , -

 .
.
.
. , ,
.
.
.
.
.
.

.
.

. ,
. ,

4.

4.1.

, ,

. ;
, . -

 :

. , ,
.
: ,
.
.
. ,

. ,


. ,
.
, ,
.

.

.
. , , ,
.
.
,
.
, .
, . , , .
.
, (

Godel

 )
. :

. . . . . ,
. , . : 500
10.000 ,

, , 70% . .
, . .
, ,

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

4.2.


. :

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

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

.

, :

() -
() -
() -
() -

4.3

.
;,

.
, ' .
,
.
.
( ).

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

.
. ,
' .
,
, . , . :

 .

.

. .
, , .
- . ,
:
. '
.
.
. .
,
' . , ,
, . , , , , ,
,
.
, . .

, .
.

() .
()
.
() .

4.4

. ,
. , , , .
():



, . "", "" ""
( )
,
. ,
. - - .
,
.
. :


(Modus Ponens, Modus Tollens, , ,
.) , Modus Ponens
Modus Tollens:
Modus Ponens
( )

,
()
()

:

, .
.
.
Modus Tollens
,
( ) ()
()

, .
.
.
(, modus ponens, modus
tollens, .) . :

, , , .
.
.

.

, . ,

Quine

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

.

.
. ' , , , . , - - , ,
,
. ,

.

4
;
,
.
() , .
. , ,
() , . . .
() , . .
.
() , . . ,
() .
. .

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

5.

.

.
.
. , .
,

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

5.1.
! ,

 :.
; , .
.
, , , .
. . ,
(
, .)
,
.
(
, ) .
. ,

. ,
, .
, . , ,
. ,
,
. ,

,
.
1

;
() .
() .

() .
() ,
() .

5.2.
.

. , ,
, .
, , .
. ; , ,
, . . ,
. ,

( ), .

,
,,:
() ,
() .
()
() , ,
, .
: .
; , ,
.
' ;


. .. ., . ,
,
, ' . , , , . ,
.
. , .

, . , , ,, . (,
, 1874, III, . 34-40).

() .
() .
() .
() .
() .
() .

6.

.
.

6.1.

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

.
() .
.
.

.
() , .
() .
;

() .

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

6.2.

.
.
()
. , .

modus ponens.
: . , :
.

.
:
[]. [1], [ 2]
[3].

. ,
[4]: . ,
. 2 3 -

 [5].
1 [6]. 2 4
[7]. 6+5+7, [8]: .
, ,
. , :

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

() .

. ,
.
, , .
() '
, , , . , "
",

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

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

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

2
:
() .
.
.
() ,

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

Cohen

 . , , .
()
.

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

6.3
,
, . . :
;. ,
,
. , , , ;
.
, , . . , , ,
,
, -

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

.
. ;
; ; .

. .

.

 3
: () . () , () .

4

:
() . () .

5

, .

1
1. i , ii
, iii
, i , ,
i ii .
2. , .
.
3.
.
. .
4. .
.
5. .
2

1. ( ), ii. ... .... iii. ...

..., iv. ... ..., . ... ..., vi. ...

....
2. i. " ..." , ii. ... ....

4
1. . ... ....
2. .
3.
. .

5
1. . .
2. .
3. i .
4. .
.

1. , .
,, ii.

.

7
1.
2.

. .
3.
. .
4. .

8
1. .
.
2. . .
9

1. i. ii. iii. iv. v. vi. vii.

viii. .
2. ,

. , .. ,
.

10

2.i. ii. iii. .

11

iii. ( : , :
iv. v. vi, vii . .
12

 13

2.
, .
3. ,
.

14

15

1. . .
2. i.

, ii.

2
1. : ... / , : ... , :
... .

: , : . i. () ii. () iii. () iv. ().

3
1. : ... / ..., : ... ... ...,
... ..., : , : , : :
, : , : , : i. (,) ii. (,) iii.
(,,) iv. B (,,).

4
1. : ... ,

7
1. i, iii, i.
8

IV

1. ,,.
2. : : ... ...
: : ... , ... , ...
: : , ...
: ... .
3. .
: : ... .
: ... .
:
4.1 = , 2 =,3 = , , 4 = , .
5. = , = , = , = .

 3
1.
.
.
2. , .

.
3. []
.
, , , ..., :

1. ) .
)
.
) .
2. .
3. ) .
) : ,
.
) :
.
4. ) ) . ,
, :
) , .

 . ,
.
) , . .
.
) , . . ,
) .
. , ,
) . .
, .
) . .
, .
5

1. , ,
. ) . )
,
.
2. .
.
.
6

1. :
)
.
) 1.
. 2.

.
)
.
2. ) , )
. ) ""
, )

. ) , ) . ,
, ) ""
" "
.
3.
.
.
.
4. , ' .
5. .
.

1
: !
2+2=5, ,
,
( , 2+2=5, ).
2

: : , , , , , .
: p1, p2 , 3, 4 B, ..., p11, p12
. '
p1-p12 ,
. p1-p12, , -

 p7, p12, .
; , ,
p3,p4 , ,
! .
.
; .
p1, p2, . ,
p3, p4 . p3 , p2 , p4. 4 ,
. .
.
. p9, p10, .
, p3, p4 p7, p8, . ,
. ,
(
), .
.

3
p1,... p20 , .., ,
p1-p4, p 5 - p 8 , p 9 - p 1 2 , p13-p16, p17-p20
, ,
, . , .
P13-P16 ; ,
P13, 1 6 .
p9-p12 ; ,
p12 p17-p20 , , ,
.

 :
) p1-p4
) p5-p8
) p17-p20 .

. ,
:

, .
-

. :
, .
,
. (
, ,
).

4
p1,..., p9 ( ) , . ,
.
p1-p3 , p4, p6, p8 ,
,
, . p7-p9 ,
p2 , (
).

 p4-p6 , p1-p3 p7-p9

.
5

), . ) / . /
. : , / .
. , . . .
. , . .
. , ) . .
6

p1, , p2
, p3 p4,
p5,p6 , p7, p8, p9 p10, p11, p12
.

p1-p3, p4-p6,p7-p9,p10-p12 (
).
) : p1, p4, p7, p10
, p2, p5, p11 p3, p6, p9, p12 .
) p1-p3,

p4-p6, p7-p9
p10-p12 .
) p1-p3
p4-p6.
) p4, p7
.
, ) p7, p10 .
p1, ..., p12
), ) p1 p4, p7 . ,
), p10 . ), p11, p12
, :
1)p11 , p12
2)p11
,
p12

3)p 1 1 , p12
( ), . p11
p12 . ), p2, p5, p8, p11 ) p2, p5 . p2, p5
, , ( ) p11, .
p2, p5 , p8 .
, ,
.
7

p1 , p2
p3
, p4 ,
p5 , p6
, p7 p8
.
, :

p1 . , ) p3 .
, 2), p2 . -

 , p4 p7 .
), ) p5, p8 ,
2) ( ).
. .
8

p1, p2, p3 ,
, . ,

), p1 p2 p3 .
p2 , .
, p1 .
p2, p3
. ) , p3 , p2 , .
, , p3, . , ) p1, .
, ),
, p j
, .
.

p1

 A' 1999 - : 66.000 - . B. 2146/15 - 6 - 9 9

: . - : . ...