Epaminondas Xenopoulos - Epistimologia tis Logikis.pdf

322

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

    ,