Kitobni o'qish: «О принципе противоречия у Аристотеля. Критическое исследование»

© Лукасевич Ян, 2012

© Домбровский Б.Т., перевод, 2012

© Карпенко А.С., вступительная статья и примечания, 2012

© «Центр гуманитарных инициатив», 2012

Биография Яна Лукасевича

Ян Леопольд Лукасевич родился 21 декабря 1878 г. во Львове¹ и был единственным ребенком в семье. Его отец, Павел Лукасевич, служил капитаном австрийской армии, а мать, Леопольдина, урожденная Холтзер, была дочерью австрийского служащего. Оба они принадлежали к римско-католической церкви. 8 июня 1897 г. Ян Лукасевич, сдав экзамены во II-ой гимназии родного города, получил аттестат зрелости и поступил здесь же в Университет имени Яна Казимира, намереваясь изучать юриспруденцию. Однако уже в начале летнего семестра 1897/1898 гг. он перешел на отделение философии. Этот шаг был сделан под влиянием личности Казимира Твардовского², лекции которого по философии слушали также юристы. Кроме того, в 1897 г. Лукасевич стал посещать организованный Твардовским философский кружок при студенческой библиотеке, в скором времени став секретарем кружка, а затем и его председателем. Позже он вспоминал: «Философский кружок был прекрасной школой мышления и оказывал большое влияние на молодежь. Благодаря кружку я перешел от юристов к философам и оказался учеником Твардовского»³.

После окончания университета Лукасевич под руководством Твардовского принимается за написание докторской диссертации «Об индукции как инверсии дедукции. (Несколько замечаний по вопросу логического строения индуктивных выводов)». Затем, сдав т. н. ригорозум или экзамены по отдельным предметам, в качестве которых Лукасевич выбрал физику и математику, 16 ноября 1902 г. по указу императора Франца Иосифа I на торжественной церемонии он был поименован доктором философии.

Следует особо отметить увлечение Лукасевича математикой, которое возникло уже в студенческие годы, возможно, под влиянием профессора Юзефа Пузина⁴, входившего вместе с Твардовским в состав комиссии по приему ригорозума. Об этом свидетельствует его работа на тему «Об учении Грассмана о протяженностях» (мат.)⁵. Докторская работа Лукасевича была напечатана в двух частях в журнале «Философское обозрение» за 1903 г. [17]. Этот журнал сыграл консолидирующую роль в жизни Львовско-Варшавской школы.

В 1901-1903 гг. Лукасевич работает домашним учителем в поместье Бильче под Тернополем. Здесь он принимается за перевод Д. Юма «Исследование о человеческом познании», но перевод продвигается медленно до тех пор, пока к нему не присоединяется Казимир Твардовский. Их совместная работа была опубликована в 1905 г.

Зимний семестр 1904/1905 гг. Лукасевич в качестве стипендиата Галицийского сейма проводит за границей в Берлине и Лувене, где благодаря рекомендательным письмам Твардовского он был тепло принят К. Штумпфом⁶ и Ф. Шуманом⁷. По заведенному Твардовским обычаю стипендиаты посылали ему письменные отчеты неформального характера о имевших место встречах и дискуссиях. Так, в письме Лукасевича от 12 декабря 1904 г.⁸ можно прочесть: «… я сказал г. Шмидкунцу⁹, как понимаю и оцениваю “Школу Брентано”, к которой, впрочем, и сам опосредованно принадлежу. В частности, мне кажется, что характерной чертой этой школы является не столько психологизм (несмотря на психологию Vom empirischen Standpunkt)¹⁰, сколько, пожалуй, формализм и априоризм и связанная с этим прекрасная дидактика, а также методика достойная великих мастеров философии XIII в., которая присуща ученикам и сторонникам этой школы»¹¹. Содержание этого письма обеспокоило Твардовского, который воспитывал в своих учениках негативное отношение к априоризму и метафизике, о чем он и дал знать в письме от 2 февраля 1905 г. В ответ 6 февраля 1905 г. Лукасевич пишет: «Я очень хорошо знаю, что Господин Профессор, наверное, не разделяет моей позиции. Однако, продвигаясь в ином нежели Господин Профессор направлении, я очень хорошо чувствую, что и с этой точки зрения остаюсь учеником Господина Профессора. Ту заинтересованность схоластикой и Аристотелем, которую Господин Профессор своими лекциями по античной философии и схоластике сумел пробудить во мне, та определенная симпатия и признание, с каковыми Господин Профессор всегда выражался о схоластиках, различные места в работах Господина Профессора (напр. в Zur Lehre¹²) и, прежде всего, тот несомненно схоластический момент в рассуждениях и дискуссиях, благодаря которым я прошел логическую школу – все это смогло привести к тому, что ‹…› во мне произошла переориентация философских взглядов, возникновение которой все же можно объяснить генетически. Недаром Брентано был доминиканцем и писал монографию об Аристотеле. ‹…› Мне кажется, что настоящая философия лежит в направлении Аристотеля и схоластов»¹³. Одновременно Лукасевич, возможно, чтобы успокоить Твардовского, оговаривается, что хотя он действительно хочет воскресить метафизические взгляды схоластов, а значит, «из исторических ‹…› сделать их актуальными», но все же не занимает ни церковной, ни клерикальной позиции.

