ХИ́НТИККА
-
Рубрика: Философия
-
-
Скопировать библиографическую ссылку:
ХИ́НТИККА (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 revisited», 1996).