    .  
 


        (1878-1956),   1910.,    XX       ,        .     .           ,    .                .         ,             .





 

    .  



  , 2012

  .., , 2012

  ..,    , 2012

   , 2012




  


    21  1878.  [1 -    ,           1772.]      .  ,  ,    ,  , ,  ,    .     - . 8 1897.  ,    II-   ,            ,   .       1897/1898.     .         [2 -   (1866-1938)  . ,    ,  -  ,        (. [1]).],       .  ,  1897.          ,      ,     .   :            .            [3 - Pamietnik Jana Lukasiewicza. Archiwum Uniwersytetu Warszawskiego. Spuscizna Jana Lukasiewicza, Akc. 143, s. 35. .  [16: 2].].

                . (       ). ,  ..      ,        , 16  1902.      I        .

     ,      , ,     [4 -   (1856-1919)  . , ,      .  1905.   .],          .             (.)[5 -     , . 26, . 11, 1150.  . (1809-1877)  .   .. ,  ,   .         .].              1903. [17].        - .

 1901-1903.         .      .     ,       ,       .       1905.

  1904/1905.             ,          . [6 -   (1848-1936)    ,  ,  (  . )    ,      .]  . [7 -   (1863-1940)  -.].                 . ,     12  1904.[8 -   .      ,  ( 3.-76).     .]  :    . [9 -   (1863-1934)  ,   .         .    1892      ,       .],      ,  , ,    .  ,  ,          (   Vom empirischen Standpunkt)[10 - Brentano F. C. Psychologie vom empirischen Standpunkt. Leipzig, 1874.], , ,         ,        XIII.,       [11 - .  [16: 44].].     ,           ,          2  1905.   6  1905.  :    ,   , ,    . ,       ,    ,          .     ,              ,     ,        ,       (.  Zur Lehre[12 -   . ,   1894.     [12].]) ,  ,        ,            ,        ,       .         .   ,         [13 - Op. cit. (K 3. 77). .  [16: 44].].  , ,   , ,         ,  ,      ,       ,   .

        ,     ,    .

 1906.          [18][14 -     .   [1: 66-69].],  [15 -   ,     ;        .],    6  1906.  -  .  19071908.        .      ,    [16 -  ,         ,  ,   , .  1898/1900.            , ,   .     .].

 19081909.         ,                   ,   . ,         .

 1910.          .   [5]     .              .   ,     ,     ,            .

               (  ).       4  1910.,      ,       .

 1911.       ,   1915.        ,             (       ).   7  1918.        [6]       1917.    (  1920. [7]).       ,        .    :                [1: 143].

 19181919.                  ,   1919.      . .

 1920.         -      1939.    .  (1973.)      :   ,        ,   .       ,      ,            .     ,       ,           (.  [1: 26-27]).

,  19221923  19311932.     .  1923.       II ,    1924.          .

  1923.          .     1929.    -       .           [19].  ,  .    .     ,        .  1937.      .

 1928.     .            :            ( ),     ,       [11: 30].

  II      ,      .   1944.     ,                ()    .      ,   ,  1946.    ,             .       ,        .

 .  13  1956.       .


* * *

  ,     1922-23     ,     :   ,   ,           [8: 217].   1928.  :     ,  ,      [9: 263].                 .         ,   ,      .            ,      .   . ,   ,   ,   .   ࠖ    ,        ,     ,         -  , , ,  .  ,      ,  , - .     1936.    [10].          .  [17 -     ,   1907.,        [4].]    ,     :        . ,            ,           .

       .           (., , [20])[18 -      . ׸ [13, 2023].],           ,    ,       (  ).  1953.      ,      (. [15]).       ,       ,         .    ,       ,        .  ,        ,         ,        [11] (     1951.)

  ,      ,       [6], ,        .           1920.,        1922/1923.     1929.   (.     [3]).  1930.    .  [20][19 -        ,            -.     . -  ,    ,    [22].]       - .

          .     [23],       ;   [14] (.  [21]),       ,    MV-         (AF C*-),   ,   ,  .     MV-     ;   [2],   -    ,          ( .. ).      :       ;    K


,     ...,  n   ;     ;     .