После возвращения во Львов Лукасевич работает в университетской библиотеке, продолжая одновременно трудиться над габилитацией, начатой еще за границей.

В 1906 г. Лукасевич на основании работы «Анализ и конструкция понятия причины» [18]¹⁴, получает габилитацию¹⁵, утвержденную в Вене 6 октября 1906 г. и становится приват-доцентом Львовского университета. В 1907–1908 гг. он преподает алгебру отношений и проводит семинарские занятия. Это были первые в Польше занятия, посвященные сугубо математической логике¹⁶.

В 1908–1909 гг. как стипендиат Польской Академии Знаний Лукасевич находился в Граце, принимая участие в семинарах Алексиуса Мейнонга и дискутируя с ним по поводу критерия очевидности предмета суждения и понятия “объектив”, введенного австрийским философом. Заметим, что после возвращения Лукасевич некоторое время переписывался с Мейнонгом.

В 1910 г. выходит в свет монография Лукасевича «О принципе противоречия у Аристотеля. Критическое исследование» [5] – наиболее значимое произведение философского периода. Эта книга принесла Лукасевичу известность и сделала его влиятельным философом в окружающей интеллектуальной среде. Тем не менее, никто тогда не мог предположить, и в особенности сам Лукасевич, что через сто лет эта книга будет переводиться на основные европейские языки.

Активное участие принимал Лукасевич в работе Польского Философского Общества во Львове будучи секретарем первой секции (логики и эпистемологии). На юбилейном сотом заседании Философского общества 4 октября 1910 г., где отмечались заслуги его основателя Твардовского, Лукасевич выступил с докладом «О логических оценках».

В 1911 г. Лукасевич получил должность экстраординарного профессора Львовского университета, а в 1915 г. его пригласили занять кафедру философского отделения Варшавского университета, который был заново открыт после ухода в августе русских войск из Варшавы (тогда же было возвращено преподавание на польском языке). Именно здесь 7 марта 1918 г. в зале Варшавского университета в своей прощальной лекции [6] Лукасевич объявил о создании им в 1917 г. системы трехзначной логики (опубликована в 1920 г. [7]). Так было положено начало развитию многозначных логик, одному из самых интересных направлений в неклассических логиках. Как отмечает Ян Воленьский: «Построение многозначных логических систем принято считать одним из важнейших достижений Варшавской школы и конкретно – Лукасевича» [1: 143].

В 1918–1919 гг. Лукасевич вынужденно прервал свою работу в Варшавском университете и перешел на службу в Министерство вероисповеданий и общественного образования, где в 1919 г. занял пост министра в правительстве И. Падеревского.

В 1920 г. он вернулся в университет уже на кафедру философии Естественно-Математического отделения и работал там до 1939 г. Вот что пишет К. Куратовский (1973 г.) о начальных этапах педагогической деятельности Лукасевича: «Еще одним профессором, который оказал большое влияние на интересы молодых математиков, был Ян Лукасевич. Помимо лекций по логике и истории философии, профессор Лукасевич читал более специальные курсы, которые проливали новый свет на методологию дедуктивных наук и основания математической логики. Хотя Лукасевич не был математиком, однако он имел исключительно острое математическое чутье, благодаря чему его лекции находили особенно сильный отклик у математиков» (цит. по [1: 26-27]).

