CC BY
98Яакко Хинтикка (1929-2015)
Каарло Яакко Юхани Хинтикка (Kaarlo Jaakko Juhani Hintikka) выдающийся финский логик и философ мирового значения родился 12 января 1929 года в Вантаа (Финляндия). Философское образование получил в Хельсинкском университете и Вильямс Колледже (США). В 1953 г. под руководством знаменитого финского философа и логика Г.Х. фон Вригта (который в 1948 г. стал преемником Людвига Виттген-штейна в Кембридже) защитил диссертацию по дистрибутивным нормальным формам. С этим новым понятием связаны также и другие его достижения: разработка в 1957 г. семантики возможных миров (модельных множеств) и деление понятия информации на поверхностную и глубинную. Отсюда следовало, что общезначимые формулы не являются бессодержательными утверждениями, как считалось ранее, а несут в себе информацию.
В 1962 г. публикуется его главная книга раннего периода «Знание и убеждения» [12], где разрабатывается один из первых языков эпистемологической логики. В 1959 г. в возрасте 30 лет Хинтикка становится профессором практической философии Хельсинского Университета, а в 1964 г. профессором философии Стэнфордского университета, ставшего одним из ведущих центров в области философии науки и философской логики. С 1978 по 1990 Хинтикка был профессором Университета Флориды, а с 1990 г. и до конца жизни профессором Бостонского университета.
Научные интересы Хинтикки поражают своим разнообразием и глубиной исследования. Это теоретико-игровая семантика логики, призванная выработать и объяснить определенные «стратегии» обоснования и вывода, аналитические таблицы, индуктивная логика, теория доказательств, инфинитарные логики, интенсиональные логики и пропозициональные установки, философия науки, история философия и логики (Аристотель, Декарт, Кант, Пирс, Фреге, Виттгенштейн, Гёдель).
В 1990-е годы Хинтикка начал разрабатывать /^-логику (логика с ветвящимися кванторами), которая привела к пересмотру оснований современной математики. Главная заслуга Хинтикки состоит в формализации идеи независимости кванторов, т.е. необходимо учитывать
независимость квантификации одной переменной от другой. В результате IF-логика становится богаче классической логики предикатов, а само понятие кванторов более соответствует нашим интуициям. Главной особенностью новой логики является ее неполнота, что означает невозможность дать список аксиом, из которых все общезначимые формулы первопорядковой IF-логики могут быть выведены по чисто формальным правилам. Хинтикка предлагает пересмотреть само понятие полноты в общем и фактически пытается свести всю обычную математику к расширенной первопорядковой IF-логике. Это дало повод заговорить о революции в логике. В связи с этим большой интерес вызвала его книга «Пересмотр принципов математики» [13], которую сравнивали с книгой Б. Рассела «Принципы математики» (1903).
Впоследствии опираясь на теоремы Гёделя о неполноте, Хинтикка вступает в дискуссию между механистами (утверждающими, что человеческий разум может быть точно смоделирован цифровым компьютером или машиной Тьюринга) и анти-механистами и принимает сторону последних, утверждая, что результат Гёделя выявляет ограниченность вычислительных машин, а не людей с их логикой и математикой и уж конечно не человеческого разума [8].
В течение более, чем 60-ти летней научной деятельности, Хинтикка опубликовал около 40 книг и более 300 научных статей. Его работы переведены на многие языки, в том числе, несколько книг опубликовано на русском языке (см. [2, 7, 9], а также статьи в журнале «Вопросы философии» [1, 3, 4, 6, 10]). С 1996 по 2004 им было опубликовано шесть томов избранных работ (Kluwer Academic Publishers), а в 2006 г. в серии «Библиотека ныне здравствующих философов» вышел посвященный ему том [11] (в связи с этим см. [5]) с полной библиографией работ, что стало свидетельством высокой оценки его результатов.
Признанием заслуг Хинтикки явилось также его избрание в Финскую академию наук и искусств (1961), академию Финляндии (1970), Американскую академию искусств и науки (1974), Норвежскую академию наук и искусств (1991), а в 1999 г. Хинтикка становится иностранным членом Российской академии наук. В 2005 г. ему была присуждена международная премия Рольфа Шока по логике и философии «за пионерский вклад в логическом анализе модальных понятий, и в частности понятий знания и убеждений».
Кроме высокой активности в научной деятельности, преподавании и публикациях, Хинтикка занимал высокое положение во многих международных организациях, в том числе был вице-президентом Ассоциа-
ции символической логики в 1968-1971, вице-президентом Отделения логики, методологии и философии науки Международного объединения истории и философии науки (БЬМРВ/ГОНРБ) в 1971-1975 и президентом в 1975 г. В 1998 г. Хинтикка был председателем организационного комитета двадцатого Всемирного философского конгресса. В 19982011 гг. он был Президентом Международного Института философии.
Яакко Хинтикк умер 12 августа 2015 года через несколько дней после окончания 15-го Международного конгресса по логике, методологии и философии науки, проходившегося в Хельсинки, где он принял
участие сразу в двух международных конференциях.
* * *
У Яакко Хинтикки сложились особые научные и дружественные отношения с российскими логиками и философами. В 1971 г. был подписан Прокол о сотрудничестве между Академией наук СССР и Финской академией наук. Опираясь на этот документ в 1975 г. Хинтикка и выдающийся отечественный логик В.А. Смирнов договорились о проведении Советско-Финских коллоквиумов по логике. Первый коллоквиум был проведен в Финляндии в 1976 г., а всего по 1997 г. было проведено девять таких коллоквиумов. В 2012 г. в Санкт-Петербурге состоялся Открытый Российско-Финский коллоквиум по логике (ОКИС). Об истории проведения этих коллоквиумов см. в [14]. Также Хинтикка принимал участие в других конференциях философской направленности, проводимых в нашей стране. В 1986 г. в Москве с успехом прошла советско-американская конференция по эпистемологии, где Я. Хинтикка возглавлял группу известных американских философов.
Общение с Яакко Хинтиккой всегда было на редкость плодотворным и незабываемым благодаря его широчайшей эрудиции, открытости и доброжелательности.
Литература
[1] Хинтикка Я. Информация, причинность и логика восприятия // Вопросы философии. 1975. № 6. С. 38-50.
[2] Хинтикка Я. Логико-эпистемологические исследования (Логика и методология науки). М.: Прогресс, 1980. 447 с.
[3] Хинтикка Я. Проблема истины в современной философии // Вопросы философии. 1996. № 9. С. 46-58.
[4] Хинтикка Я. Действительно ли логика — ключ ко всякому хорошему рассуждению? // Вопросы философии. 2000. № 11. С. 105-125.
[5] Яакко Хинтикка в библиотеке ныне здравствующих философов: диалог // Философия науки. 2010. № 3 (46). С. 139-157.
[6] Хинтикка Я. Философские исследования: проблемы и перспективы // Вопросы философии. 2011. № 7. С. 3-17.
[7] Хинтикка Я. О Витгенштейне. Людвиг Витгенштейн из «Лекций» и «Заметок». М.: Канон+РООИ, 2012. 272 с.
[8] Хинтикка Я. Рациональность, логика и их пределы // Рациональность и её границы / Под ред. А.А. Гусейнова и В.А. Лекторскго. М.: ИФ РАН, 2012. С. 21-33.
[9] Хинтикка Я. О Гёделе. Курт Гёдель. Статьи. М.: Канон+РООИ, 2014. 224 с.
[10] Хинтикка Я. Рене мыслит, следовательно, Картезий существует // Вопросы философии. 2014. № 7. С. 115-124.
[11] The Philosophy of Jaakko Hintikka (The Library of Living Philosophers)/ Eds. by R.E. Auxier, L. Hahn. Open Court Publishing Co, U.S., 2006. 971 p.
[12] Hintikka J. Knowledge and Belief — An Introduction to the Logic of the Two Notions. Ithaca, N.Y.: Cornell University Press, 1962. 179 p.
[13] Hintikka J. The Principles of Mathematics Revisited. New York: Cambridge University Press, 1996. 288 p.
[14] Karpenko A.S. Preface (The history of Finish-Soviet logic colloquium) // Logical Investigations. 2013. Vol. 19. Special issue. P. 5-9.
А.С. Карпенко