,   1929.,      1924.,      (. [11: 128]),          ,      ().    蠖     .     . ׸ (. [13];  91  c. 41),         . ,      1949.          (RPN, . Reverse Polish Notation)     ,       .        ࠖ        .      ,  . , . , .       1957.  1960.      English Electric Company    KDF9,   Burroughs  Burroughs B5000.       Frieden    EC-130,    Hewlett Packard,   Forth,    PostScript.           3-19.,   1976.            -152   -161.

 2008.              - .








[1]  . -  . .: , 2004.

[2]  ..     . .: URSS/, 2009, 3- . ( : Karpenko A.S. Lukasiewicz Logics and Prime Numbers. Beckington: Luniver Press, 2006).

[3]  ..   . .: URSS/, 2010.

[4]  .     (.  ).

[5]  .     .   (.  ).

[6]  .   .  ,      7  1918. (.  ).

[7]  .    (.  ).

[8]  .   (.  ).

[9]  .     //    -  . -:   i, 2006, 263-265.

[10]  .    //    - . .: , 1999, 198-218.

[11]  .        . .:  , 1959 (  2000).

[12]  .       .   //  . -   . .: , 1997, 38-159.

[13] ׸ .    . .:  , 1960.

[14] Cignoli R., D'Ottaviano I.M.L. and Mundici D. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer, 2000.

[15] Font J.M. and Hjek P. On Lukasiewiczs four-valued modal logic // Studia Logica 70 (2): 157-182, 2002.

[16] Jadczak R. Mistrz i jego uczniowie. Warszawa: W-wo Scholar, 1997.

[17] Lukasiewicz J. O indukcji jako inwersji dedukcji // Przegland Filozoficzny 6: 9-24  138-152, 1903.

[18] Lukasiewicz J. Analiza i konstrukcja pojecia przyczyny // Przegland Filozoficzny 9: 105-179, 1906.

[19] Lukasiewicz J. Elementy logiki matematycznej. Skrypt autoryzowany. Warszawa, 1929. ( : Elements of Mathematical Logic. Oxford: Pergamon Press, 1966).

[20] Lukasiewicz J. and Tarski A. Investigations into the sentential calculus // Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970, 131-152.

[21] Mundici D. Advanced Lukasiewicz Calculus and MV-algebras. Dordrecht: Kluwer, 2011.

[22] Wolenski J. Historia odsylacza // Ratione et Studio. Profesorowi Witoldowi Marciszewskiemu w darze, ed. K. Trzesicki. Bialystok: W-wo Uniwersytetu w Bialymstoku, 2005, 249-268.

[23] Wjcicki R. and Malinowski G. Selected Papers on Lukasiewicz Sentential Calculi. Wroclaw: OSSOLINEUM, 1977. Bibliogr.: pp. 189-199.




  


Lukasiewicz J. Z zagadnien logiki i filozofii. Pisma wybrane. Warszawa: PWN, 1961 (J. Slupecki ed.)

Lukasiewicz J. Logika i metafizyka. Warsawa: Wydzial Filozofii i Socjologii Uniwersytetu Warszawskiego, 1998 (J. J. Jadacki ed.)

Lukasiewicz J. Selected Works. Amsterdam & Warszawa: NorthHolland & PWN. 1970 (L. Borkowski ed.)




 


Borkowski L. and Slupecki J. The logical works of J. Lukasiewicz // Studia Logica 8: 7-56, 1958.

Craig E. (general editor). Article: Jan Lukasiewicz // Routledge Encyclopedia of Philosophy, Vol. 5. London: Routledge, 1998, 860863.

Goe G. Lukasiewicz, Jan // Biographical Dictionary of Mathematicians, Vol. 3. Cengage Gale, 1991, 1625-1626.

Kotarbinski T. Jan Lukasiewicz's works on the history of logic // Studia Logica 8: 57-62, 1958.

Kwiatkowski T. Jan Lukasiewicz A historian of logic // Organon 16-17: 169-188, 1980-1981.

Lejewski C. Jan Lukasiewicz // The Encyclopedia of Philosophy (P. Edwards ed.), Volume 3. NY: Macmillan, 1967, 104-106.

Lukasiewicz J. Curriculum vitae of Jan Lukasiewicz // Metalogicon 7(2): 133-137, 1994.

Mostowski A. Loeuvre scientifique de Jan Lukasiewicz dans le domaine de la logique mathmatigue // Fundamenta mathematicae 44, 1-11, 1957.