Дважды, в 1922–1923 и 1931–1932 гг. Лукасевич избирался ректором Варшавского университета. В 1923 г. он был награжден Орденом Полония Реститута II степени, а в мае 1924 г. президент Польши пожаловал ему звание почетного профессора философии Варшавского университета.

В конце 1923 г. Лукасевича по его просьбе освободили от профессуры в Варшавском университете. Вернулся он только летом 1929 г. и в качестве профессора Естественно-Математического отделения стал читать лекции по математической логике. В этом же году вышла его книга «Элементы математической логики» [19]. Стоит подчеркнуть, что Я. Лукасевич вместе с С. Лесневским основали Варшавскую школу логиков, мировую известность которой принес их ученик Альфред Тарский. В 1937 г. Лукасевич стал членом Польской Академии Знаний.

В 1928 г. Лукасевич женился на Регине Барвинской. Впоследствии в предисловии к своей последней книге он посвятил ей следующие строки: «В целом свою работу я посвящаю моей любимой жене Регине Лукасевич (урожденной Барвинской), которая принесла себя в жертву, чтобы я мог жить и работать» [11: 30].

Во время II мировой войны Лукасевич работал в магистрате, принимал участие в работе подпольного университета. В июле 1944 г. при поддержке ксендза Яна Саламухи, Болеслава Собецкого и Генриха Шольца Лукасевич оставил Варшаву и жил нелегально у Шольца в Мюнстере (Вестфалия) до прихода союзных армий. Не желая принимать новую политическую систему, установленную в Польше, в 1946 г. Лукасевич уехал в Брюссель, где получил приглашение возглавить кафедру математической логики в Королевской Ирландской Академии в Дублине. Он преподавал в университетском колледже в Дублине, в королевском университете Белфаста и в университете Манчестера.

В г. Дублине 13 февраля 1956 г. Ян Леопольд Лукасевич скончался от сердечного приступа.

* * *

В ректорской речи, произнесенной на торжественном открытии 1922-23 учебного года в Варшавском университете, Лукасевич объявил следующую программу действий: «Философию нужно перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой» [8: 217]. А в 1928 г. он заявил: «Одной из причин ненаучности философии, как кажется, является пренебрежение современными философами логикой» [9: 263]. Целью самих философских логических исследований Лукасевич считал прежде всего разработку точных методов анализа философских понятий и рассуждений. Именно такие методы призваны обеспечить конструктивность и однозначность понятий, которыми оперирует философия, тем самым сближая философию с наукой. В основании философии может быть положена «научная метафизика» или общая теория предметов, но не эпистемология в духе Р. Декарта или И. Канта, ибо такой путь, по мнению Лукасевича, ведёт в тупик. Выход из тупика – в применении логической методологии, позволяющей свести к минимуму число исходных философских понятий, обладающих очевидностью и интуитивной ясностью, чтобы затем через них строго определять философские понятия «пространственно-временной структуры мира», «причинности», «детерминизма», «индетерминизма» и др. Таким образом, логика дает методологический образец для философии, в частности, дедуктивно-аксиоматический метод. Этому посвящена статья Лукасевича 1936 г. «Логистика и философия» [10]. Он весьма скептически относился к попыткам построения всеобъемлющих философских систем. Критикуя психологизм¹⁷ и априоризм в логике, Лукасевич выдвигает идею логического плюрализма: различные логические системы способны эксплицировать различные онтологические теории. Например, классическая двузначная логика эксплицирует принцип «жёсткого» детерминизма в философском и научном мышлении, тогда как переход к многозначным логикам позволяет проводить корректные «индетерминистские» рассуждения.

Основные результаты Лукасевича лежат в области математической логики. Ему принадлежат элегантные аксиоматизации классической пропозициональной логики посредством трех аксиом (см., например, [20])¹⁸, им найдена наиболее короткая аксиома для аксиоматизации импликативного фрагмента классической логики, дана аксиоматизация эквациональной логики, впервые представлена аксиоматизация трехзначной логики Гейтинга (первая матрица Яськовского). В 1953 г. им построена оригинальная четырехзначная модальная логика, вызывающая интерес по сей день (см. [15]). Лукасевич первым ввел понятие отбрасывания невыводимых высказываний, сформулировав соответствующие аксиомы и само правило отбрасывания, а позднее применил это в исследованиях по силлогистике Аристотеля. Используя современную логическую технику, Лукасевич реконструировал идеи античной и средневековой логики, что привело к переоценке и переосмыслению этого наследия. Он открыл, что уже ранние стоики явились создателями логики высказываний, но особенно важной оказалась книга Лукасевича об аристотелевской силлогистике, теория которой была подвергнута реконструкции и формализации [11] (первый вариант книги издан в 1951 г.)

