ХИ́НТИККА

ХИ́НТИККА (Hintikka) Яак­ко (12.1.1929, Ван­таа – 12.8.2015, По­рвоо), фин. ло­гик и фи­ло­соф, чл. Фин. ака­де­мии на­ук и ис­кусств (1961), Ака­де­мии Фин­лян­дии (1970), ин. чл. РАН (1999). Окон­чил Хель­синк­ский ун-т (дис­сер­та­ция под рук. Г. Х. фон Вриг­та в 1953). Проф. Хель­синк­ско­го (с 1959), Стан­форд­ско­го (с 1964) ун-тов, Ун-та шта­та Фло­ри­да (1978–90), Бос­тон­ско­го ун-та (с 1990). Пре­зи­дент Ме­ж­ду­нар. ин-та фи­ло­со­фии (1998–2001). Ини­циа­тор (совм. с рос. ло­ги­ком В. А. Смир­но­вым) рос.-фин. кол­ло­к­виу­мов по ло­ги­ке (1976–97). Ав­тор ок. 40 книг и бо­лее 300 ста­тей по эпи­сте­ми­че­ской, мо­даль­ной, ин­дук­тив­ной и др. ло­ги­кам, эпи­сте­мо­ло­гии, ис­то­рии фи­ло­со­фии и ло­ги­ки, сре­ди ко­то­рых – «Зна­ние и убе­ж­де­ние» («Knowledge and belief», 1962), «Мо­де­ли для мо­даль­но­стей» («Models for modalities», 1969), «Ло­ги­ка, язы­ко­вые иг­ры и ин­фор­ма­ция: Кан­ти­ан­ские те­мы в фи­ло­со­фии ло­ги­ки» («Logic, language-games and information: Kantian themes in the philosophy of logic», 1973), «Зна­ние и из­вест­ное: Ис­то­ри­че­ские пер­спек­ти­вы в эпи­сте­мо­ло­гии» («Knowledge and the known: Historical perspectives in epistemology», 1974) и др.

Раз­ра­бо­тал тео­рию ди­ст­ри­бу­тив­ных нор­маль­ных форм ло­ги­ки пре­ди­ка­тов пер­во­го по­ряд­ка, по­ка­зав, что тав­то­ло­гии яв­ля­ют­ся ин­фор­ма­тив­ны­ми ут­вер­жде­ния­ми. Один из соз­да­те­лей, на­ря­ду с С. Крип­ке, се­ман­ти­ки воз­мож­ных ми­ров для мо­даль­ной ло­ги­ки. Пред­ло­жил тео­ре­ти­ко-иг­ро­вую се­ман­ти­ку, ос­но­ван­ную на кон­цеп­ции язы­ко­вых игр Л. Вит­ген­штей­на. В 1990-е гг. раз­ра­ба­ты­вал IF-ло­ги­ку (independence-friendly logic – ло­ги­ка, дру­же­ст­вен­ная к не­за­ви­си­мо­сти), пе­ре­смат­ри­ваю­щую ос­но­ва­ния ма­те­ма­ти­ки, в ча­ст­но­сти по­ня­тие пол­но­ты ло­ги­ко-ма­те­ма­тич. сис­те­мы («Пе­ре­смотр прин­ци­пов ма­те­ма­ти­ки» – «The principles of mathematics revisi­ted», 1996).