Prior, A. N. Lukasiewicz's contribution to logic // Philosophy in the Mid-century, a Survey, (R. Klibanski ed.). Vol. I: Logic and Philosophy of Science. La Nuova Italia, Firenze, 1958, 53-55.

Scholz, H. In memoriam Jan Lukasiewicz // Arch. Math. Logik Grundlagenforsch 3: 3-18, 1957.

Sobocinski B. In Memoriam Jan Lukasiewicz // Philosophical Studies (Maynooth, Ireland) 6: 3-49, 1956.

Slupecki, J. Jan Lukasiewicz ( ) // Wiadomosci matematyczne 2(15): 73-78, 1972.

Wolenski, J. Jan Lukasiewicz ( ) // Mathematics at the Turn of the Twentieth Century. Katowice, 1992, 35-38.

 ..  ..  . //   , . II. : , 2001, 456-457.



..   .. 




     ( )



 []        .

.  (1910)

1.   - , - ,     ,    ,     ,       .       .   1910         [20 -   (1878 1956)       - . .  [ 2004].]    .  [21 -   ,                  [Lukasiewicz 1910b],    : [Lukasiewicz 1971]  [Lukasiewicz 1979]      [Lukasiewicz 1991].          ,       [Lukasiewicz 1971].]    ,               .

         .   1987. [Lukasiewicz 1910a/1987].   ,    : 1994.      ,  2000.  ,  2003.  ,    ,     .      .

2. ,      ,   1987.,       () [22 -   ,    ,           ,        (. ).      ,    . ,   :        頖 .         .],   ,          , ..      .             (A & ): ,        -.[23 -       .  [Priest, Beall, and Armour-Garb 2004].]                 ,  ,       ,      .      ,        ex contradictione quodlibet: (A & ) ? B,    .     A &    modus ponens    B,      .

   XX.      ,        ,      A &      [24 -       .       [,    1989]   ,    [Priest, Routley and Norman 1989]. ,            .].           .  -        ,  ,     ,  ,          .  : ,                           (  3, 1005b 19-21)[25 -         [ 19761984].].  :           (  3, 1005b 33-34).

3.  ,     ,   [26 -      .         [Putnam 1976]  [Thompson 1981].        [Dancy 1975]. .  : [Stevenson 1975], [Noonan 1976], [Upton 1983], [Code 1986], [Cohen 1986], [Furth 1986], [Inciarte 1994], [Priest 1998], [Charles 2000], [Wedin 2004], [Pasquale 2005], [Tahko 2009]. .       Apeiron: A Journal for Ancient Philosophy and Science, XXXII(3) 1999,    [Gottlieb 2011]  Stanford Encyclopedia of Philosophy.].      ,      ,   ,   ,     . ,    ,        [27 - ,   ,       [Raspa 1999]. .  [Wolenski 1987]  [LeBlanc 2010].              : [Zwergel 1972], [Cassin and Narcy 1989], [Schiaparelli 1994]  [Seddon 1996].].         ,      .

        . , ,         (. :   3, 1005b 20-21).    :   堖  ,           (  6 1011b 13-14).    :                 (  3 1005 b 23-24)[28 -    (  ,   )  ,        :   .     .  4    3, 1005b 20-21  [ 1976: 464].].

     :          ,          ?             ,      .    , ..      ,        ,   , ,         .    ,          .  ,    ,   . ,           ,     ,     ,    .           ,       ,    (, ),       (,   ..) ,  ,       ,         ,   ,                  :  ,     -  ,    (  7 101 lb 27).

4.  ࠖ      ,   ,             ,   ,            .   ,            ,    (      ),     ( ).    ,       ,   ,              .   ( )     ,       ,           .  ,              .  ,     ,     XX   ,    , ,   ,  :         (. V)[29 - .         (1907),         .         : ,  ࠖ    . ,         ,   .    ,         [ 1959: 48].].

5.    ,    ,               .     4         (1006  31 1007 b 18)    :   ,  ,        .     ,   ()       .  ,    ,        :   ,                 (  4, 1007 21-23).  , , ,    ,    ,   ,  .            (  ).     ,      : ,              ,  ,      [  ] (  4, 1007 b 19-20).

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

           ,      ,    ,   ,          .  ,   [30 -             .    ,   1905. (  . . 1909.)]     ,       [31 -     ,        .     .   ,  .. ,         (1973, . 14, . 599)     .( &  )     Int.   ,     , .. Int   ,        .  ,     ,    .].          ,    .   XVI    ,    ,      ,      .     .

