Epaminondas Xenopoulos - Epistimologia tis Logikis.pdf
-
Upload
kostas-gikas -
Category
Documents
-
view
34 -
download
7
Transcript of Epaminondas Xenopoulos - Epistimologia tis Logikis.pdf
-
OO OO
OO
-
. OOO
1998
O O
O O
-
ISBN 960-90845-0-8
OO OO.. ((00667711)) 8811000099 -- 8811558844OO -- OO
DTP - - : . 6469980-: : . 6453631
: & O.. 80 . 8328441
-
O
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9-13
O O
. O O1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15-182. O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .18-223. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .23-254. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .26-31
4.1. . . . . . . . .31-334.2. . . . . . . . . . . . . . . . . .33-39
5. . . . . . . . . . . . . . . . . . . . . . . . . . .39-44
. O O O 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .45
1.1. : . . . . . . . . . . . . .45-481.2. - . . . . . . . . . . . . . . . . . . . . . . .48-501.3. - . . . . . . . . . . . . . . . .50-54
2. O . . . . . . . . . . . . . . . . . . . . . . . . . .55-64
III. O O O 1. -- . . . . . . . . . . . . . . . . . . . . . . . .65-752. (-) . . . . . . . . . . . . . .75
2.1. O - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .752.1.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .75-812.1.2. O . .81-86
3. O - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .86-934. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .93-99
-
O O
IV. O O O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .101-1041. - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .104-105
1.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .105-1061.1.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .106-1161.1.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . .116-1181.1.3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .118-1191.1.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .120-121
1.2. . . . . . . . . . . . . . . . . . . . . . . . .121-1251.3. . . . . . . . . . . . . . . . . . . .125-126
2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .126-1423. - Leibniz . . . . . . . . . . . . . . . .143
3.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .143-1453.2.
XVII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .145-1504. Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .150-1545. Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . . .154-156
5.1. E. Kant (1724-1804) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1566. - . . . . . . . . . . . . . . . . . . . . . . . . .156-157
6.1. G. Boole (1815-1864) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .157-1586.2. Gottlob Frege (1848-1925) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .158-1646.3. D. Hilbert (1862-1943) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .164-1706.4. G. Peano (1858-1932) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .170-1716.5. B. Russell (1872-1970) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .171-1726.6. . . . . . . . . . . . . . . . . . . . . . .172-176
7. - . . . . . . . . . . . . . . . . . . . . . . . . . .1767.1. Hegel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .176-1817.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1827.3. O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .182-184
7.3.1. O (modals) . . . . . . . . . . . . . . . . . . . . . . . . . . . .184-1877.3.2. O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .187-1887.3.3. O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .188
7.3.3.4. O Suzsko . . . . . . . . . . . . . . . . . . . . . . . . . .188-1927.3.3.5. L. Rogowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .192-193
6 EOO O
-
7.3.3.6. D. Dubarle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193-1987.3.3.7. . . . . . . . . . . . . . . . . . . . . . . . .198-199
O O O NOVUM ORGANUM
V. OO O O OO-O1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .201-204
1.1. O . . . . . . . . . . . . . . . . . . . . . . . . . . .204-2061.2. O - . . . . . . . . . . . . . . . . . . . . .206-2071.3. O - - . . . . . . . . . . . . . . . .207
2. S [(L,B,)+S] . . . . . . . .2072.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .207-2082.2. , :
S S Y(L,,) . . . . . . . . . . .208-2132.2.1. S . . . . . . . . . . . . . . . . . . . . . . . . .214-2162.2.2. S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .216-217
3. U Hegel V . . .217-2194. U Hegel S Marx . . . . . . . . . . . . . . . . . . . .219-2265. S, S (L,B,) . . . . . .226-227
VI. OO OOO O- O
1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .229-2332. - . . . . . . . . . . . . . . . . .233
2.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .233-2362.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .236-240
2.2.1. S+S (L,B,) . . . . . . . . . . .240-2452.2.2. S, S f() .245-247
3. . . . . . . . . . . . . . . . . . . . . . . . . . . . .2473.1. . . . . . . . . . . . . . . . .247-2543.2. - . . . . . . . . . . .254-2563.3. . . . . . . . . . .256-2583.4. O . . . . . . . . . . . . . . . . . . . . . . . . .258-263
7
-
4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263-2645. O . . . . . . . . . . . . . . . . .265-2706. O- . . . . . . . .270-2767. O . . . . . . . . . . . . . . . . . . . . . . . .276-278
7.1. O - . . . . . .278-2807.2. O - . . . . .280-281
7.2.1. - . . . . . . . . . . . . . . . . . . . .281-2827.2.2. O . .2827.2.3. . . . . . . . . . .282-283
8. O - . . . . . . . . . . . . . . . . . . . . . .2848.1. O . . . . . . . . . . . . . . . . . . . . . .285-2878.2. . . . . . . . . . . . . . . . . .288-290
8.2.1. , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .290-292
8.2.2. O . . . . . . . . . . . . . . . . . . . . .292-2948.3. . . .294-2958.4.
; . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .296-298
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .299-317 O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .319
8 EOO O
-
;;
- ,
-
.
: ,
, , -
.
-
, , -
, .
-
--
, , -
.
, .
, -
(
), --
. .
: ,
, ,
, -
.
, -
, - -
-
,
, -
: (), --
,
- (,
, ..).
, ,
-
, . -
, -
,
, ,
,
, ,
. : (=), -
-
: , -, -
, , -
, -
: . -
: .
, ,
.
--
: -
.
,
-
, ( , ) -
. -
, -
.
, , -
,
10 EOO O
-
.
-
, , :
. , ,
, -
, ,
: . - ,
: , .
, -
, -
,
,
.
, --
( ), -
( )
, ,
, -
,
.
, , ,
, --
, -
, , . Marx,
1, --
. -
, -
- , -
.
,
: ) -
- , -
11
1. . Karl Marx, Les manuscrits Mathematiques, ed. Economika, IFJR, p. 36.
-
,
. ) -
)
,
. -
:
-
, .
-
, , ,
- ,
-
- , , ,
.
,
, -
-
Principia Mathematica. :
Lukasiewicz, , (Lewis ..), -
A. Prior, ,
-
S. Rogowski, R. Suszco, S. Jaskowski, G. Gunther ..,
.
:
. .
. .
. .
V. .
V. -.
VI. - -
.
,
, -
, -
12 EOO O
-
.
,
.
,
- , -
.
,
, -
,
, .
( - ).
-
, - -
, , Kant, ,
,
Descartes, Spinoza, Leibniz Kant. - -
, ,
Boole, Morgan, Frege, Hilbert, Russell, , ,
.., .
, * : -
,
,
,
,
- ,
, - -
, ,
.
13
* : VII.
- , .
-
.
11..
,
, : , -
, ,
. : , , -
,
.
,
-
. , -
, .
,
. ,
,
. , ,
: -
- 1,
-
. ,
, , ,
, : .
:
, L. Brunschvicg, -
.
-
,
-
2.
-
, , -
, ,
, ,
-
: ().
,
,
() , -
.
( )
(.), (.).
, -
( , Kant ) -
Descartes, -
, , -
3.
XVI .
, , -
:
. -
, -
, -
-
. -
XVI, XVII - XVIII ., Bacon Descartes
Leibniz Kant, :
, 4.
, Novum Organum
,
.
:
16 O I O
-
1. ,
, -
-
.
, Descartes Kant, -
,
(. -
. , 1977, 38).
,
, Leibniz,
Ars Ratiocinator. Leibniz
Dissertatio de arte combinatoria (1666),
, -
, ,
:
- (
, Gerbarts, ., . 24). Leibniz:
- , L. Couturat,
,
-
5.
Leibniz
, -
.
2. , Hegel ,
-
, - -
, (, ,
)
-
: Marx-Engels-Lenine. ,
, Hegel,
, -
. Marx
Engels, -
, Engels, -
1. H 17
-
,
. , ,
: .
E , ,
. K ,
-
, .
22.. OO
T - Novum Organum,
A A6.
, Descartes,
7, Spinoza, O
8 Leibniz, , Ars Combinatoria9. M
; O A. Tarski :
10.
B, -
, ,
. ,
,
, -
, :
,
, -
. K -
, ,
.
H , ,
: -,
18 O I O
-
- , -
. H - Lenine: -
,
11, ,
. K -
J. Piaget, ,
Lenine, a priori ,
Kant, ,
,
12.
T , , : -
,
. K
Hegel, -
, .
, J. Praff,
, 1812, :
,
Hegel,
, ,
,
, -
, 13.
H
,
Morgan, Boole Frege, Hilbert .., -
Principia Matematica Russel-Whitehead. H ,
Hegel
,
( -
), -
2. O 19
-
( -
), , -
( )
14.
, , 30 , -
. K
,
, 0 1,
(0,,,,...n), -
,
,
, , .
H : -
, ,
W. Quine, : , : , -
-
15, :
,
, A.
Badiou16.
, . H -
. . H ,
, -
.
H , -
,
. A -
(
: ), -
,
17. ,
20 O I O
-
- ,
, -
18,
.
H -
, J. Likatsievizc, -
(modals) (plurivalantes) .. -
, -
, ,
. O -
-
. O R. Suszco, S. Rogowski, W. Jaskowski, V.
Grienewski, T V. Filcorn, A. Prior ,
J. Piaget, D. Dubarle, L. Apostel .., G. Gunther .., -
, -
. -
, , -
, , -
MMM (Manuscrits Mathematiques de Marx, . Economica,
1985), . K
- -
, . T -
( )
, -
,
(
). A
: P. Novikov (Introduction a la
logique mathematique, Dunod, 1964), Yu. Manin (A course in Mathematical
logic, Springer-Verlag, New York, Heidelberg, Berlin, 1984)
M. A -
Dialektika ( F. Conseth). K -
, 19.
Althusser , -
60 , ,
, .
2. O 21
-
A , , ,
, I E,
J. Piaget ( . , 1980), 1957 -
, , -
. O -
. K ,
, -
-
. Piaget, -
: , -
. K -
: T,
-T
S, T -T,
20. E :
( )
,
. H , : Piaget Greniewski, -
, -
, , -
. K ,
(Essai de logique operatoire) , -
: ( -
), : 21.
,
( A ) --
, :
, - ,
-
. K , -
, ,
. ,
--
, .
22 O I O
-
33.. TT
A ( -
) ,
, -
22. Y , -
Engels, -
,
E,
, -
. E,
, , -
, . -
, XIX , ,
23, -
-
, . E
: ,
-
, ( )
XVII XVIII . : -
, ,
, -
24. H
-
. ,
-
,
,
-
, -
, -
. E
, , -
, Engels ... -
-
25.
3. 23
-
, -
26,
, -
. I, - ,
(-
, ..),
.
K -
, (Godel, Church) (Tarski) -
27. K , , -
, , . O -
- ,
,
, . K ,
- , -
, : .
, -
-
,
. , A. Einstein : Comment je vois le monde
(1934, . 157-158),
, , :
. E
, -
, . O -
,
-
, . K -
, .
, ,
, -
. K
- , -
, , -
(
24 O I O
-
) . K
, Lenine, :
... . H , -
28, , , -
, -
, -, - -
,
. -
, -, -
( ),
, , -
. K
- -
, , , ,
, . O -
, , in re, ,
, ,
. T , , -
- ,
, -
.
,
, -
, ,
. K
, , , -
, , .
K ,
. X
, (
-
), ,
,
,
, 29.
3. 25
-
44.. HH
, -
,
Novum Organum 30, -
; K
Lenine Marx, -
( ), K -
31 . E , ;
A . -,
, , , ,
- -
. K , -
32, :
- - -
, ,
, ,
33. O , ( ) -
, ,
G. Frege34. -
: , ;.
B, -
. M
35. T,
: -
36, -
,
.
, , Lenine, -
,
. K -
- ,
-
26 O I O
-
. A, Marx
Engels37, , -
.
, -
Marx (K,
: )
(
, . F. Engels, Anti-Duhring,
Sociales . 167-168)38. K , P. Lafargue
Marx : ,
39.
,
Marx (
, . MMM, . 7)
,
.
, ,
, ,
-
( ,
operation) .
, ,
, , : -
, ,
, A. Alcouffe (MMM, . 13-14), , ,
, 1920,
, ,
.
M , -
, ,
. K -
4. 27
-
, -
, ,
39. A
, , -
,
.
, , -
,
. -
, ,
, ,
, , -
, , :
, .
: -
,
, A A . K -
,
40. O -
( ), -
41,
, -
-
. O Engels A-N ... -
,
... T
, -
...42. H , , -
P. Kopnine, ,
-
43. , -
, . M
: -
, , ,
, 44. K V. Stoliarov
28 O I O
-
: ... -
, ( ,
, ). B-
: -
(operations) , -
45.
, -
. H :
( (A=A)
- , -
, (A=A A
) - -
). K ,
, ,
. K . -
-, ,
, . -
, ,
, , -,
, , -
,
-
. -
, . O Lenine
Cahiers Philosophiques (. 162): ... Hegel -
( , -
) .
A,
- , -
( A) ,
,
, ,
, . K
4. 29
-
(, , ),
- .
M , ,
, ,
,
. -
: (processus)
, , ( )
. E
:
,
, -
. N, . O ,
, , -
, -
-
,
A ( E.XII). -
, , -
, , -
, ,
. K
,
. , -
, -
, -
. -
, ,
.
, ,
, -
Hegel
30 O I O
-
(G. Gunther, D. Dubarle, .),
, 46. K :
Filcorn, Suszco, Korok .., -
, -
(, , ..). O -
,
. K A. Prior
(1955) ,
(Lukasiewicz 1920, Heyting 1930, Lewis-Langford 1932, Gentzen
1934, Quine 1947, Fitch 1952, Kleene 1952 , Cury
Feys 1958 , Beth 1959
..).
M -
, , ,
, ,
Kurt Godel -
, , -
- . M -
,
(0) (1) ,
, -
. T, ,
, : -
, t0 ( ,
Hegel) t1, t2.....tn
(0, , , , .....n) , .
4.1. T
-
, ,
, -
,
( -
, ) , ,
, -
4. 31
-
. ,
, , ,
.
, ,
47, , ,
,
. B
, ,
, Carnap , -
, -
(Morris), .
-
,
. K , -
, ,
, , -
,
.
A , , -
. (, , -
, ..) , -
( ) ,
, . ,
,
. A,
, 48. K
, -
a priori, . T ,
,
, . K
, -
, ,
- -, -
: ..... () .....
32 O I O
-
, -
.
4.2. H
T , ,
: -
- , --
,
.
, ,
, -
, , -
;
A . -
, -
, , ,
. K :
,
,
( -
) ; -
, ,
. -
, ,
, , -
- , -
, -
.
, , , -
,
,
: . -
Marx-Engels,
4. 33
-
. O Engels (. 181-
182) : : -
, (A, Hegel) .. -
: .
O , ,
, -
49.
, E
50.
K ,
.
K , :
, ( -
) A ,
. K , -
, , -
, , ,
Novum Organum . K :
) H , , , -
, . A, -
, , ,
, ,
51.
) H ,
. -
, , -
-
.
) H K, , : -
, -
, -
(, , ..), ,
, , -
, -
, , -
34 O I O
-
, 52.
) E, ,
,
, : 1. T
. 2. T
. 3. T
, -
. H ,
F. Bacon,
. , , -
, Hegel
17 18 . 4. -
-
5. ,
-
-
, , -
.
H -
, -
. K
, , , .
, ,
Lenine,
, : -
, , , 53.
E Lenine : -
( ), -
( ),
. K
-, . E -
,
Marx
K -
, (. MMM,
4. 35
-
), Lenine -
.
T
(. Cahiers Philosohpiques, . 162), , -
, , -
. - -
, -
, . -
, - -
, .
, 54,
,
. -
,
. K : ) O -
( -
, ) ,
f(x) , ,
, . ) , -
, -
, ;
A f(x), -
f x f
x ,
. -
-, f x, A
B . ) E
. K -
. : A
( , - )
B, -
,
- f(=) x(= -
), A B. , -
36 O I O
-
. T ,
, . A -
, -
: x (= ) -
. :
- ;
M G. Frege, , -
; N, -
- ,
- . A
-
, ,
, -
; T ,
(. K. Marx, H A -
, . 104 ..). B, , -
,
-
, :
, ,
. -
, -
-
.
M , , -
,
. M , -
55 , -
, -
, Leibniz, Ars Combinatoria
Universalis.
A ,
, .
4. 37
-
K -
, , -
( ), -
, , .
K , -
, ,
.
K ,
,
. N -
, ,
( -
). A
, ,
, - -
(--), -
, ( , ,
), -
, ,
,
,
.
E: ,
,
- , ,
, : -
56.
, -
: , ,
,
, ,
,
57.
K , , -
38 O I O
-
, - -
( ..) -
, ,
, a priori, A, -
.
55.. TT
T - , -
. K
, , -
. A, -
, ,
, -
, , :
. K , -
. E -
, -
, .
H
. ,
, -
, . -
-
, Heisenberg,
58. Lenine
: T Hegel Marx,
, -
(Oeuvres, . 30, . 138).
H
, , , -
5. 39
-
. ( ) ,
, . -
, -
, , -
-
,
. , -
:
. , ,
, : )
) ,
.
Kopnine : H , -
, 59.
E , , -
,
Marx, -
,
, , -
. , , -
60, -
, ,
, -
.
, J. Piaget V. Greniewski61, -
, V. Filkorn,
,
62.
(---
, ..), -
. -
Grienewski: ... -
: -
. ; - ,
.
- -
40 O I O
-
, , 63. ,
, , , -
-
,
64.
,
,
-
, . -
W. Jaskowski : Un calcul des propositions pour les systems
contradictoires, A. Prior : Time and modality, -
. L. Rogowski
: Directional Logic and Hegels thesis on the contradiction of change,
L.
Apostel65, -
. R. Suszco,
,
.
, -
-
, :
.
, .
, -
. Lenine :
,
( ) 66. , -
, -
, , -
. , Piaget,
, -
.
:
5. 41
-
;...67. - -
,
.
- -
,
, -
-
. - ,
, -
. Mach ,
Frege, Hilbert, Russell, Carnap, Wittgenstein .., -
(
)
.
,
, , -
- ,
- , -
. -
, -
, ,
,
,
.
A , -
-
. K ,
: , , ..,
, ,
, -
. K : -
, , .. E
, : -
, , ,
42 O I O
-
,
,
. K -
, .
, ,
,
,
- , -
.
68. K , o L. Couturat,
Leibniz :
H , -
( )
. -
, Boole,
, 69.
E
, , -
. A
,
. T , -
, , -
,
, , -
.
H :
Leibniz , Hegel
Coutourat, . M
Boole , ,
, ; A -
5. 43
-
, -
, -
. K , -
-
, -
.
44 O I O
-
.
11..
1.1. T :
, - ,
, , ,
. K , E
,
, -
,
,
, -
. (, H .).
H , , -
(
) . T
,
. E, , -
: -. T -
, , , -
. , -
. T
, -
, , . A-
, -
, E .
M , , ,
, (globalisme-syngretisme)
-
-. T
. T ,
, -
, ,
, , -
. I : A=A
-: A-A=0 (p.p=0), -
.
E ,
-
-. T : -
: A.A=S (p.p=1). M , ,
.
E , ,
. E, , --
, -
- ,
. , -
,
1.
H , , ,
, XIX
, , , ,
. , -
, ,
, -
2. K, -
, -
- ,
, ,
,
.
H -
. A - , -
46 O O O
-
,
. H
Lenine3. H
D. Dubarle: H -
4. H
, , -
, ,
5.
H , - ,
, , -
, . H , -
(p=p) - (p.p=0), -
(p.p=S), , ,
. ,
: ,
, , : . , -
, ,
. -
. E, , -,
, :
, -
, , ,
-
, .
E ( --
), ,
-
, -
.
, ,
. -
, . , -
- .
, ,
, ,
.
1. H 47
-
, -
. K , ,
- , -
, ,
, .
, A,
, -
, .
1.2. T-
T , , -
, . A .
H A ,
. E
,
. , A -
, ,
, ,
: .
E , ,
.
, -
, -
.
,
. , -
.
, -
, -
, -
.
T, ,
, . K
,
48 O O O
-
,
, , ..
, , essentia, -
. ,
, -
E,
. M -
, . , .., ,
:
( ) . -
, ,
. T, , -
( , essentia) -
, . T -
, ,
-
, .
A ,
; -
, : -
. K
: , -
, ,
H.
H -
,
, I, .
- , ,
, -
. H , -
, , -
,
.
O
, .
1. H 49
-
,
. , , .. -
, , -
, . A -
,
: I.
: N
E. O , ,
I, , -
.
H --
, , A, -
. N
: -
, , ,
6.
1.3. T - 7
A, , -
- , ,
, ,
, : --
. H :
. H -
, . ,
, -
. T ,
, -
, , . -
,
, , , ,
.
50 O O O
-
, -
:
1. T . , -
, ,
. H
,
,
, .
, , -
. T -
E. K ,
, -
.
2. T .
,
. H
,
- . H -
, ,
: , , , -
. H ,
. H -
,
, -
, -
, . -
, -
, , , ,
.
3. T . A ,
, -
.
,
. ,
1. H 51
-
, , ,
: . K
omnis determinatio est negatio Spinoza. , -
, . H -
:
( ) -
, ,
, ,
, -
, , . T , -
, -
,
, , , -
.
H , . T ,
, -
, ,
, -
.
H , ,
.
, ,
. A
, , -
-
. A , Hegel,
, :
,
. ,
. H ,
,
- , . H -
,
, , , , -
. A, A, -
52 O O O
-
, : A = A. -
, : A=A
A .
4. T . H
, , ,
, -
, ,
. A,
,
, -
, , .. .., -
, ,
. -
, ,
, -
. ,
. X -
.
A
.
,
.
, -
,
-
, . H -
, -
, .
E . M : -
.. K. H
, .
,
. K
1. H 53
-
.
, . A :
E, , A, E, N, Spinoza, o Leibniz, o
Hegel Marx , -
,
, .
H -
: ..
, Hegel
. ,
, -
, . , -
, Fichte ,
Hegel, , -
, , -
.
, , -
. K
.
, . ,
, ,
. O
. Marx
, ,
.
, , -
, ,
. -
,
, ,
. H ,
-
.
54 O O O
-
22.. OO 8
E ,
,
. O ,
,
. A, ,
, -
: A .
A . T
, , ,
, -
. H -
. A
, ,
,
,
. ,
, . H
-
. O -
, ,
, .
O ,
, , -
, , . K
, , -
. A ,
- , -
.
O
,
( ..), -
, , , .
2. O 55
-
H
, -
: , -
, , , , .. A,
: -
, -
, ,
: .
A -
. T, , , -
.
H
. K
-
. B, -
-
, ,
,
.
H -
, , -
, . O -
,
-
. -
: , . A -
: -
-
, .
-
.
E
-
, . H
-
56 O O O
-
, -
. A,
,
-, ,
, . E, ,
,
, , ,
.
H , , -
,
.
, -
. , -
-
- . A,
, ,
, -
, Hegel, Marx-Engels, -
.
A- , : ,
,
-
. K
-:
1. H . H -
. O
-
.
,
. O : ,
. O H
,
. ,
, -
2. O 57
-
. -
, H,
. H
I , -
: = , = -
, = , -
. -
,
, -
, , ,
-
, , -
.
H , -
,
-
. A , -
, -
,
. -
. K - -
. :
, -
, : A=A,
, -
,
-
, ,
. , , -
,
. T E N : ,
, . A-
, ,
.
58 O O O
-
O , ,
. -
17 , , -
,
. A , -
- ,
Marx . O Lametrie, -
,
. -
,
: . O
, -
. E -
,
, .
E
. -
,
. A, ,
, : . ,
17 , -
, ,
. A
, -
: ..
, . O -
, . M
, --
, -
, ,
,
.
2. O 59
-
H , , -
, -
. -
: . : --
. H ,
. T 17
. A- , -
. -
.
2. O , -
,
. X
. O Hegel
: (reflexion),
,
, . H -
,
, , -
- . K Hegel
, .
E Hegel : , -
,
, , : -
. H Hegel,
. :
,
: .
H , -
, . H -
.
, Hegel ,
60 O O O
-
: ; , :
, -
, .; K : I . A
: . A -
.
, ,
,
, . H
,
, : -
.
3. H , , -
. A : -
-
, -
-
. , ,
, -
, ,
.
T
:
. H -
, -
,
.
. H , , -
, ,
. ,
, : -
, .
. H . -
,
,
. H
2. O 61
-
, .
H , -
. M -
:
, ,
.
H ,
. H -
,
-
. , -
, , -
. B
, .
H . H
.
. O
, -
-
. H -
.
E : M -
, -
,
A;
A , -
, , -
-
.
E . H
. H -
(
62 O O O
-
) --
, . H H
. A
, :
. E E
, -
, -
.
. ,
, . ,
, -, ,
, -
, , -
.
. A : ,
a priori , ,
, , -
( ), ,
, , , , -
-
: ... ...,
- (
- ), -
: -.
. T
, ,
, -
. A , -
, .
K ,
, ,
,
, ,
.
2. O 63
-
. ,
: E
N.
, -
, ,
Marx-Engels,
Lenine , .
64 O O O
-
.
11.. ----
K II , ,
, , ,
, : ) T -
,
. ) T ,
: -,
) T , - -
( , - ),
, , -
(, , , .). K -
, , -
, , -
, , .
, , , -
:
) ,
,
) ,
)
) - , -
: -
.
K , -
, -
.
A, , -
, : :
-
: -
-. K , , -
- -
( -
,
) -
. E -
, , -
, -
, ,
, -
,
, . A -,
, -
,
, -
, , , -
,
, , , -
. E :
,
. , , , -
, .
1 -
-
:
1. T ,
,
. E -
, ,
( ). E , -
, ,
- . T -
2, -
.
66 O O O
-
2. T ,
. T A-
,
-
, ,
, ,
I. , Piaget: ... -
-
(operations) 3.
3. T ( ),
: , -
Suszco, E- ( ), -
. O -
. T
, ,
: E N (), -
, -
: I,
. B
( )
.
H -
. E-, -
: T
(p) -
(q) -
, -
(r), : , -
, , , , ., -
, : (p),
-
, 4,
Boole. , (q) ( r) -
, : , , , -
, .,
, 5,
1. -- 67
-
: . T
( ),
-
,
,
, . K ,
(), : --
, - .
p q -
r, , -.
M ,
(--) -
. K
.
E ,
- , -
-processus, - -
- ( ), -
, ,
r , , -
. B -
. A -
, . A
Engels, Marx: ... dx/dy
process x y,
x y -
, ... -
x x, ,
x x,
x,
, / -
6. O Engels -
(, .),
,
: M ,
(
68 O O O
-
, . ., . .E, 1984 . 246) :
-
: : (.., . 249).
, -
Descartes , -
-
, , Engels
(.., . 236). E : Engels -
L. Couturat, M. Vygodski,
Engels , A
, -
A. L. Couturat , De l Infini
Mathematique (. Blanchard., (1896) 1973), . xxi: H A a
priori
...
, , . E
Engels. Couturat , ,
, ,
: -
. ,
, , . O Engels
,
, : ...
, -
: , -
, ,
(.., . 237). K Vygodski
A , (constants)
A (processus)
( Aide - Memoire de Mathematiques
Superieures, M, 1975, . 249).
B, -
7 Marx-Engels
(: , ..8 -
F. Engels, -
: ,
1. -- 69
-
, (.., . 249),
, A -
, .
I , ,
,
. K -
Engels,
( -
- )
( - ),
. E
, ,
:
, , ..
A Descartes Leibniz
, : ,
( A
A Descartes ),
.
O -
, -
, -
. -
-
, -
, ,
. K , -
.
K ,
, . -
, - -
- , . O ,
, , -
, 9,
.
70 O O O
-
A ,
,
, -
- -
, -
.
H
A, - ,
- ,
. O -
, ,
,
.
H -
r, -
. K -
, -
, , -
,
,
, . H -
-,
- ,
, . -
, .. v=s/t,
, -
, , , -
.
H ,
. T
, -
, , ,
Engels ;
Engels, ,
1. -- 71
-
-
; , -
A,
, -
; (. Althusser :
Science et dialectique, . C.N.R.S., . 85-99):
- ; T -
;
E ; E
:
. O
: Leibniz, -
, -
- , .
,
-
. T -
, , -
-
.
Marx-Engels
( Kant
Laplace,
). O Marx K -
18 19
,
: ...
a priori (Capital, . Sociales, I, . 79),
Engels, :
, (Lettres sur le Capital, . Sociales, 1954, .
96). K , -
, , -
(.., . 18). K :
--
. A ,
, , -
72 O O O
-
, , -
, (A, A, Leibniz ..)
, , -
.
Engels, -
-
, , , :
.
Hegel, (i) dx ; -
dx quantum dx, dx
(In diesem
Begriff des unedlichen ist das Quantum wahrhaff zu einem qualitativen Dasein
vollendet (W.L., . Meiner, . 254, .1)). , Engels,
,
( ,
, -
, .. ) : , , -
., ,
, - .
B ,
A, . T
: - -
. X A
, -
.
H
r, -
. , , -
10 ,
. A, , -
, (normative),
,
-
.
A -
, : --
1. -- 73
-
( , ),
- , -
, :
11.
M - , -
, ,
( - ) .
, ,
,
, ( -
, ,
, ),
. ,
, : , ;
: ,
, -
,
.
( --
) , , -
,
, -
Y.-A., -
: , , . H -
, -, -
- . E
.
, ,
: ,
,
- (-) -
,
: E-. H .
, -
,
. O
74 O O O
-
: , , -
, -
-
.
22.. ((--))
K II - ( ) -
, , -
. T
: , ,
J.
Piaget. -
-
.
2.1. O -
2.1.1. H
H
,
, . -
, -
, Marx, -
.
.
E . ,
, -
, -
, -
. K ,
,
2. (-) 75
-
, -
. K ,
Y.-A.
, , ,
. K
-
, -
. A ,
, . H -
, ,
, -
. , , -
, , -
: ;. H
,
. ,
-
, - (operations)
, J. Ladriere: O
, -
12.
,
, : -
, , -
(
,
), .
O - , (operations),
J. Piaget, (
) , 13. -
, Lenine, -
. K -
, -,
-
,
76 O O O
-
. A, -
, --
14 , -
, -
: , --
. -
, .
H , ,
- ,
. H ,
, - ,
. K
:
. , -
:
,
, , .,
,
. A, -
: -
- ,
, ,
-
, , ., ,
, 15.
-
,
. O -
, 16 (operations),
,
. E:
) A - ,
, (
) a priori
, ,
2. (-) 77
-
, : -
(. )
, , - -
, -
, .
) O , , -
,
, - -
: , -
,
17.
K , ,
, ,
:
. K
. , ,
,
, - -
. T ,
,
,
, -
- .
E :
- .
, -
, ,
( , .),
, -
( , , -
.). A , ,
- , -
, ( Pavlov) -
. ,
78 O O O
-
, ,
, .
M - ,
Kant a priori -
, , -
,
,
. , -
. A: -
,
, .,
-
: -
. A- : ,
-, . M , -
, , -
,
, ( -
) .
A :
-
. : -
. A ,
,
. -
, , - ,
, A -
, : .
,
, , -
Kant. K
, ,
, , -
. K E. Beth,
2. (-) 79
-
E , -
18. T P.
Bernays, : ,
, 19. A -
,
, -
20.
,
-
(decidabilite), --
, ,
. T
,
... K. Godel (
-), A. Church ( ), Kleene (-
),
A. Tarski ( , -
), (J. Myhill J. Ladriere) -
,
. K Ladriere: ..
, , -
(operations) , , -
, -
21.
, -
: . - ,
, .
A , -
, (
) . A
,
. A- , -
, -
,
80 O O O
-
- -
. , A-
,
(AcB) (R) F(,).
; B,
A, :
;
: -
-. , -
-
, ,
,
:
-
22. , ,
, , -
,
, .
A .
2.1.2. O
J. Piaget,
, -
( ), -
- (operatoire) -
. :
,
: . K -
- (operationelle) -
, ,
- . A
23:
) A . H -
. ,
- ,
2. (-) 81
-
.., ,
. , ( -
) , ,
-
. A -
, -
, : ,
H. Poincare, -
(-) , -
( ),
: , -
. E:
-
, ,
, 24. -
,
. -
,
.., ( -
) ,
( ).
, , ,
, , -
: .
) - (2-7 ). -
.
(
, -, ,
) -
, ,
. H -
: ,
82 O O O
-
. ,
( ) -
-
. T -
, ..: A=, A=B B= A....,
. K
, ,
. K -
, ,
(groupement), J.-B. Grize26. ,
2. (-) 83
-
, , :
, (
, ,
, -
), , ,
, ,
. -
Boole --
27,
, .
) B - (12
). H
. T -
, -
,
- ,
- (,
.). T -
,
, - . -
, Piaget: ,
( -
)
, , , -
,
28. E, , ,
, :
. H -
, .., :
A,B,,..., , -
( -
) ,
,
.
84 O O O
-
E: ,
, ( -
)
, -
, - . A- -
- , -
, -
( ,
, : , ,
.), , Boole
. --
,
-
(, , .)29.
E, , ,
(
) -
-, : (p q), (pvq), (p.q)
. ,
. A -
, 30:
1. T (inversion) N:
N (p q)=-(p q) N=RC
2. T (reciprocite) R:
R (q p)= (p q) R=NC
3. T (correlativite) C:
C (p q)= - (q p) C=RN
4. T (indentite) I:
I (p q) = (p q) I=NRC
-
, ,
,
, . .. -
2. (-) 85
-
( )
, ,
. E , (
) -
. T , ,
.
T - , , -
Bourbaki, -
. , : ,
, a priori , -
:
31. , -
, -
,
: ( ) ,
, , -
...32, -
Bourbaki33.
33.. OO --
, -
-
. K
, -
,
, B. Russel, ,
. T -
, ,
,
, , ,
34,
.
86 O O O
-
-
,
A-
18 . E , -
.
(
) , , A=A,
, , -
, . A, -
, , -
.
-
-
(
A), ,
, ,
. O -
H,
: , :
, -
, A-
A .
E ,
, -
, (
)
,
, E ,
. ,
, ,
, : (H-
--A--. A-
: Abelard, Albert le Grand, Maitre Eckhart, Nicolas de Cuse, Boehme,
Hegel ).
3. O - 87
-
E
35,
A
E.
O A36, -
, , N X, ,
, . -
, , ,
, ,
, A .
N X, -
, : ,
. , -
, -
,
, .
, :
, -
. E
, -
,
, .
H A
18 , ,
, Galilei, K, N, ..37.
A
,
Bacon, Descartes, Spinoza, Leibniz .., - -
. K :
, ,
,
, Koyre: , E-
, , , -
, , , 38.
, 18 , -
88 O O O
-
, -
, - -
( , ,
, ), -
, , -
. ,
- , , -
, .,
. E -
,
,
,
, , -
. K ,
. H ,
,
,
, -
.
E -
( , , , ) -
, , -
, -
, , , , -
, , ,
.
A Leibniz, Kant , -
,
,
,
:
. O (, , ,
, .) -
, . A -
3. O - 89
-
- -
, , -
, , . E -
, -
, ,
, . E , -
Engels, -
, . K -
, , -
, -
.
.
,
, .
, - -
. N ,
Hegel ( ), , -
-
,
- .
H ,
INRC, , -
, . -
- , -
, ,
. K : , ,
,
-
,
, -
.
X , -
, Darwin, K -
.
Kant - Laplace, :
90 O O O
-
- ,
Hegel Marx-Engels. K -
,
, , E
J. Piaget ( K E).
G. Nowinski (. LCS, . 826 ..),
,
, , ,
. T , Nowinski,
Piaget:
) T
) T
) T
) T INRC,
(N), (R )
(C). E T -
-T, : T,
-T , S,
, T, -T,
, -. K -T,
INRC. A , -
-
, : , ,
, --
.
O Nowinski Marx
Piaget, ,
Piaget : , Marx -
. A,
, -
.
, ,
,
, : , -
, ( -
) , -
3. O - 91
-
. H , , -
, -
, . K , ,
Novum Organum,
A
( ) .
: -
, -
, , ,
,
. K - ,
-: . Y-
,
, --
, , -
, , -
, -
, . O
, , ,
-, , ,
-
, :
.
- , -
,
,
( -
) -
, - . K -
, ,
, imago mundi. T , -
,
, ,
:
92 O O O
-
)
, , ,
-
, .
)
.
. A -
. K -
,
.
) ,
, , ,
, :
, -
, .
H
, , -
, -
.
44.. HH
T - ,
, - ,
,
: --
. T, , -
, -
- .
E, -
-
, , ,
4. 93
-
: -
, -
, (
) .
-
, -
. A-
, - ,
,
,
.
T , ,
, -
,
,
. E , ,
, . E, -
,
,
,
, . M : -
- ,
, -
, - -
, . T
.
E , -
. H
.
- , ,
:
.
94 O O O
-
,
, , -
,
,
-
.
, , -
: , -
, -
,
.
, ,
, , -
-
.
. H
, -
( ) -
,
,
, Hegel. H ,
, , -
, ,
, .
, ,
,
. , ,
-
, , -
(EBF)
, (-
)
, , .
4. 95
-
, , ,
, -
, . K -
- -
,
-
, ,
, ,
, .
T , , -
.
. - -
,
, A. A, -
- -
, -
, -
-, :
(t0, t1, t2, t3. . . . tv)
E , , . -
. E -
. K
Lenine, : ,
,
, ,
Hegel, -
, . K -
: , -
. , , -
, -
, ,
( ) , -
.
96 O O O
-
E,
- ,
. O -
, ,
,
,
, :
. T , -
,
- -
.
M 39; A
, 16 -
,
-
,
;
K ,
Engels (. , . 183) -
,
( ) -
:
. N
(substantia)
, -
.
, ,
Hegel Engels ( .
M), , Leibniz
Newton, ,
, ;
I, , Marx-Engels -
: -
, ; A
M. Vygodski, : Aide-Memoire de Mathematiques Superieures
4. 97
-
(1975, . 249) : H -
... -
... (
...) ... , ,
... ...
.
Engels : y=f(x) ... x -
x ,
x. -
x, -
/
(. MMM, Engels a Marx 18-8-1881). Marx,
: ... (..
Premiere ebauche, . 115, . .),
. :
; M -
, , ;
. ,
Marx, : 0/0,
dy/dx,
x, - x x y, - y y
y/x -
dy/dx=. B 0/0,
,
. -
, , -
, K (Le Capitale, ed.
Sociales, 1975, livre III, t. 6, p. 56), Marx : H -
.
O : -
, Marx , : --
, 0/0
, -
98 O O O
-
, , Marx,
-
-
-
.
, , ,
:
, -
, H-
, , ,
, : -
-.
4. 99
-
V.
H ,
,
.
-
,
. K
-
( , --
) : E-
, - -
, -
,
, -, -
.
(. I, II), -
: --
. E ,
: ) -
,
, E
,
,
., , )
, -, --
. K
-
,
,
, -
. O H
(. 30 124) , ,
, , -
.
, ,
. H
,
: - . E ,
, , , -
. 1, -
,
. -
(
), ( )
: , , -
. K Spinoza
: ; T ,
O : , -
(. 8), , ,
: -, . K -
, :
, .
, , ,
,
, ,
. K
, -
, , -
, , ,
. T Hegel,
, -2. ,
102 O O O
-
, ,
, -
-
, 3. K -
, - ,
, --
. H
: .
, -
,
,
, ,
,
, -
. , , -
, -
- , -
. H , -
17
. K
, Hegel.
, ,
,
-
. A-,
,
, , , .. I, -
, , -
,
G. Gunther (1964), S. Rogowski (1964),
R. Suszco (1957), .., . I, -
D. Dubarle -
Hegel ( ).
103
-
O
,
, : - -
.
11.. --
E , A. -
(. . 183b 184a-b, 34-36)
( A ),
,
-
.
A -
O A, K-
, H, , , -
, A
, .
, - ,
A
( ),
. A,
, ,
, O, , A .., -
, . , -
, , -
, , .
H ,
,
, ,
(.11). , -
, ,
,
104 O O O
-
,
, . H ,
R.Blanche, 4. -
, -
, .
, X, : A -
, . H
, (, , -
), , -
:
5.
A,
, a priori, -
, ,
A, (I, A, X .), -
.
O , , -
. ,
, -
.
T ,
A :
. H , , -
E, .
. H ().
. H A, -
. A .
1.1. H
H ,
( ) -
1. - 105
-
( A, T. 100a 18), ,
6,
, -
.
B,
: -
7 , -
, :
, - ,
-
. H
, -
.
E H -
: - -
- H. , ,
. , ,
. O
. A .
1.1.1. H E
O -
,
. K :
(. 3) : . O -
O -O . , :
O ( ... O) -
: ( ..), -.
H Hegel -
, 8. O -
. . 2 :
- . 8
,
106 O O O
-
9, ,
. M , , . K
, .
.
-O ,
, . ,
, ..,
, , .
K , , , -
I10.
: -
, Barbara:
E
K
K (y) (x) F(x) F(y)
(p.q) . p q
K
K (y) (x)-F(x) -F(y)
(p.q) . -p -q
K
K (y) (x) F(y) F(x)
(p.q) . q p
K
K (y) (x)-F(y) -F(x)
(p.q) . -q -p
(: y =
=
F = )
E , :
(y) (x) -F(x) F(y)
(y) (x) F(x) -F(y)
(y) (x) F(y) F(x)
(y) (x) -F(y) -F(x)
1. - 107
-
(T O -O -
V (=) -
( 0) ).
, , -
, . A
. T . E
. , -
,
11. K O ,
()12, , ,
, . A ,
O. A, : ,
, , , H
,
, , , 13.
A
, -
,
. , , -
,
A A. , -
J. Tricot, :
14, -
. E, , D. Dubarle , -
, , ,
,
: 15.
M : O , -O
: ,
. :
: A = A, (-
), -O
. -
, .
108 O O O
-
E, . O, :
, , - ( ),
. K O , -
( , )
-. O,
, : .
T, . H (= )
,
(, ), ,
-O, , 16.
E, : ,
(, ), -
. K : ) : O- -O -
, , -
, O,
, , . ..: :
P = 1
-P = 1
E, : -P, (-
), ,
, -
, , -
P ,
, , ,
, , .
, , , ,
, -
, , -
, , L. Wittgenstein.
f(x), - : P = 1 -
, 1 (.. ) ,
, (p + -p = 0),
(p + -p = 1), -
- p ,
1. - 109
-
, , ,
. :
; -, ,
-, ,
, . H
:
V
/ \
= / \ - =
/ \
: = 1 / \ -1 =
/ \
: . . . . . . . = 2 / \ -2 = . . . . . . .
...
O
,
, ,
, . A -
: - (. 8, 15) -
.
E, , ,
-
-O 17.
T 18 Z
, , -
ad absurdum, A-
(Diog. VIII, 57 IX,25). T -
( ), -
, , -
19. A, -
, - -
, (. . .127a ..),
J. Tricot (.., . 22 240).
110 O O O
-
(. . .128c) , -
-
. A , , :
) T O ) T O -
20.
M , -
( G. Vlastos21) -
. M :
, Z -
, (), , -
, -
. H : A ,
:
. A ,
-
, 22. A
, -
. -
,
-
, .
: , -
. K -
, ,
: A -A
: A -A. B -
. B -
, (-p.-p)
(p.p) (p.-p)
(-p.p), :
(p.p) v (p.-p) v (-p.p) v (-p.-p)
M Z , ,
, , O
, ,
1. - 111
-
T23, J. Burnet24, K. -
..25. (
, -
), , -
H -
. N, , -
E: 26.
M ,
, , -
. K
,
. O A, Z, -
, , -
.
. H
, O -
. B A Z
,
27. Z,
:
28.
,
E ( Z) -
, -
29. , , Z ,
. A E N,
-
, , -
. K -
,
. E () -
, -
112 O O O
-
, , . B-
, , ,
, ( -O, -
).
O -
E. H ,
( ),
, , -
, , -
.
E, Z , ,
, , ,
, . -
E ,
. A , -
. B (
K). X-
, . H
: (A. . 239b, 14)
, , ,
, ,
. H
. A , ,
, .
O : , . , -
, . , (
), 30.
M :
1.
2. ( ) ,
( )
( ) ( )
3.
H . T
1. - 113
-
(1) -
, , ,
. Z , :
, -
, . K -
:
. E
, ,
, , -
(p v -p).
H (2) :
2. () K ( )
( ),
() K , (
).
() K , -
.
A- -, (), ()
()
3. K .
A ,
, Z.
H (2), -
, -
, (1).
( p = 1 ,
q = 1 , r = 1 ):
1. () p() v -p()
2. ( ) () p() q()
( ) () -p() r()
( ) () q() r()
3. () p() -p()
114 O O O
-
:
(1), ()p() :
() () ()
() [ (p v -p) .p ] [ (p q) . (q r ) . (p r ) ] p
A (1) ,
()-p(), :
() () ()
() [ (p v -p) . -p ] [ ( -p -q) . ( -p r ) . (q r ) ] -p
A () ()
( ) () () -
() (
(p r) (r p), :
() [ (p v -p) .p ] [ (p q) . (q r ) . ( r p) ] p
() () ()
() [ (p v -p) . -p ] [ ( -p -q) . ( -q r ) . ( r -q) ] -p
:
() () ,
() ,
() ,
() () ,
() ,
() ,
E Z (), (1) -
, -
, (1),
(1): (
- )
: , :
(p r).(-p r)
1. - 115
-
A , , ,
, ,
, -
,
.
O Z
. , () () -
-
. , -
, -, - (indecidabilite)
. M .
O -
,
(.. Diels) :
.
,
. M :
E N, :
( ). O -
.
1.1.2. H H
E, -
, O , -
5 .X.
H, -
, -
. -
, . H
, -
, : , , A-
..
, H,
, ,
116 O O O
-
, : , ..
H , , - -
,
- ,
: , , , ,
. : -
- ,
.
H .
, -
. E -
, : , :
-
(x) f(x) ( x) f(x)
, -
,
- ,
.
T,
, O , -
O, (....-
..., . 1). H
O, . O
, -
, . K
: , -
:
(. 8).
O H -
: -
. (T. 28a). T A-
. -
, -
(. . , 2, 252a 22 A. . A,2, 71b 9 M. ,1,
1013a 17).
1. - 117
-
A- , ratium -
,
Leibniz (principium reddendae rationis sufficientis determinantis) (. Nouvaux
Essais, IV, 1, 7, 1 . . B, , 1932, . 88), -
(nihil est sine ratione). O Leibniz
,
. O () -
, -
.
O M. Heidegger : Der Satz vom Grund (H
), H: E
(XIII, . 232 238) -
. O , , principium, , causa,
E : ( =
) . H ,
Heidegger, , ,
(.. . 54).
1.1.3. H
-
Z. M
,
,
, . K
,
. -
, , -
, . T,
, -
. E , -
. K ,
,
, , ,
. A -
. -
118 O O O
-
, , (. IX 50)
- ,
. : -
(. 6) (. 6).
, , -
, -
: -
.... T : , ,
, A .. (. Diels, 1972, . 253 ..).
O
, , A
(A. . E. 4, 165b 23). E : ,
, , ,
.. (. . B, , . 204 .., ). A
:
)
( )
)
A
A
( )
, , , -
( -
,
, , ) -
T A
, ,
. K Windelband: H
, -
-
, , 31.
1. - 119
-
1.1.4. H
O
,
H. H , ,
, ( ,
): , -
(. VI, 510c). O
, .
-
, , -
, ,
, -
: .
O A ,
, (M. I,
6, 987b) . O ,
-
, -
. , : ) O ,
( -), , -
,
.. , ,
- ( -
, , . VI, 510b). ) O , -
, -
. H , ,
-
, , : I
(
, . VII, 533c). E
(. VI . H. N. I, 2, 1095a, 32 -
. 111c-d ).
E -
, , , -
120 O O O
-
: I,
: -
; K , A,
, () ,
,
:
,
32.
O , : ,
, , , . O A
, ,
. O
(. 476a
.., 596a . 237a ..) -
.
1.2. H
-
, -
Enriques33,
. E -
. A , ,
-
. , , -
,
, ,
.
, ,
A. E: -
, ,
: , -
1. - 121
-
, (groupement). K -
, . O
:
/ \ / \ / \
+=, +=, += ...
, :
A ( B ( ( ..., , ,
: A > B > > ... -
. B, , -
.
, J.Piaget, , 34,
, -
:
: 1, 2, 3...
:
) A - (one-to-one),
: .. : -
, ,
) ,
- : ..
: ( -
La Fontaine: T ) -
. K -,
) , , -
, :
, ... ,
) T -
, ..: ,
, A T .. 3, -
35.
122 O O O
-
B -
,
, (, .)
, ..
- ,
, A. K
, -
, , ,
, -
, , -
: -
.
,
. H
, : ,
.., , -
, , ( -
) , (-
(groupe),
, -
( ) (groupement). H
,
: A+B=B,
B+B=... ( Boole), A+B= A+A=
+=A ... :
A=A=B=B====...
, ,
.
, ,
-
. K
( ),
( -
, ,
, ),
1. - 123
-
, ,
( ) ,
, .
. , -
A, ,
. -
, ,
E, , ,
A, (
36) A .
O A, , -
. ..,
,
. ,
-
, -
.
, A
5 , I
X (450 .X.) E.
K ,
,
: (M. 17, 9,
992a 32) Tricot37
,