Однако главной задачей, которой Лукасевич посвятил всю свою жизнь, стала «борьба за освобождение человеческого духа» [6], причем, значительная роль в этом отводилась созданию новой логики. Всемирную известность принесло Лукасевичу построение первой системы многозначной логики в 1920 г., ее обобщение на произвольный конечнозначный случай в 1922/1923 гг. и в итоге построение в 1929 г. бесконечнозначной логики (см. подробно об этом в [3]). В 1930 г. Лукасевич совместно с А. Тарским [20]¹⁹ подвел итоги исследованию многозначных логик в Львовско-Варшавской школе.

Многозначные логики Лукасевича получили исключительное развитие в силу их необычайных свойств. Сошлемся только на книгу [23], где логики Лукасевича исследуются как пропозициональные исчисления; на книгу [14] (см. также [21]), где исследуются алгебраические свойства бесконечнозначной логики Лукасевича, начиная с исходных MV-алгебр Чэна и их непосредственной связи с функциональным анализом (AF C*-алгебры), с теорией кодирования, с квантовой физикой, с геометрией. Также была доказана эквивалентность MV-алгебр с другими важными алгебраическими структурами; на книгу [2], где исследуются алгебро-функциональные свойства конечнозначных логик Лукасевича, которые неожиданным образом оказались связанными со свойствами простых чисел (теорема В.К. Финна). Следствия этого открытия оказались совсем неожиданными: структурализация простых чисел в виде корневых деревьев; построение такой логики K_n+1, которая имеет класс тавтологий т.т.т., когда 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. Łukasiewicz 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 Hájek P. On Łukasiewicz’s four-valued modal logic // Studia Logica 70 (2): 157-182, 2002.

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

[17] Łukasiewicz J. O indukcji jako inwersji dedukcji // Przegląnd Filozoficzny 6: 9-24 и 138-152, 1903.

[18] Łukasiewicz J. Analiza i konstrukcja pojecia przyczyny // Przegląnd Filozoficzny 9: 105-179, 1906.

[19] Łukasiewicz J. Elementy logiki matematycznej. Skrypt autoryzowany. Warszawa, 1929. (Английский перевод: Elements of Mathematical Logic. Oxford: Pergamon Press, 1966).

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

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

[22] Woleński J. Historia odsyłacza // Ratione et Studio. Profesorowi Witoldowi Marciszewskiemu w darze, ed. K. Trzęsicki. Białystok: W-wo Uniwersytetu w Białymstoku, 2005, 249-268.

[23] Wójcicki R. and Malinowski G. Selected Papers on Łukasiewicz Sentential Calculi. Wroclaw: OSSOLINEUM, 1977. Bibliogr.: pp. 189-199.

Сборники избранных работ

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

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

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

Краткая библиография

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

Craig E. (general editor). Article: Jan Łukasiewicz // Routledge Encyclopedia of Philosophy, Vol. 5. London: Routledge, 1998, 860–863.

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

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

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

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

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

Mostowski A. L’oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématigue // Fundamenta mathematicae 44, 1-11, 1957.

Prior, A. N. Łukasiewicz'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 Łukasiewicz // Arch. Math. Logik Grundlagenforsch 3: 3-18, 1957.

Sobociński B. In Memoriam Jan Łukasiewicz // Philosophical Studies (Maynooth, Ireland) 6: 3-49, 1956.

Slupecki, J. Jan Łukasiewicz (на польском) // Wiadomosci matematyczne 2(15): 73-78, 1972.

Woleński, J. Jan Łukasiewicz (на польском) // Mathematics at the Turn of the Twentieth Century. Katowice, 1992, 35-38.

Карпенко А.С. и Порус В.Н. Лукасевич Я. // Новая Философская Энциклопедия, т. II. Москва: «Мысль», 2001, 456-457.

А.С. Карпенко и Б.Т. Домбровский