6. ,   .         ,  ,     .   ,     XIX  .. , ..   . ,  ,       .   XIX    ,         ,  㠖     ,         .  ,          ,       [32 -       :   ,     ,     ,  .],   .           :  ,   []        ,       ,      ,      ,     .  ,    ,  ,       .

,      ,           .        ,    ..  [ 1910],              󔠖 ,   .       x  P  x   P.     ..    .. ,     1910.     ,               (. [ 2009: 124]).     [33 - . [ 1912]  [ 1913].].    ,  :       .     ,             [ 1912/1989: 54][34 -    [Raspa 1999,  88], ,        ,      [Korcik 1955].         ..  [ 1962],    .  [Comey 1965].].                 頖  , , ,     . . .   The Monist         .      :    ,  ,      ,   .          ,        (. [Carus 1910a: 45])[35 - .  [Carus 1910b].     ..   [Bazhanov 1992],          . ,   [ 2009]      .      [Bazhanov 1992]    [Raspa 1999].].

        .

7.  ,  ,     ,            (1902 ).      XVIII        .      .  K   ,        .   K     ?  ,    K      K .      K     K  .  ,      ,     (K ? K) 蠖 (K ? K),  ,   .     B (. ).     ,        , ,   , ,     :     ,     [36 -    (. tertium non datur)   :       ,  ,      .].     ,          (.  2  . XVIII),                   (. [Brady 1989]).

         [  - 1966: 18],  , :     ,           ,           .         ,       .   ,   ,      ,     ,         .

      ,    [37 -       . ;   . . XVII. ,         Uber Annahmen (Leipzig, 1910: 228)   [Lukasiewicz 1910b]   .]  , ..     ,        (1907.),       .        ,    ,  , ,  ! (. XIII).    :   ,        ? ,             ,          () .

8. , ,     ,       ?    ,   ,  ,  ,  , ..         [38 -         ,         ,     .   1948.,    - ,   . ,       (.    [Jaskowski 1967]).]. ,                     ,     .     , ,   , ,     - ,              ( . ..).      ,  -    ,        , ,     .

           -   .   . :         ,               [Wolenski 1987: XLIII]. .                [ 1913: 2][39 -         Przegland filozoficzny, 2  1912 .    ,           .].                .  ,  ,  ,         ,   :        (. 54).   ,         .

  [ 2004: 99]     .  (1927.):  1911       .      .   ,                  ,         ,        -     ,    ,    .   ,               ,               [40 -      :    A ,  A  A  .]    [Lukasiewicz 1929/1963: 67-68].

 ,          ,            .

       ࠖ       ,           .                 ,   ,      . ,   . IV  :  ,         []. ,       ,        .    ,     ,     [41 -  1930.    .       ,        [Lukasiewicz 1930/1970: 141].            .].

9.         7  1918.:  1910.       ,    ,      ,  .      - ,   [ 2012a: 211].         ,          ,  :  ,         ,            .     ,      .          ,    ,        [42 -  ,    1913.           ,       [Lukasiewicz 1913/1970: 38].             . [Wolenski 2001]. ,      ,   ..      ,       ,    (., , [   1998]),          .       ,        : ,    (),       .          .         (n-)  ,     ..  (. [ 1993]).].

   ,         .            ,       (. [ 2012b]).           ,    ,     a   ,          ,   .       . Finis.

10.     ,        (   L


),         (    !),      ,               .[43 - ,   1910.   ,       (. [ 2006]).] ,            :      ,         [ 1959].  ,               (    ).     ,    ,      .    , ,           ࠖ   (. ).          .

  .        :  ,             ,        .          [Slupecki 1970: vii].  ,  ,       [Lukasiewicz 1906]   [Lukasiewicz 1913].      [44 -       ,         1922/1923       1961.    (. [ 2012].        .  1       .],         ,          ,      .

11.    9-     ,      (.   14)               .        [45 -    .  [ 1990].]. ,          :   ,  ,          ,      ( . ..)        ,    ,         ,         ,         ,  ,      ,  ,




  .


   .

   ,     (https://www.litres.ru/yan-lukasevich/o-principe-protivorechiya-u-aristotelya-kriticheskoe-issledovanie/)  .

      Visa, MasterCard, Maestro,    ,   ,     ,  PayPal, WebMoney, ., QIWI ,       .



notes








1


   ,           1772.




2


  (1866-1938)  . ,    ,  -  ,        (. [1]).




3


Pamietnik Jana Lukasiewicza. Archiwum Uniwersytetu Warszawskiego. Spuscizna Jana Lukasiewicza, Akc. 143, s. 35. .  [16: 2].




4


  (1856-1919)  . , ,      .  1905.   .




5


    , . 26, . 11, 1150.  . (1809-1877)  .   .. ,  ,   .         .




6


  (1848-1936)    ,  ,  (  . )    ,      .




7


  (1863-1940)  -.




8


  .      ,  ( 3.-76).     .




9


  (1863-1934)  ,   .         .    1892      ,       .




10


Brentano F. C. Psychologie vom empirischen Standpunkt. Leipzig, 1874.




11


.  [16: 44].




12


  . ,   1894.     [12].




13


Op. cit. (K 3. 77). .  [16: 44].




14


    .   [1: 66-69].




15


  ,     ;        .




16


 ,         ,  ,   , .  1898/1900.            , ,   .     .




17


    ,   1907.,        [4].




18


     . ׸ [13, 2023].




19


       ,            -.     . -  ,    ,    [22].




20


  (1878 1956)       - . .  [ 2004].




21


  ,                  [Lukasiewicz 1910b],    : [Lukasiewicz 1971]  [Lukasiewicz 1979]      [Lukasiewicz 1991].          ,       [Lukasiewicz 1971].




22


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




23


      .  [Priest, Beall, and Armour-Garb 2004].




24


      .       [,    1989]   ,    [Priest, Routley and Norman 1989]. ,            .




25


        [ 19761984].




26


     .         [Putnam 1976]  [Thompson 1981].        [Dancy 1975]. .  : [Stevenson 1975], [Noonan 1976], [Upton 1983], [Code 1986], [Cohen 1986], [Furth 1986], [Inciarte 1994], [Priest 1998], [Charles 2000], [Wedin 2004], [Pasquale 2005], [Tahko 2009]. .       Apeiron: A Journal for Ancient Philosophy and Science, XXXII(3) 1999,    [Gottlieb 2011]  Stanford Encyclopedia of Philosophy.




27


,   ,       [Raspa 1999]. .  [Wolenski 1987]  [LeBlanc 2010].              : [Zwergel 1972], [Cassin and Narcy 1989], [Schiaparelli 1994]  [Seddon 1996].




28


   (  ,   )  ,        :   .     .  4    3, 1005b 20-21  [ 1976: 464].




29


.         (1907),         .         : ,  ࠖ    . ,         ,   .    ,         [ 1959: 48].




30


            .    ,   1905. (  . . 1909.)




31


    ,        .     .   ,  .. ,         (1973, . 14, . 599)     .( &  )     Int.   ,     , .. Int   ,        .  ,     ,    .




32


      :   ,     ,     ,  .




33


. [ 1912]  [ 1913].




34


   [Raspa 1999,  88], ,        ,      [Korcik 1955].         ..  [ 1962],    .  [Comey 1965].




35


.  [Carus 1910b].     ..   [Bazhanov 1992],          . ,   [ 2009]      .      [Bazhanov 1992]    [Raspa 1999].




36


   (. tertium non datur)   :       ,  ,      .




37


      . ;   . . XVII. ,         Uber Annahmen (Leipzig, 1910: 228)   [Lukasiewicz 1910b]   .




38


        ,         ,     .   1948.,    - ,   . ,       (.    [Jaskowski 1967]).




39


        Przegland filozoficzny, 2  1912 .    ,           .




40


     :    A ,  A  A  .




41


 1930.    .       ,        [Lukasiewicz 1930/1970: 141].            .




42


 ,    1913.           ,       [Lukasiewicz 1913/1970: 38].             . [Wolenski 2001]. ,      ,   ..      ,       ,    (., , [   1998]),          .       ,        : ,    (),       .          .         (n-)  ,     ..  (. [ 1993]).




43


,   1910.   ,       (. [ 2006]).




44


      ,         1922/1923       1961.    (. [ 2012].        .  1       .




45


   .  [ 1990].


